 2*t + 11, -t + 4 = 0. Which is smaller: 75/4 or s?
75/4
Let c = -7718/36417 - -40/199. Suppose 43*k - 6432 = 27*k. Let r = k - 1609/4. Is c != r?
True
Let i = 522.9325 - 523. Let l = -3.0675 - i. Is 144 equal to l?
False
Let b = -27.06 + 27. Let w = 2.76 + b. Let n = 2.8 - w. Is n at least 13?
False
Suppose -365 = 3*c - 362. Which is smaller: c or 20/443?
c
Let k = 33522 + -35819. Which is bigger: 2 or k?
2
Let z be (12/18)/(297/42). Which is greater: z or 0?
z
Let x be ((-11)/(-69124))/(35/(-56)). Is x at most as big as 0?
True
Let i = 1/29222637 - 822967903343/4354172913. Let h = 189 + i. Which is smaller: h or 1?
h
Suppose 4*g = a + 5, 2*a = 2*g + 6 - 10. Let p = -108357/31 + 3495. Which is greater: p or g?
g
Suppose -5*o + 1206 = 4*a - 3*a, -3*o + 2*a + 721 = 0. Suppose 15*q + o - 46 = 0. Which is bigger: -1/2 or q?
-1/2
Let j = 98 - 260. Let a be (-22 + 11)*(j/(-57) + -3). Is 1 >= a?
False
Suppose -7*o + 3*o = -2*z + 104, 0 = 5*z - 3*o - 267. Let g = z + -52. Suppose 0*p - g*x = 5*p + 7, -4*p = 3*x + 7. Which is smaller: 1/67 or p?
p
Let p = -6620 - -9242. Do p and 2623 have the same value?
False
Suppose 0 = 11*t + 3568 - 950. Which is greater: t or -475/2?
-475/2
Let y be 36136/10 - 2/(-45)*9. Is 3614 smaller than y?
False
Let b(z) = -20*z**2 + 11*z - 33. Let s(a) = -59*a**2 + 33*a - 100. Let u(i) = -8*b(i) + 3*s(i). Let y be u(3). Is y < -156?
False
Let c(t) = t - 4. Let y(h) = -7*h**3 - 2*h - 1. Let p be y(-1). Let u be c(p). Suppose -2*f - f = 5*b + u, -4*b + 16 = -4*f. Is 2/11 >= b?
False
Suppose 70*j + 305 = -13*j + 22*j. Is -342/61 <= j?
True
Let x = -7.2 + 30.8. Let n = x - 24. Suppose 0 = -5*d + 14 + 11. Which is smaller: d or n?
n
Let x = 0.18487 - 0.28487. Let r = -65.8 + -13.2. Which is smaller: r or x?
r
Let i be -1 + (-1114)/(-2) + -16 + 14. Let l = 2215/4 - i. Is 81/10 != l?
True
Let u(y) = 3*y + 77. Let l be u(-26). Let b be (10/2 - 38)/l. Is 6 bigger than b?
False
Suppose 97 - 21 = -f + t, -5*f - 352 = -t. Which is smaller: -1/16 or f?
f
Suppose 0 = 3*t - 12, 36*t = -b + 39*t + 24. Is 217/6 less than or equal to b?
False
Let m be 1 + -1 + (-267)/(-15). Let p be (11628/(-1824))/((-3)/8). Is p > m?
False
Let d(z) be the second derivative of z**4/12 + 7*z**3/2 - 13*z**2 - 22*z. Let w be d(-22). Let g be 946/(-495) - (w - 4/(-2)). Which is bigger: 0 or g?
g
Let l be 60/(-40)*16/(-234). Suppose -a = a - 5*v - 5, -2*a = -3*v - 3. Which is smaller: l or a?
a
Suppose 0 = 127*i - 14*i - 51302. Is i less than 453?
False
Suppose -4*d + 16*d + 2*d + 2044 = 0. Which is greater: -56 or d?
-56
Let n = 63 - 55. Suppose -2*l + 3*a - n = 15, -27 = 3*l + 3*a. Is l smaller than -9?
True
Suppose 4*r = 5*i + 1375, r = -r + 4*i + 686. Suppose -6*u = 1191 - r. Let d = u - -143. Is 9/7 smaller than d?
True
Let b = -10407 - -72524/7. Let l = -101089/2177 - b. Suppose -w = -0*w. Do l and w have the same value?
False
Let k = 2787 - 2786.9853. Is k > 1/3?
False
Let q = -1.0585 + -0.8415. Which is greater: q or 12?
12
Let j(o) = -2*o + 110. Let p(m) = -m + 74. Let l(x) = 5*j(x) - 8*p(x). Let r be l(-11). Is r greater than or equal to 5?
False
Let j be 34/13 + (11 - 12). Suppose 0 = -4*x + 4*f + f + 13, -5*f - 1 = 2*x. Is x at least j?
True
Suppose -23 + 19 = -r. Suppose -38 = -r*d + 2*q, -4*d = q - 24 - 5. Suppose -j - d = j + 2*i, 0 = 2*j - 3*i - 12. Is j < -3/47?
False
Let n(a) = a**2 - 167*a + 6676. Let c be n(75). Are -223 and c equal?
False
Let v = -19 - -34. Let c = -1323 + 1386. Suppose -4*i + 7*s + 53 = 10*s, -4*i - s = -c. Is i greater than or equal to v?
True
Let j(o) = -17*o + 125. Let d be j(12). Is d less than -81?
False
Suppose 0 = 5*j - 5*x - 94 + 29, -2*x = 3*j - 19. Suppose 3*i + 3*k - j = 0, -4 = -i - 3*k + 5. Let c(y) = y - 3. Let a be c(5). Are i and a non-equal?
True
Suppose -3*w = v - 6727, -3*v + 4480 = 12*w - 10*w. Which is bigger: w or 2240?
w
Let n be 167870/60 - -28*11/(-132). Is n at most 2796?
True
Suppose -5*c = 5*h - 445, -h = 8*c - 4*c - 89. Is 446/5 > h?
True
Suppose -5*s + s = 0. Let b be 15/(-33)*(-160)/200 - (-16248)/(-42504). Which is bigger: s or b?
s
Suppose 3*m - 6 = -3*p, -5*m - 14 - 6 = -5*p. Is -2/23449 greater than or equal to m?
True
Let t be 91*((-16)/(-7) - 2). Suppose 6*m = -2*r + 2*m - 16, t = -4*r - 2*m. Is r < -20/3?
False
Suppose -16*y - 3*f = -12*y - 20, -f = 4*y - 20. Let h be y + 180/(-156) + 4/26. Is h less than 3?
False
Let o(p) = p**2 - 9*p - 7. Let x be o(10). Suppose 3*t - 2*a + 2 = 5, -x*t + 3*a = 0. Let n be t/24*30*(0 - 4). Is 1/3 at most n?
False
Let c(y) = -2*y**2 - 18*y - 44. Let x be c(-4). Which is bigger: -1 or x?
-1
Let y(d) = 3*d**3 - d**2 - 53*d - 212. Let s be y(-11). Which is smaller: -3741 or s?
s
Let c = 23.1 + -23. Suppose 0 = 2*o - 3*y - 3, -o + y + 0*y + 3 = 0. Suppose 0 = -3*a + 6, -d + 5*a = 4 + o. Which is smaller: c or d?
d
Let w = 1379 + -1621.01. Let t = -242 - w. Is -0.9 < t?
True
Let g(t) = -t**3 + t**2 + t - 1. Let p(s) = 24*s**3 - 21*s**2 - 18*s + 18. Let u(x) = -42*g(x) - 2*p(x). Let b be u(2). Which is smaller: -56 or b?
-56
Let n(h) = h**3 - 6*h**2 - 6*h - 4. Let s(u) = u + 13. Let o be s(-6). Let q be n(o). Let d = 48.03 + -48.1. Is d < q?
True
Suppose 0 = -14*p + 2444 + 1588. Suppose p + 252 = 18*c. Does c = 31?
False
Let q = -3.5651 - -3.2051. Let h = 0.9 + 0.1. Is h >= q?
True
Let f = 3462 - 7239. Is f > -3778?
True
Let q be 0 - (-8 + -1) - 12. Is -182/97 less than q?
False
Let c = 4222 + -3932. Which is bigger: 288 or c?
c
Suppose 4*v = -2*c + 2, 5*v - 4*v - 2 = c. Let p = -1859 + 124556/67. Which is bigger: p or v?
v
Suppose 2*r - 4571 = 4*x + 4719, -4*x = 5*r - 23253. Is 4649 at least as big as r?
True
Let z = 383/1547 + -2/119. Let n = -226119 - -226120. Which is greater: z or n?
n
Let c be (-9)/5*(-7 - 4/(-2)). Let l(r) = -r**2 + 12*r - 27. Let g be l(c). Let b be 2 - 320/172 - g. Are b and -1 equal?
False
Let z be (42/(-35))/(12/(-9045))*-2. Let h = z - -1034. Are -774 and h nonequal?
True
Let l be (-352)/(-102) + (-22)/187. Let u(s) = -s**3 + 4*s**2 + s - 6. Let b be u(2). Is b at least l?
True
Let j be 5/((-564)/114 + 5). Let f = 84 - j. Is f < -37/3?
False
Let s be ((-2)/8)/(10/(-40)). Let k = 4103/1900 + -53/25. Which is smaller: k or s?
k
Suppose d - 2*h - 44 = 0, -4*d - h + 67 = -136. Let n = d + -52. Let o be 33/n*(-4)/27. Is 2 greater than o?
False
Suppose 28*p + 49410 = -25*p - p. Which is smaller: p or -4578/5?
-4578/5
Let q = 54 + -53. Let d = 174332/101 + -1726. Which is smaller: q or d?
d
Let d be (20/(-23860))/(-2 + (-58576310)/(-29288154)). Let f = d + 12275. Is 0 < f?
False
Let n = -0.72 - -45.82. Let h = 19 + -64. Let v = n + h. Is 3/5 at most as big as v?
False
Let w = -19871 - -19870.766. Is -9 at least w?
False
Let h be ((-3)/27)/((-11)/2350) + (-84)/(-189). Suppose -2*d + d = -5*b - 20, 53 = 2*d + 3*b. Which is smaller: d or h?
h
Let f be 3/(-3) + 1 + 0. Suppose -6*j + j + 480 = f. Let m be ((-3)/1)/(36/j). Which is smaller: -6 or m?
m
Let s = 672/20999 + -2/253. Let x = s - -67/664. Are -1 and x non-equal?
True
Let y(i) = -3*i**2 - 31*i + 54. Let w be y(-25). Is w bigger than -1048?
True
Let q = 172 + 33. Let c = q - 210.3. Is c <= -1?
True
Suppose -3*l - 1 = 4*k + 8, 0 = 3*l - 3*k + 9. Let x be 3 + (-18)/3 - l. Let b = 7527/19 + -396. Are x and b unequal?
True
Let n be 5 + -224 - (-1 + 0). Suppose -5*i - 3*b = 1087, 918 - 47 = -4*i - b. Is i greater than n?
False
Let a(q) = 11*q + 98. Let m be a(-8). Let w(c) = 11*c + 76. Let v be w(-7). Which is greater: m or v?
m
Let i(c) = 7*c - 59. Let z be i(9). Let u be ((-9)/90)/(z/(-1*8)). Does -2 = u?
False
Let n(a) = -23*a**2 - 45*a - 30. Let f(s) = 11*s**2 + 22*s + 14. Let o(h) = -7*f(h) - 3*n(h). Let b be o(-8). Is b at least as big as -368?
True
Let m be (-42)/(-10) - (-34)/(-119)*14. Is m less than or equal to -7?
False
Suppose 391*u + 15792 = 370*u. Is -750 bigger than u?
True
Let g be (20 + -21)/((6/15)/2). Let k be -2 - 0 - g*(-44)/(-55). Which is smaller: k or 4/5?
4/5
Suppose 0 = -5*a - 4*d + 6, 3*a + d - 1899 + 1901 = 0. Which is smaller: 138.95 or a?
a
Let p = 10022 - 10216. Is p smaller than -1/7?
True
Suppose 3*l = -6*q + 3*q + 1728, -1728 = -3*l - 5*q. Let v be (-21)/(-35) + l/(-910). Is 0 at most v?
False
Let l = 3 - -1. Suppose -2*q = 2*s + 4, -s + 10 = -3*s - l*q