uppose 38*m + 569 + 583 = -34*m. Is m >= -0.12?
False
Suppose 2 = -2*d + 10. Suppose 0 = d*a - 7*a + 5*b + 42, 0 = -a - 3*b + 28. Which is greater: a or -1/6?
a
Let z = -11.965 + 11.77. Which is smaller: z or -16?
-16
Let h(l) = -l**3 - 13*l**2 - 30*l + 9. Let f be h(-9). Which is smaller: -43 or f?
f
Let r = -7 - -10. Suppose 1 = -2*j + r. Let u = 158 + -157. Is u < j?
False
Let c = -37627 - -38204. Suppose -d - 4*d = -2885. Is c not equal to d?
False
Let g = -1163 + 1161. Let u(f) = 9*f + 3. Let i be u(9). Let d be i/(-75)*20/24. Which is greater: g or d?
d
Let n = 6270830/32223 + -4476/23. Let o be 3/(-1*(2 + -2 + -3)). Which is bigger: o or n?
o
Suppose -598656 = 69*g + 67*g - 138296. Is -3384 < g?
False
Let o be 216/(-5) + 1 - (-4)/20. Suppose -4*u + 22 - 190 = 0. Let h = u - o. Do h and 2 have different values?
True
Suppose -3*j - 38 = -53. Suppose -3*u + 29 = -6*n + 10*n, -25 = -j*n. Suppose 55 = -4*m + r, u*m - r + 59 - 17 = 0. Which is smaller: 0 or m?
m
Suppose 12 = -3*w, -2*m + 0*w - 16 = 3*w. Let b be (1 + m)*(6/2 - 0). Let t be (0 - 1)*b/((-3)/(-11)). Is t >= 6?
True
Let h = -20194/27 + 748. Let j(z) = 2*z + 11. Let s be j(-5). Suppose -2*w = 2*w + 5*c - 5, 5*w + s = c. Are h and w non-equal?
True
Let c = 412243/9 - 46065. Is -260 smaller than c?
False
Let u = -65.9 - -66. Let d = 431 - 432.245. Let n = -0.055 + d. Which is smaller: u or n?
n
Let y be ((-44)/55)/(35/(-350)). Let s(v) = 10*v**2 - 2*v + 1. Let n be s(1). Is n greater than y?
True
Let a = 0.038 - 187.038. Let h = a + 137. Are h and 0.4 nonequal?
True
Suppose 2*o - 5*o = -3*s + 15, -s = -3*o + 5. Let q be (8785/(-65) - -3) + (-4)/(-26). Let j = q + 138. Which is smaller: j or s?
j
Let x be (-23528)/(-663) + (-4)/26. Let s = -488 - -523. Which is smaller: x or s?
s
Suppose 2*b - 19 = -5*u, -3*b + 0*b = 2*u - 12. Suppose 4*s - 12 = -2*h + 134, -b*s - 3*h = -75. Is 34 smaller than s?
True
Let j = 0.5434 + 0.0136. Let t = j - 21.557. Is t greater than -1?
False
Let y = -2309/150 + -186/25. Is -23 at most y?
True
Let t(q) = 258*q - 255*q - 21 - 53 + 4. Let z be t(23). Is -3/10 less than z?
False
Let y be 4 + -2 - (-9 + 374). Let l = y - -306. Which is smaller: -54 or l?
l
Suppose -63 = 108*y - 115*y. Suppose -2*a = 3*r + y, 0 = -r - 5*a + 6*a + 2. Which is smaller: r or 1/68?
r
Let t = 14506 + -13758. Is 749 greater than t?
True
Let z = 23 - 16. Let n = 623 + -620. Suppose 0 = 6*p - z*p + n. Is p greater than or equal to 1?
True
Let q be -3 - ((-54)/45)/((-12)/2850). Which is greater: q or -280?
-280
Suppose -247*p + 252*p = 25. Suppose 0*f - 3*f - 364 = 2*y, 4*y = p*f - 750. Is y equal to -186?
False
Let m be ((-42)/3)/(2/(-5)). Let i = m - 25. Suppose i*y - 6*y = 0. Which is smaller: y or 1/10?
y
Let t be 12 + -6 - (7/14*10 + 52). Which is smaller: 0 or t?
t
Let l be 1 + (-1 - -1)/(-2). Let g be (-3 + 135/50)/(2/(-10)*186). Which is greater: l or g?
l
Let f be (1350/(-1219995))/((-30)/(-35)). Which is smaller: f or 1?
f
Let w be 138/(-3657) + 55/53. Is -5832/7 > w?
False
Let k = -69999 - -70008. Let v = 8 - -25. Which is smaller: v or k?
k
Let i be 13/(39/90)*(-4)/(-10). Let v be 606/(-4)*(i/90 + 0). Is v at most -19?
True
Suppose 138 = -9*d + 3. Let w be (-2 + d/6)*6/(-9). Suppose -2*f + w*g - 171 = -5*f, 5*g = -f + 77. Which is smaller: f or 1?
1
Let h = 398 - 394. Suppose 0 = 2*w + u + 62, h*w - 153 = 9*w + 2*u. Are -30 and w unequal?
True
Let g = -3/463 - -19921/1852. Let b = -41/4 + g. Which is greater: 104 or b?
104
Let f = -434.582 - -434. Let x = f - -0.582. Is x at least -724?
True
Let p = 0.5729 + -246.5729. Which is bigger: -1/2 or p?
-1/2
Let r be (-176)/(-88)*(6 + 1). Suppose -3*f + 11 = r. Is 15/11 equal to f?
False
Let d be (-7 - 0) + (4 - 14 - -43). Does d = 24?
False
Suppose 0 = 5*b - 12 - 18. Suppose -b*s + 19 = 7. Let p = -45 - -44. Is s < p?
False
Let p = 18075 + -18060. Let f = -3 - -3.09. Do p and f have the same value?
False
Let c = 799 - 798. Is c smaller than -1/2506?
False
Let h = 1.014 - 1.134. Are h and -3/2 equal?
False
Let j = -0.04998 - 0.04002. Which is greater: -28 or j?
j
Suppose -5*w - 5*x + 190 = -10*w, -x - 2 = 0. Let a be (0 + 98)*(-5)/w*-4. Suppose 3*y + 2*y = -255. Which is smaller: a or y?
y
Suppose 0 = -17*m + 20*m - 102. Suppose -5*x + 3*d + 102 = -2*x, x + 2*d = m. Which is greater: 33 or x?
x
Let r = 11227 - 11224. Which is smaller: r or 125?
r
Suppose -32*t + 27*t + 840 = 0. Suppose -40*z = -12*z - t. Is 8 != z?
True
Let l = 810 + 53. Suppose l - 850 = -13*x. Let s be -62 - (-2)/2*-1. Is x bigger than s?
True
Let m = 75.3 + -179.1. Let y = 110 + m. Let v = y - 6.212. Is 0.1 > v?
True
Let b = -686/3 - -1381/6. Is b > -12/17?
True
Let z = -0.13837 + 9.81937. Let k = -9.7 + z. Let h = -0.1 - -0.2. Which is bigger: h or k?
h
Let s = 906 - 40. Let w = s + -840.86. Let a = -25 + w. Which is greater: a or -1?
a
Let g(a) = 4*a**2 - 7*a + 3 + 14*a - a + a**3 - 2*a. Let c be g(-3). Which is greater: c or -1?
c
Let j be 15/(-50)*(-90)/(-4). Suppose 78*z = 75*z + 42. Suppose z*f - 30 = 19*f. Do f and j have the same value?
False
Let x = -3.59 - -3.19. Let l = 3761/21 - 179. Is x bigger than l?
False
Let o be -8 - 1 - (160 + -168). Let p(v) = -74*v**2 + 4*v + 6. Let h be p(-5). Let i = -139798/75 - h. Which is bigger: o or i?
i
Let q = -3550 - -3604. Let u = 37 - -13. Let p = u - q. Is p at least 1?
False
Let i = -31190 - -126219/4. Is i less than or equal to 366?
True
Suppose -46*a + 509083 = -350795. Which is bigger: a or -1?
a
Let z be -2*7*(-10)/(-70). Let h = -42 - -39. Which is bigger: h or z?
z
Let c = 2633.8 + -2635. Is c at least 18.7?
False
Suppose 0 = -3321*i + 3318*i - 120. Let h(k) = k**2 + 4*k + 10. Let z be h(-4). Let m be (-408)/z - 5/25. Which is greater: m or i?
i
Let i = -739 - -746. Suppose i*y - 3*y + 3*p + 47 = 0, -3*y - 44 = 4*p. Is -89/10 at most as big as y?
True
Suppose -10*t + 3 = -17. Suppose 5*o + 3 = -4*v, -3 = t*v + 4*o + 3. Let m(p) = p**3 - 2*p**2 - 6*p + 4. Let y be m(v). Which is smaller: -7 or y?
-7
Suppose -5*k - 61 = -t - 1188, 5*k + 5*t = 1085. Which is bigger: 238 or k?
238
Let w = -67 + 467/7. Let l(a) = 6*a**2 - a - 6. Let v(x) = -x**2 + 1. Let c(b) = 2*l(b) + 11*v(b). Let i be c(0). Which is bigger: w or i?
w
Let a(v) be the second derivative of v**3/6 - 3*v**2 - 3*v. Let l be a(7). Let o be (-6)/(-8) + 148/(-720)*5. Which is bigger: l or o?
l
Let b be (1 - (-172)/(-20))/(117/520). Let d = 2402/45 + b. Are d and 19 non-equal?
True
Let o = 11 + -12. Let k(v) = -141*v**3 - v**2 - v - 1. Let q be k(o). Let u be q/(-14) - (-2 + 4 - 4). Which is smaller: u or -29/4?
u
Suppose 12 + 48 = 4*k. Let g = 1681.04 - 1681. Is k equal to g?
False
Suppose -3*w = -10*f + 14*f - 204, -3*f - 4*w = -146. Let t(l) = l**3 + 5*l**2 - 11*l. Let k be t(-5). Which is bigger: f or k?
k
Let n be 0/2*(-3)/(-6). Let l be (-1)/(((-16)/282)/8). Let c = 2962/21 - l. Which is smaller: c or n?
n
Let t(g) = 480*g - 2. Let o be t(0). Is o greater than -19/11?
False
Let o = 1.72514 + -61.58634. Let a = o - 1.2088. Let z = -61 - a. Are z and -0.3 unequal?
True
Let c = 15 - 40. Let k(f) = f**2 + 24*f - 17. Let p be k(c). Suppose -4*v - p = 4*h, 7*h + 28 = 2*h + v. Which is smaller: -1 or h?
h
Let c = -3202.7 - -3203. Which is bigger: c or -979?
c
Let f = -79 + 80. Let a be 3/(-6)*f - 9/6. Let d be a/1*((-7)/77)/1. Which is bigger: d or -1?
d
Let b = 592 - 1056. Let x = b + 335. Is x > 1?
False
Let p = -63 - -66. Suppose -5*o - 1 = p*v - 7, 4*o + 4 = 2*v. Suppose 0 = -7*l - v + 51. Is l != 7?
False
Suppose 1071*b - 1091*b + 8260 = 0. Which is greater: b or 436?
436
Let k = -0.1 - -0.1. Let v(r) = -2*r**3 - 7*r**2 - 48*r + 234. Let j be v(3). Which is smaller: j or k?
j
Let d be (-13)/(-11) + -1*1. Suppose -163 = -9*a - 136. Let k be (4 - a)*-6 - (-7 + 2). Which is smaller: d or k?
k
Let w be 6/(-5)*(1/(-3) + (-33456)/738). Let p(m) = m**3 + 9*m**2 + 8*m - 4. Let y be p(-6). Is w at most as big as y?
True
Let z = 8.2 + -9. Let j = 4/74011 - -8804741/47515062. Let i = j - 2/107. Which is bigger: i or z?
i
Let f = -9 + 26/3. Let g = 7 + 13. Let d be (16/g)/1 + -2. Is f equal to d?
False
Let m be -314*5/(-2450) - 6/10. Let l(f) = -4*f + 12. Let q be l(3). Suppose 5*g + 6 - 11 = q. Is m < g?
True
Let g = 29 - 19. Suppose -11*l + g*l = -