?
False
Let y be (-8)/(-36)*-6*(1 - -2). Let h be (3/(-2))/(y - 38/(-8)). Which is greater: h or -18/7?
h
Suppose 35 = -4*v - z, -15*v + 3*z = -14*v + 25. Do v and -0.49 have the same value?
False
Let l be 31/(-4) + (-24)/(-32). Which is greater: -12 or l?
l
Let r = 38 - 32. Suppose 28 = 3*p + p. Let s = p - r. Do s and 3 have the same value?
False
Let j be (-2)/(-14) + 90/(-42). Let i(n) = 3*n**2 + 5*n. Let h be i(j). Suppose h*s = -s - 24. Which is bigger: -6 or s?
-6
Suppose 7*f + 56 + 21 = 0. Let x be (-2)/((-12)/(-10) + f/55). Suppose 3*v + 14 - 2 = 0. Do v and x have the same value?
False
Let d = 67 + -35. Let n = 441 - 410. Do n and d have different values?
True
Let g(r) = -r**2 - 10*r - 9. Let h be g(-9). Let y be ((-20)/(-6))/((-56)/84). Which is bigger: h or y?
h
Suppose 4*z + 306 = 2*y, 5 = z + 5*y + 109. Let l = z + 78. Is -2/25 bigger than l?
True
Suppose -13*y + 10 = 62. Let z be (-2)/y - 1/(-46). Which is smaller: z or 0?
0
Suppose -2*p = -3*t + 34, -3*p = 11 - 5. Suppose -5*y = -t*y + 255. Which is bigger: 52 or y?
52
Let i = -79 - -236/3. Let w = -1 + 8. Suppose 4*c = w*c. Which is bigger: i or c?
c
Let z = 6 + -6.1. Let f = -10 - -12. Let j = -4 - f. Is j smaller than z?
True
Suppose 5*o = 4*a + 4, -2*a = 3*o + 3 - 1. Let n = -249 + 3235/13. Which is smaller: a or n?
a
Let b = 28 + -23. Suppose -11*o + b*o - 18 = 0. Let t = -2 + -2. Which is greater: t or o?
o
Let t = 68544/415 + -124/1245. Let a = t - 165. Are 0 and a unequal?
True
Suppose -137 = -4*z - r, -2*r - 79 = -5*z + 76. Is z > 33?
False
Suppose 5 = a + 4*a. Let q = -927 - -63962/69. Which is bigger: q or a?
a
Suppose -m = -v + 18, -m - 4*v + 1 = -6. Let z = -144 + 158. Let i = m + z. Is i less than -1?
False
Suppose c + 1255 = -4*r, -557 = 5*c + 4*r + 5718. Which is bigger: c or -1256?
c
Let g be (-2 + 3)/(2/(-5334)). Let o be (g/81)/(6/18). Let q = o - -99. Is q equal to 0?
False
Let b(i) = -3*i**2 - 11*i + 5. Let q be b(-4). Let o = 398 - 9157/23. Is q greater than o?
True
Suppose 2*k + r - 5*r - 18 = 0, -5*k - 3*r = 7. Let c = 243 - 5099/21. Does c = k?
False
Suppose -y = 2 - 6. Suppose s - y*u = 1, -3*u - 2*u = -s. Is s greater than or equal to 33/7?
True
Let u = 25 + -89/3. Which is greater: -6 or u?
u
Suppose -3*r = 5*o - 25 - 17, -3*o = 4*r - 23. Which is smaller: o or 2?
2
Let y(d) = -3*d**2 + 62*d + 45. Let h be y(26). Is -369 at least h?
True
Suppose 3*a - 1 = 4*n + 19, 0 = 4*a. Let z be (-4)/(-6) + (1185/18)/n. Which is smaller: z or -12?
z
Let a = -17580 - -3480847/198. Are 2/7 and a non-equal?
True
Suppose -2*o + d - 13 = -12, -4*o - 4*d + 28 = 0. Suppose 4*l + 16 = 0, -4*g + l + o*l + 20 = 0. Let i = 102/7 - 577/42. Which is bigger: i or g?
g
Let d = 1544 + -16975/11. Is d at least -1.7?
True
Let w be -6 - (-12 - 20/(-3)). Which is smaller: w or 659?
w
Let o be (2 - -129)/(0 - -1). Let s = 191 - o. Let j be (-80)/s*6/4. Which is smaller: 0.1 or j?
j
Let p be -324 + 3 + 13 + -8. Which is smaller: -317 or p?
-317
Let z = 497 - 487. Which is bigger: z or 67/6?
67/6
Let f be (-7704)/448 + 18/84*-2. Which is smaller: -19 or f?
-19
Let g be (21 + 2)*(-10 + 11). Which is greater: g or 70/3?
70/3
Suppose 4*n + 28 = 3*w, -4 - 36 = -5*w + 5*n. Let o be 70/4 + w/8. Is 19 at most as big as o?
False
Suppose -21 = -4*m + 5*c, c = 2*m - 3 - 6. Let b = m - 8. Let v be (b/(-6))/((-52)/(-12)). Which is smaller: 1 or v?
v
Let z(o) = 38*o - 90. Let s be z(18). Which is smaller: s or 0.1?
0.1
Suppose -5 = -3*c + w, -3*w - 3 - 12 = 2*c. Is c >= 27/19?
False
Let h = -51 - -54. Suppose -f + 4 = h*f. Which is smaller: 2/67 or f?
2/67
Let f = 54199/7 + -7769. Let m = 3142/119 + f. Suppose y = -y. Is m at least as big as y?
True
Let d be (-264)/33 - (-11 - -2). Do -1/687 and d have the same value?
False
Let t = -1492 + 1492. Let l = 1097 + -36197/33. Is l >= t?
True
Suppose 2*p + 27 = -5*x + 18, -2*p - 4*x - 8 = 0. Is -8/3 less than p?
True
Suppose -5 = 8*b - 3*b. Let i be b*(2 + -2 + -8). Let r = 1 - -6. Which is greater: i or r?
i
Let w(z) = -61*z - 438. Let d be w(-8). Does 50 = d?
True
Suppose 7*d = d - 210. Let b be (-17)/d + (-16)/(-20). Which is smaller: b or 1?
1
Let g be 12/21 + (-5761)/49. Let b = 116 + g. Which is smaller: 1/55 or b?
b
Let b be 9 - 4 - 2 - (-48)/(-17). Is b not equal to -1/5?
True
Let x = -0.74 - 31.26. Let j = x + 11. Let d = -18 - j. Is 7 less than or equal to d?
False
Let b = -476.07 + 476. Let f = -25 + 31. Which is smaller: f or b?
b
Let y = 4.47 + 0.53. Is y at most 6?
True
Let t be (2/3)/(12 - 16). Is t less than or equal to 1?
True
Let p = -0.6 + 1. Let c = -6.917 - -0.917. Which is greater: p or c?
p
Let d = 16/167 - 475/10187. Is d > -1?
True
Let j be (102/(-16))/(9/4). Let g = j - -379/138. Let y be 3/(3 - (3 + -3)). Which is greater: y or g?
y
Suppose -5*d - 9 = -19. Suppose -16 = -5*w + 4*p, 7 = -d*w - 5*p - 13. Is -15/11 greater than w?
False
Suppose -5*b - 2*f - 89 = 0, 2*b = 3*b + f + 19. Let n(m) = -m**2 - 18*m - 12. Let j be n(b). Let c be -1 - (-1 - (4 - j)). Is c equal to -3?
False
Suppose 5*j - 3*v - 7 = -4, 4*v - 28 = -4*j. Suppose 3*z + 62 = -n, j*z + 2*z + 4*n = -115. Is -21 at least as big as z?
False
Let n = 603 + -693. Which is bigger: -0.04 or n?
-0.04
Suppose -21*r - 2743 = 4082. Is r equal to -1623/5?
False
Let f = 4966/3 + -1656. Which is greater: 182.1 or f?
182.1
Let l be (-16)/(-3)*(-36)/16. Is -11 bigger than l?
True
Let q = -199 - -201.7. Is q at least 1/4?
True
Suppose 0 = 155*h - 141*h. Which is smaller: h or 19.2?
h
Suppose 0 = -5*u - 89 + 89. Does -2/491 = u?
False
Let l be -3*8/4 + 2 + -1. Let c be 5/(25/l) - (32 - 0). Is c less than -32?
True
Suppose 4*v = -3*y + 378, 3*y = -0*y - 5*v + 381. Is y <= 121?
False
Let p(t) = t - 1. Let v be p(2). Let g = -44416/53 + 838. Is v bigger than g?
True
Suppose 27 = -d - 17. Let b = 4746 - 4745.9. Is b greater than d?
True
Suppose -16*c + 14*c = 3*r - 1, -3*c + 5*r = 27. Are c and -6/35 unequal?
True
Suppose 2*z = 5*z - 9. Let d(k) = k + 2. Let w be d(z). Suppose w*a = -0*a - 15. Which is smaller: a or -18/5?
-18/5
Let c = -2 + 2. Let u = 0.1 + c. Let y = 7 - 10. Which is smaller: u or y?
y
Suppose 40*w + 67 = 27. Which is bigger: 15/52 or w?
15/52
Let q = -41 - -44. Suppose -q*f + 2*p = -1, 5*p - 2 = 4*f - 1. Is f less than 19?
True
Suppose 0 = -4*c - 12, -3*p - 2 = 3*c + 4. Let z = -10 + 13. Which is smaller: p or z?
p
Let v be 1/5*10/102. Let u = v - 7/51. Suppose -3*t + 3*l - 15 = 2*t, -4*l + 20 = -5*t. Is t less than u?
False
Suppose 15*o - 10*o = 25. Suppose -i + 0*i = -o*r, 3*r + 5*i = 0. Are 1/16 and r nonequal?
True
Let a(x) = -x**3 - 5*x**2 - 6*x - 6. Let d be a(-4). Suppose -4*y - 12 = -d*i, -3 = -5*y + 2*y. Is i greater than 3?
True
Let m = -72 - -42. Let j(o) = o**3 - 9*o**2 - 24*o - 9. Let f be j(11). Is f at least as big as m?
False
Let l = 6 + -2. Suppose -4*c = l*m - 12, -3*c + 2*c = 3*m + 1. Suppose 2*q - 10 = -4*r, c*r - 2*q + 5 = 13. Which is smaller: 12/5 or r?
r
Let u = 7 - 19. Let l be (-4)/u - 2/8. Suppose -5*q - 9 = -4. Is l > q?
True
Let o = -0.19 + 0.29. Let z = o + 3.7. Let g = z + 8.2. Which is greater: -1 or g?
g
Let z = -22/5 - -103/20. Let g = -1/6434 + -25727/57906. Is z > g?
True
Let d be 65/(-26) + 81/30. Which is smaller: 0 or d?
0
Let o be 3*-1 - (3 + -5). Suppose 4 = -4*k + 5*c, -3*c = 4*k - 6*c - 4. Which is smaller: o or k?
o
Let q = -281/2438 - -3/106. Suppose -2*v - 3*v + 5 = 0. Which is greater: v or q?
v
Let g(h) = h**2 + 2*h. Let i be g(-2). Let j = -58/1281909 - 89287163/19311959085. Let s = j + -5/393. Which is smaller: s or i?
s
Let p be (-1)/(1/104) - -3. Let m = p + 1213/12. Let y(n) = -n**3 - 11*n**2 + 10*n - 25. Let b be y(-12). Which is smaller: b or m?
b
Let n = -2.9 - -3. Suppose -6*d = -40 - 152. Which is bigger: n or d?
d
Let y = -768.9 - -769. Which is smaller: 266 or y?
y
Let g = 13 + -12. Let u be ((-240)/57)/2 + 2. Let t = u + 99/38. Which is smaller: t or g?
g
Let v = 26 + -209. Let y = v + 190.11. Let c = y + -7. Is -1/2 at least as big as c?
False
Let v(o) = 2*o**2 + 6*o + 5. Let j be v(-1). Let r be (-6)/33 - 756/(-3795). Which is greater: j or r?
j
Let x be 21/(-28) + 301/(-4). Let d be 7/x*112/21. Let o = 3/19 + d. Which is bigger: 0 or o?
0
Let o = -163 + 164. Suppose 0 = 4*u - 5*t - 86, 0*u - 15 = -