ast as big as -35?
True
Suppose -4*j = -2*j + 3*a + 7, -2*j + a = -5. Let t = -89/423 - -14/141. Which is bigger: j or t?
j
Let k(c) be the second derivative of 0 - 20*c - c**2 + 1/20*c**5 + 5/12*c**4 + 1/3*c**3. Let a be k(-3). Which is smaller: 11 or a?
a
Suppose -6*h - 3*h + 6529 + 4775 = 0. Which is smaller: h or 1254?
1254
Let f = -26311 - -26316. Which is bigger: f or -1218?
f
Let y be (-2)/(128230/10*2). Is 1 smaller than y?
False
Let c = 157 - 85. Let s(z) = -z**3 - 11*z**2 - 5*z + 19. Let d be s(-11). Are c and d non-equal?
True
Let x(o) = 4*o**2 - 5*o - 1. Let p be x(-3). Let f = p + -47. Suppose 2*r - 45 = -u + 6*u, 0 = f*r. Are -11 and u non-equal?
True
Suppose -11*l + 2635 = 20*l. Suppose -1773 + l = 8*v. Is -212 bigger than v?
False
Let i be 1008/912 - (-3 + (-78)/(-19) + -1). Is 2 at most i?
False
Let k be (29920/595)/((-5)/(-35)). Which is smaller: 2823/8 or k?
k
Suppose -3*f + n + 22 = -76, 5*f + 3*n - 182 = 0. Suppose f*h = -3846 - 14174. Which is greater: -529 or h?
-529
Let p = 0.038 + -0.074. Let t = p + -1.964. Which is bigger: 12 or t?
12
Let d(m) = -68*m**2 - 25*m - 80. Let j be d(-2). Is -303 bigger than j?
False
Let u = 307 + -304. Suppose -11*j + u*j + 5*j = 0. Is 9/16 smaller than j?
False
Let q be ((-2)/6 - 2530/330) + -1324. Which is smaller: -1338 or q?
-1338
Let d be (1/3)/(3/36). Let h(s) = -s**2 + 6*s + 7. Let p be h(d). Suppose p = -7*o + 2*o. Which is greater: 1 or o?
1
Let h be (-2636598)/(-3366) - (-8)/22. Is h smaller than 783?
False
Suppose -l - 2*u - 574 = -2*l, 5*l - 2805 = -3*u. Suppose 50*h - 46*h = -l. Do h and -143 have different values?
True
Suppose 219 = 17*a + 83. Suppose -a = -3*w - w + 4*v, 0 = -3*w - 2*v - 4. Is w > -1?
True
Suppose 0 = -3*g - 4*r - 7105, -4*r + 4926 + 6937 = -5*g. Which is bigger: g or -2373?
g
Suppose 0 = -4*z + 2488 + 1016. Suppose 4*s = 3*m - 656, -7*m + 3*m = -5*s - z. Let n be 608/m + (-3)/((-42)/4). Which is smaller: n or -2?
-2
Let g(n) = -2*n**3 - 54*n**2 + 47*n + 21. Let j be g(-28). Which is smaller: 274 or j?
j
Let i = 27 - 27. Suppose -949 = b + 3050. Let k = -603851/151 - b. Which is bigger: k or i?
i
Let a be (360/(-33) - -11) + (-7)/(308/22048). Are -0.5 and a equal?
False
Let o be ((-40)/(-25))/(17/(-5) - -3). Let d be (4 + 130/(-35))*o/4. Is d greater than 1?
False
Let b be (3*3/434)/((-648)/756). Let w = -7 - -8. Is w smaller than b?
False
Let p = -0.223 - -0.101. Let o = p + 0.122. Let a be (-3)/4*8/(-7). Is a at least o?
True
Let u = 3372/5 + -37086/55. Let l = 25190 + -25191. Which is greater: l or u?
u
Let x(c) = -c**2 - 7*c + 97. Let s be x(7). Is s >= -2/1485?
False
Let j(u) = 3*u**3 - 112*u**2 + 35*u + 75. Let o be j(37). Are 2/9431 and o unequal?
True
Let s = -171.9 - -282. Let x = 110 - s. Is x smaller than -194/5?
False
Suppose -1534*a + 29 = -1529*a + 4*l, 0 = -2*a - 2*l + 14. Let q(c) = -c + 8. Let p(x) = -5*x - 2. Let i be p(-2). Let w be q(i). Is a greater than w?
True
Suppose 4*g - 7 = -3. Suppose -8*d - 4*n = 1268, 5*n - 8 + 494 = -3*d. Is g > d?
True
Suppose -4*t + 192 = 4*x, 0*x + 3*x - 136 = t. Let j be (16 + -16)/(-1 - 0) - x. Which is smaller: j or -40?
j
Let f be (152/5)/(60/150). Let i = 76 - f. Which is smaller: i or -3/44?
-3/44
Let w be (0/2 + (-20)/(-24))*(-39)/(-65). Is -29 != w?
True
Let o be -5 - (-4 + -6) - 3. Suppose -o*k + 39 = 11*k. Which is greater: 20/9 or k?
k
Let r = 9179/3 + -3058. Is r smaller than -7.3?
False
Let b = 52 + -50. Suppose -200 = 5*o - 5*u, b*o + o + 136 = -u. Let n = -52 - o. Which is greater: -9 or n?
n
Let x = 4 + -2. Suppose -24 = -x*z + 10. Suppose 0 = 2*b + p + 4 - 1, 3*b = -4*p - z. Are -2/71 and b nonequal?
True
Let c(f) = -2*f**3 + 2*f**2 + 9*f + 1. Let d be c(-2). Let z be d*2/(8/(-12)). Which is smaller: z or -20?
z
Let b(k) = -k**2 - 12*k - 43. Let p be b(-6). Let z be p - (2 - 6) - 11/(-4). Which is bigger: z or -12?
z
Suppose -h + 36 = 417. Let z = h - -385. Let s(r) = -r**2 - 6*r + 6. Let w be s(-5). Which is bigger: w or z?
w
Let z(u) = 252*u - 5344. Let b be z(26). Are b and -0.07 equal?
False
Let w = 27 - 59. Let a be (9 - 13)*(-3)/w. Suppose 5*u - 28 = -6*z + 2*z, -z - 2*u + 10 = 0. Which is smaller: z or a?
a
Let r be (((-680)/(-342) - 1) + -1)*(-15)/(-1660). Is 0 greater than or equal to r?
True
Let w be 5 - 2/6*9. Let o be 110/154 - (w + 48/(-21)). Which is greater: 2/715 or o?
o
Let g be ((-6)/(-4))/(2/60). Suppose -8*h + 3*h - 4*p - 110 = 0, -5*p = -5*h - 155. Let q be 44 - (h/(-65))/((-1)/5). Which is bigger: g or q?
q
Let r be -2*2/(-6) + (-18382)/(-273). Suppose -13*k + r = 783. Let n be 218/(-4) - (-3)/(-6). Is k < n?
False
Let q be 0 + 1 + (-59920)/(-13550). Let a = q + -6/271. Which is smaller: 5 or a?
5
Let q be (-4)/((42/(-9))/7). Let t(k) = -2*k**3 - 5*k**2 - 3*k - 2. Let n be t(q). Let m = 8220/13 + n. Is m bigger than 1?
False
Let s = 2860 + -2853. Is s bigger than -0.018?
True
Suppose 2*z = 5*k + 36, -4*k - 15 = -2*z + 13. Let g be 0/k*(-1 - -2). Suppose -y + 17 - 1 = g. Is 16 < y?
False
Let c = 55 - 53. Suppose 0*l = -c*l + 760. Let a = -1509/4 + l. Which is greater: a or 4?
4
Let x be (-39)/26 + 882/72*3/21. Let b = -6.6 - -6. Which is greater: x or b?
x
Let a be 133/30 + 3/18. Suppose -13 + 42 = -5*n + 4*b, -4*b + 28 = -4*n. Is n less than or equal to a?
True
Let w = -930 - -1003. Let u = w + -72. Is -1/301 > u?
False
Let c = 11584 + -11612.67. Which is smaller: c or 1?
c
Let d be 9/(-30) + (-65)/(-325) + (-123)/(-30). Let s = -6 + 9. Let n = s + -1.5. Is d smaller than n?
False
Let j = -473 - -475. Are j and 1347 nonequal?
True
Let f = -28583 - -28876. Are f and 322 nonequal?
True
Suppose 9056 = -75*f - 25969. Which is smaller: -478 or f?
-478
Let q be (219/(-12))/(6/(-8)). Suppose -12*d = -3*d + 9. Is d < q?
True
Let t(g) = -14*g**2 + 362*g + 51. Let i be t(26). Which is bigger: -2358 or i?
i
Let s be (-15)/(-30) - 22/(-10). Let m be (47 - 3576/72)/(3/(18/(-4))). Is m < s?
False
Let w(v) = -v**3 + 7*v**2 + 6*v - 26. Let j be w(8). Let d be (24 + -25)*3*4/j. Let u = 0 - -0.2. Which is smaller: u or d?
u
Suppose 2 = 15*p - 13. Let l be 8/2*25/(-10). Let j = -6 - l. Is p > j?
False
Let t be (-918)/15 - 1/(-5). Let o = t - -54. Let r = o - -8. Is 8/11 greater than or equal to r?
False
Let q = -10 + -10. Let a = q + 20.17. Let u = -1.4 + 0.4. Which is smaller: u or a?
u
Let o(w) = -20*w + 123. Let c be o(6). Suppose -64*l + c = -67*l. Is l at most as big as 2/99?
True
Suppose 13*a + 56863 = -73*a - 15*a. Is -9 less than a?
False
Let d = 149 + -102. Suppose 21*f + 24 = 27*f. Suppose 2*l + 2*g - 84 = 6*g, -3*l - f*g + 146 = 0. Is l < d?
True
Let n = -153.66 - -143.2. Let o = n - 11.54. Let a = -0.1 - 0.9. Which is smaller: o or a?
o
Let y = -15 - 26. Let b = y - -29. Let q be (-194)/(-22) + b/(-66). Is q at most as big as 9?
True
Let i = -1 + -46. Let v = -45 - i. Suppose 3*w - 5*z - 13 = 0, 0 = -v*w + 2*z + 9 - 3. Is 1/55 at most as big as w?
True
Suppose 0 = 5*y + 190 - 180, 0 = 5*t - 2*y - 1604. Let z(i) = 3*i**2 + 2*i + 3. Let s be z(-2). Suppose s*o = 3*o + t. Are o and 41 unequal?
True
Let n = 3.8784 - -0.0016. Let k = n + -3.97. Is k bigger than -2?
True
Let p = 0.4 + -1.4. Let m = 401.07 + 4.93. Let l = 396 - m. Which is smaller: p or l?
l
Let k = 3.3 - 4.1. Let p = -0.9 - k. Suppose -3*q + 51 = 3*i - 30, -3*q + 61 = -2*i. Is p at least q?
False
Let n be 105 - 104 - (53*3 - 0). Let u = 1261/8 + n. Which is smaller: u or -1?
-1
Let o be 1/2 - 465082/(-532). Which is bigger: o or 876?
876
Let a be (0 - -2)*12/10*(-62310)/744. Is a < -4?
True
Let y = 4/51035 - 138471/1115574065. Which is greater: y or 0?
0
Let n = 4.173 - 8.173. Which is greater: -3.07 or n?
-3.07
Let s(o) = -o**3 - 10*o**2 + 7*o + 10. Let n be s(-5). Suppose 1650 = 34*k - 45*k. Is k greater than n?
False
Suppose -11648 = -3*l + 7*l. Let g be (-15352)/l + -6 - (-6)/8. Let w = -827/364 + g. Which is smaller: w or -1?
w
Let h = 14.7 + 12.2. Let x = 27 - h. Let p be ((-413)/(-70) - 6)/(16/(-180)). Which is smaller: x or p?
x
Let v = 0.397 + -0.027. Let n = -1.335 + v. Let q = n + -0.035. Does 78 = q?
False
Let m(b) = 2*b - 16. Let d be m(8). Suppose 11 = -r - 2*z, -4*z - 34 + 3 = 5*r. Let n be (-70)/(-126)*r/(-2). Which is smaller: n or d?
d
Let i = 0.1919 - 2.9919. Is i at most as big as -1/9?
Tru