+ 108/(-7). Let q be (-315)/(-42)*5/((-25)/c). Which is bigger: 0.4 or q?
q
Let l = -1512/23 + 10538/161. Is l equal to -5.041?
False
Suppose -13 = 5*t - 5*k + 42, 4*k + 12 = -4*t. Let y(l) = -l**3 - 9*l**2 - 13*l + 9. Let x be y(t). Let q = -7 + 7. Which is smaller: x or q?
q
Let s(c) be the first derivative of 9*c**2/2 + 180*c - 95. Let n be s(-19). Which is bigger: 98/11 or n?
n
Let k(j) = -6*j**2 + 25*j + 131. Let b be k(-3). Which is greater: b or -1400?
b
Let n = -9984 - -9990. Do n and 23 have the same value?
False
Suppose -77 = -3*t + 25. Suppose -12 = -b + 5*c, 0 = 7*b - 4*b + c - 100. Is b equal to t?
False
Let i = -62 - -6.4. Let v = 16 - 71. Let q = i - v. Which is smaller: q or 0?
q
Let b = -1163 - -2231. Let c = 129226/121 - b. Which is smaller: c or 1?
c
Let t be 1 + 21/14*-42. Let v be 4*(-3)/24*t. Let q be 2/(-9) - (-281)/9. Is q at least v?
True
Let z(i) = -i**2 + 10*i - 24. Let k = 33 + -26. Let a be z(k). Let s be 0/((a + 0)/3). Which is greater: -16 or s?
s
Let k(r) = 8*r**3 + 12*r**2 - 6*r - 153. Let t be k(-7). Which is greater: t or -2269?
t
Suppose -14*n + 11*n - 2*u = -10660, 2*n - 7110 = -3*u. Is 3552 less than n?
False
Let v = 31598 - 30736. Is v greater than 864?
False
Let m(y) = y**3 + 9*y**2 + 14*y - 24. Let o be m(-6). Is o smaller than 1/20809?
True
Let c = -26139.2 - -26141.2. Let d = 97 + -777/8. Is d greater than c?
False
Let u = 1115.1 - 1118.1. Which is greater: -0.154 or u?
-0.154
Suppose -12 = -5*c + 2*c. Let q be ((-9)/3 + 4)*1. Let l be 46*(c/8 - q). Which is bigger: l or -22?
-22
Let i = 160.071 + -160. Let n = i + -0.911. Let m = 7.84 + n. Which is bigger: m or 0.1?
m
Suppose 23*z = 71*z + 33 + 15. Is z < 4/749?
True
Let p = -3738 + 3738.003. Are p and 1.2 equal?
False
Let o = 19631 + -19631. Let a be 2/(-8)*(-32636)/34. Let x = a - 240. Which is smaller: x or o?
x
Let f be (24 - 2)/(10/(2 + 288)). Let p = f + -10840/17. Is p less than or equal to -1?
False
Suppose -1373*a + 1367*a = -60. Let r be 9*(20/18)/a. Which is smaller: r or 1/149?
1/149
Let q(l) = l**2 + 2*l + 3. Let z be q(8). Let r be -2 - ((-39)/(-104) - 466/32*6). Is r > z?
True
Let t(q) = q**2 - 7*q. Let u be 4/(-20) + ((-72)/(-10) - 1). Let i be t(u). Let o be 4/i*(-3)/2. Which is smaller: o or -2/9?
-2/9
Let v be 2/15 - (-49)/(-720)*(9 - -60). Which is greater: v or -5?
v
Let p = 69.8 + 2.2. Let w = 71.9 - p. Let z be ((-3)/1)/((-18)/(-8)). Which is bigger: w or z?
w
Let l be (9/((-27)/14))/((-1732)/(-1486)) - -4. Do l and 1 have the same value?
False
Let r be (1 - (-1956)/218) + -10. Let d(l) = l**3 + l**2 + l. Let w be d(0). Is r less than or equal to w?
True
Suppose -10 = -2*s, 3*b + 50 = -s + 70. Suppose -3*j - 14*r + 13*r + 1 = 0, b*r - 5 = 4*j. Which is greater: j or -11/34?
j
Let d be -13 + (25 - 11) - -6*2/(-10). Which is smaller: d or -2033?
-2033
Let x(f) = f**3 + 4*f**2 - 44*f + 10. Let q be x(-9). Let g = 119 - 2257/19. Is g greater than or equal to q?
False
Let w(r) = 18*r**2 - 391*r + 56. Let t be w(19). Which is smaller: -2 or t?
t
Suppose 4*s + 180 = 21*c - 23*c, -5*s + 925 = -9*c. Which is smaller: -51 or c?
c
Suppose -3*s - 4*x - 2677 = -668, 4*s + 2684 = -4*x. Which is smaller: s or -676?
-676
Suppose -2*a - 92 + 98 = 0. Suppose a*g + 1 + 2 = 0, 2*m = 4*g. Let y be 0*(m/(-8) + 18/24). Which is smaller: y or 3/68?
y
Let r = -20 + 19.44. Let j = r + 211.56. Which is greater: j or 1/3?
j
Let l be 6/(-10) - (-1632)/20. Suppose 4*x - 4 = 0, 3*x = -446*q + 448*q - 163. Is l greater than q?
False
Suppose 0 = -12*j - j + 1898. Let b = j - 134. Suppose -3*o - 6 = o - 5*m, 4*m + b = -o. Is -32/7 smaller than o?
True
Let i = 8526.272 - 8205.2. Let z = 321 - i. Which is smaller: z or 0?
z
Suppose 6*t - 203 = -t. Suppose -5*v + 66 = -t. Let o(j) = 2*j**2 + 36*j - 20. Let a be o(-19). Which is smaller: a or v?
a
Let c be (-3)/(2/8*2). Let h be (-14)/12 - (-3)/c. Let z be (-1*6/(-4))/(((-10)/20)/1). Is h at most z?
False
Let l be (182/(-3))/((6 + -8)/6). Suppose 2*s - 2*g + 88 = -l, 0 = 3*s - 5*g + 413. Let y = s - -130. Does y = 2/9?
False
Let b = 223.25 - 3.25. Let i = b + -220. Is -84 less than or equal to i?
True
Let q = 845 + -1267. Let v = q - -328. Do v and -95 have the same value?
False
Let c be (-90)/4 - (-8)/32*-6. Let v be (-1 - c) + 90/(-25) + 4. Which is smaller: 22 or v?
22
Let d(k) = 16*k + 4*k**3 - 2*k**3 + 10 - 4*k**2 - 3*k**3 + 10*k**2. Let n be d(8). Suppose x - 3*x = 3*u + n, 42 = -2*x + 5*u. Which is smaller: -9 or x?
x
Let q be 63/12*48/(-1578). Let u = -2571/21040 - q. Which is bigger: 0 or u?
u
Let f(s) = 48*s - 1104. Let i be f(23). Let b be 15/7*(-21)/(-102). Is b equal to i?
False
Let a = -31159 + 31169. Let n = -2.6 - -1.7. Is n equal to a?
False
Suppose -34 = -6*n - 34. Is 26/53 equal to n?
False
Let s = -783555310675/4788 + 1145548870/7. Let h be 10/9 + 291316/(-11457). Let b = h + s. Is -1 less than or equal to b?
True
Let o be -1*-2*2 + (-444)/12. Let m(k) be the first derivative of -k**2 + 2*k - 2. Let s be m(17). Is s bigger than o?
True
Let p be (-917)/(-189) + (-1 - -2) + -6. Which is smaller: -1/7 or p?
p
Let h = -0.06507 + 0.51507. Which is greater: h or -9?
h
Let f = 0.12 - -3.88. Let o = 95454 + -1623346/17. Let v = o - -37. Is f smaller than v?
False
Let m be -3*((-20)/(-4) + 19/((-456)/160)). Which is bigger: m or 13?
13
Let g = -0.45 + 101.45. Let q = g + -176. Let h = q - -64. Is -1/4 at most h?
False
Let d = 29 - 44. Let x be ((-28)/21)/4*111*17. Let c = -646 - x. Which is smaller: d or c?
c
Let k be ((-2)/4)/(33/44*(-3)/1674). Which is bigger: 371 or k?
k
Let m be (-391)/(-34) - 1*(-6)/4. Suppose m = -8*s - 5*s. Which is greater: 11/26 or s?
11/26
Let v = -8402 + 8401. Which is bigger: v or 2/4527?
2/4527
Let z = -462.69 + 2.79. Let c = -460 - z. Which is smaller: 4.48 or c?
c
Let i be (1/(-3))/((-89)/356). Suppose 4*g - 2*o + 8 = 5*g, -3*o - 65 = -4*g. Let w be 32/g + (-6)/21. Which is smaller: i or w?
i
Let y be (30/315*42)/(12/(-2 + 4)). Is -957 at least y?
False
Suppose 4*m = -l - 49, l = 2*l - 2*m + 73. Let t be (-1)/(l/(-134) - (-2)/(-4)). Let f = t - 60. Is f at most 5?
False
Let g = 467.9 - 467.8. Does g = 344?
False
Let t(a) = a**2 + 7*a - 3. Let h be t(-10). Let m(s) = 55*s - 3*s**2 - h + 49*s - 107*s + 4*s**2. Let i be m(7). Which is smaller: -1/38 or i?
-1/38
Let i(y) = 12*y - 10. Suppose 5*n + 5*u = -125, -5*n - 2*u = -n + 92. Let w = -20 - n. Let p be i(w). Is 22/7 less than p?
False
Let c be ((-18)/8 - -5) + 21/(-7). Which is smaller: c or -268/5?
-268/5
Let q = -43878 - -43854. Which is bigger: q or 171?
171
Let x be (1 - 18/(-27))/((-10)/(-12)). Suppose -x*p + 3*q = -22, 2*q + 6 = 4*p - 38. Does 85/7 = p?
False
Suppose -18*o + 17*o = 0. Suppose 0 = 5*r + 8 - 28. Suppose -r*t + o = -8. Which is smaller: t or 7/5?
7/5
Let z be (-2)/(-90) + 2/(-9). Let f(u) = -43*u + 99. Let b be f(-3). Let x = 229 - b. Is x <= z?
False
Suppose 76 = 25*b - 3599. Which is smaller: 1605/11 or b?
1605/11
Suppose 0 = 107*j - 111*j + 1360. Suppose -j = -4*p + 64. Let o = p + -78. Are o and 23 nonequal?
False
Let o be 3/6*(0 - 2). Let x be ((-69)/207)/(273/9 + 2). Are x and o equal?
False
Let g be (-1 + (-201)/(-12))/((-15)/40). Suppose -3 = -u + 2*u. Let v be g/u*(-3 - 10/(-4)). Are v and -6 equal?
False
Suppose q - 57*q + 83888 = 0. Does q = 1498?
True
Let c = 2257 - 2373. Is -133 at least as big as c?
False
Let v = -12 + 11.925. Let x = -4.075 - v. Let i = x - -16. Is i < -0.2?
False
Let r = 18 - 93. Let y = -74.937 - r. Let d = 0.937 + y. Is -53 greater than d?
False
Let w = -236 - -235.909. Let k = w + 0.491. Is 3 smaller than k?
False
Suppose -w + 12 = 5*j, 0 = 5*w + 2*j - 18 - 19. Let o(v) = 3*v + 46 + 25 + 6 - w. Let a be o(-23). Is 37 less than a?
False
Suppose -605 = -8*j + 1395. Let h be 1/(-2 - j/(-124)). Let t = 4 - h. Which is smaller: t or -57?
t
Let r be 1*(-2)/5*100/8. Suppose -5*g = -0*v - 3*v + 92, 81 = -4*g - 5*v. Which is smaller: r or g?
g
Let j(l) = -l**3 + 15*l**2 - 12*l - 26. Let d be j(14). Suppose -39 = -d*f - 3*q, -4*f + 7*q + 89 = 2*q. Are 22 and f equal?
False
Suppose -3*q - 2*x = -35977, 0 = -5402*q + 5404*q - 4*x - 23990. Is 11993 smaller than q?
False
Let i be (0 - (2 - -4 - -47)) + 1 + -7. Which is smaller: i or -518/9?
i
Suppose -21*c - 2610 = 330. Is c n