?
True
Suppose 8*h - 94 = 6*h. Let c = h - 63. Which is greater: -17 or c?
c
Suppose 3*d - 2 = 2*h, -2*d + 16 = -4*h - 4. Suppose -5 = 3*j + 7. Which is smaller: j or h?
h
Let v = 1717/4 + -433. Let a = -33 - -30. Which is greater: a or v?
a
Let m = -2/9 - -19/126. Let z(o) = o**2 + 10*o + 10. Let q be z(-9). Which is bigger: q or m?
q
Suppose 9 = v - 23. Let l(d) = -2*d**3 + 79*d**2 - 39*d + 34. Let w be l(39). Which is greater: w or v?
w
Suppose 0*g - 6 = 3*g, 5*g = -k - 190. Let v be (k/(-11) + 1)*-29. Let d = v + 503. Which is smaller: -2 or d?
-2
Let m(o) = o**3 + 16*o**2 + 60*o + 1. Let t be m(-10). Which is greater: -1/223 or t?
t
Let p(m) = -m**3 - 3*m**2 + 4*m + 4. Let o be p(-4). Suppose 26 = 3*g + x + o*x, 3*g = -3*x + 18. Let j be g/7 - 6/21. Is j greater than -1?
True
Let t = 9 + -12. Let f be 15/t - (-6612)/1324. Which is smaller: 0 or f?
f
Suppose -2 = -2*n, 0*m - 4*m = -n + 5. Which is bigger: m or 1/47?
1/47
Suppose -3*k + 3*h = -8*k - 225, 0 = k - h + 37. Let s = -41 - k. Suppose -6 = -5*j + 9. Which is smaller: s or j?
s
Let m be (-2743)/910 + 4/(-14). Which is bigger: -4 or m?
m
Let x = -621 + 653.91. Let i = -33 + x. Let f = i + 0.09. Which is greater: -7 or f?
f
Let j be 4690/1139*(-3)/(-5). Is j less than 2?
False
Let w = 0.05 + -4.05. Let g = 925/2 + -463. Which is greater: w or g?
g
Let y be (15582/(-196))/((-3)/(-2)). Is -5 not equal to y?
True
Let a(v) = -2*v**3 - 3*v**2 + 2. Let h be a(-2). Let p be h/(-4) + (-3)/(-2). Suppose 4*n + n = p. Which is greater: n or -2/11?
n
Let r be 2/(-2)*(0 - 4). Let p(d) = d - 1. Let s be p(r). Suppose 4*x - g + 5 = -2, -4*x = -s*g + 5. Which is bigger: x or -3?
x
Let o = 21 - 21. Let v be (o*2/4)/(-60 - -58). Which is bigger: 3 or v?
3
Suppose 0 = -8*a + 394 - 562. Is a at least as big as -146/7?
False
Suppose 6*w + 125 = w. Let c = w + 29. Is c equal to 4?
True
Suppose -3*z = -8*z - 10, -5*f - 1 = 3*z. Is 2/223 <= f?
True
Let l be ((-2)/4)/(3/54). Let g = -791 - -790. Is l at most as big as g?
True
Suppose -4 = 5*x + t + 6, -5*t = 2*x + 27. Let u = -279 - -112. Let r = u - -1838/11. Is x > r?
False
Let k = 0 + 8. Suppose -8*l = -4*l - k. Let b be 1/l - (-5)/(-10). Does 2/9 = b?
False
Let i = 127.166 - -0.434. Let h = i + -128. Let s = 3 - 2.6. Is s < h?
False
Let p = 64 - 61. Suppose -2*f - 3*f + 30 = -3*g, 20 = -4*g. Suppose y - 7 = f*z, -2*y = -p*z + 4*z + 14. Which is bigger: z or -2?
-2
Let d be 34/(-10) + 12/18. Let c = d + 13/3. Let b(h) = 3*h + 18. Let t be b(-5). Is t > c?
True
Let f = -97 + 62. Let g = f + 33. Which is smaller: g or 0.05?
g
Let s be (-7*(-8)/140)/(1/65). Which is greater: s or 25?
s
Let f be (0/(-2))/(0 + 1). Let s = -23 - -22.97. Let r = s + -0.05. Which is bigger: r or f?
f
Let x(z) = -204*z**3 - 4*z**2 + 2*z + 3. Let c be x(1). Is c smaller than -201?
True
Let u = -2/607 - 1723/29743. Are u and 0 equal?
False
Let x be 1/((-45)/(-9) - (594/12)/9). Let i = 3 + -4. Let j be 1 + i + (-5)/3. Which is smaller: j or x?
x
Let q(k) = 2*k**2 - k. Let y be q(1). Let s = 23232/7 - 3317. Which is bigger: y or s?
s
Let z = 113829542203658/8285805 - 3915296716/285. Let t = z + -864/881. Let b = 124/9 - t. Is 0.1 at most as big as b?
True
Let v(l) = -1 + 2*l + l**2 + 0 - 2. Let k be v(-3). Suppose -q + 3*q = -5*g - 28, k = -2*g - 8. Is q at most -4?
True
Suppose 0 = 111*g - 112*g - 39. Which is smaller: -38 or g?
g
Suppose -3*y + 28 = -38. Let f = y + -18. Suppose -3*p + 17 - 5 = 0. Are f and p nonequal?
False
Let a = 353 + -357. Let y be (9 - -3)/(12/(-16)). Which is greater: a or y?
a
Let n be ((-6)/(-8))/((-1)/4). Let v be (n + 3)*-1 - 2 - 97. Is v at most as big as -99?
True
Let l = 3 + -4. Let v(f) = -8*f. Let y be v(l). Let x be (-4)/y - (-18)/(-4). Is x less than or equal to -6?
False
Let t = -24 - -24. Let z be (t - -4)/((-26)/(-65)). Let k be (-4 - -1 - -1)/(-5). Which is bigger: k or z?
z
Let k be 10381/(-168) + 2/16. Let f = -61 - k. Which is bigger: 2/27 or f?
f
Let m be (4 - -1)*(-351)/1170. Which is greater: 2/21 or m?
2/21
Suppose 0 = -3*i - k + 4, -2*i = -0*i - 2*k. Let h be 7 + (-3)/(9/(-6)). Let l be (-3 + 4)/h + 0. Is i < l?
False
Let u be (-1 - 0 - 1)/2. Let n = -7.1 + -21.9. Let h = 28.94 + n. Is h at least as big as u?
True
Let s(a) = 2*a**2 - 26*a + 59. Let d be s(10). Do d and -2/47 have the same value?
False
Let w = -0.136 + 0.177. Is -2 less than w?
True
Let w = 0.0944 - 0.0844. Is w at least 83?
False
Suppose p + 4*b = -8, -4*p + 0*b + 7 = 3*b. Let k be (1 - -2) + (-34)/p. Is k greater than or equal to -5?
False
Let p = 3.02 + -2.92. Is p != 0.426?
True
Let f(y) = -2*y - 33. Let b be f(9). Which is smaller: -48 or b?
b
Suppose 0 = 2*w + 58 + 64. Let p = w + 424/7. Is p <= 0?
True
Let n be 172/10*(-11)/286*-13. Which is greater: n or 1/2?
n
Let k(t) = -11*t - 189. Let n be k(-17). Which is greater: n or 1.3?
1.3
Let w = 27 + -26. Let d be ((-10)/(-150))/(w - (-2)/(-3)). Let j be (1/(-1))/(0 + 1). Which is greater: j or d?
d
Let z(f) = f**2 + 14*f + 2. Let d(s) = -5*s + 1. Let b be d(3). Let g be z(b). Suppose -2*r - 9 = -3*w, -3*r = w - 2*r + g. Which is smaller: 1/50 or w?
1/50
Suppose 14 + 22 = -6*n. Suppose 9 = b + 14. Is b < n?
False
Let z(l) = 3*l**2 + 2*l - 1. Let d(s) = s**3 - 2*s**2 + s - 1. Let i be d(2). Let x be z(i). Let h be 0 + (-68)/(0 - x). Is h >= 17?
True
Let l be -22 + 6 + (-1)/(-1). Let s be (-6)/8 - l/12. Which is smaller: -0.1 or s?
-0.1
Suppose 4 = 2*f - 2*l, 5*f - 3*l - 5 = 1. Are f and 2/469 unequal?
True
Suppose -32*k + 39 = 7*k. Which is smaller: 3/148 or k?
3/148
Let c = -29 + 110. Let i = -87 + c. Is -5 less than or equal to i?
False
Suppose 4*s - 3 - 5 = 0. Let h = 120 - 65. Let w be (-11)/h - (-1 + 0). Is w smaller than s?
True
Let j be 3/(-12) + 26/8. Suppose y + 9 = d - 0, 8 = 4*d + j*y. Suppose -6*m + m = -d. Which is smaller: m or -6/13?
-6/13
Let u = 22 - 24. Let d be u/(-3)*12/292. Which is greater: 0 or d?
d
Let z(a) = a**2 - 3*a - 16. Let c be z(5). Which is smaller: -62/9 or c?
-62/9
Let r = 13 + -8. Let y(j) = j**3 - 6*j**2 + 8*j - 8. Let k be y(r). Do 6 and k have the same value?
False
Suppose 4*t = 20, 2*g + 2*t - 20 = 7*g. Let r be g/((3/(-9))/(3/(-18))). Which is bigger: r or 1/5?
1/5
Suppose 0 = 3*o - 3*m + 1 + 11, 2*o - 4*m = -16. Let b be 2/(-5) + 39/135. Is o <= b?
False
Let p be -6*((-14)/3 + 4). Suppose 0 = 4*s - 4*y + p, 4*y - 36 = -3*s - s. Suppose -b - 6 = -2*b. Which is smaller: b or s?
s
Let u be (63/156)/(27/432). Is u less than or equal to 6?
False
Let a = -1832 + 1517. Which is smaller: -317 or a?
-317
Let m = -67.097 + 0.097. Let g = 67 + m. Is g at most as big as -1?
False
Let i(g) = g**2 + 22*g - 38. Let j be i(-28). Is 132 > j?
True
Let w be 2/(-3) + (-408)/36. Let p be 3 - 0 - w*(-2 + 5). Is p greater than 40?
False
Let v = -27.009 + 0.009. Let s = v + 27.15. Which is bigger: s or -0.1?
s
Suppose -g - 2*k + 1 = 6, -5*g = 5*k + 15. Suppose -2*s = 3*z + 14, z = 3*z + s + 9. Let q be z/(-6) - (-30)/(-18). Is g at most q?
True
Let v = 1977 - 1609. Is v smaller than 369?
True
Let z = 0.0092 + -6.0832. Let w = z - -0.074. Is 0.06 > w?
True
Let j be ((-400)/256)/(1/(-18)). Do 29 and j have different values?
True
Let k be (9/2 - 5)/((-2)/8). Suppose -5*a = -k*o + 14, 3*o = -0*o - a - 13. Let x be (13 + -4)/(14/(-4)). Which is bigger: x or o?
x
Let y(a) = -a**2 + 3*a + 120. Let p be y(13). Is p at most as big as -72/7?
False
Let q be (-786)/33 - (-66)/(-363). Let x(a) = -25*a**3 + 2*a**2 - a. Let u be x(1). Is q at most u?
True
Let k be (35/(-15)*3)/(-5) + -1. Is k at least 4/253?
True
Let b = -1619/5 - -315. Let w = b - -9. Let j = 0.3 + 4.7. Do w and j have the same value?
False
Suppose 0*z - 6*z + 42 = 0. Suppose -z*l - 15 = -4*l. Which is greater: -4 or l?
-4
Let p = 75 - 75.164. Let h = -0.136 + p. Is h < 17?
True
Let z = -0.67 - -0.97. Let n be 6 + -11 - (-284)/56. Do n and z have different values?
True
Let u = 0.5 + -0.5. Let z = 29.56 - 0.56. Which is greater: z or u?
z
Let t be (4/10)/((-666)/30). Let j = t - -341/444. Is j < 1?
True
Suppose 17 + 13 = -3*z. Let r be (-1 - -3) + (-44)/4. Is z != r?
True
Let h be 3/(-1)*-1 - -2. Suppose 8*y + 13 = h*y + u, 2*y - 10 = -4*u. Is y smaller than -5/2?
True
Suppose 15 = 2*q - 9. Suppose q*a - 20 = 7*a. Is a less than or equal to 42/