?
z
Let y = -0.20546 + -61.79454. Does 24/7 = y?
False
Let y be (117/26 + -4)*0. Is y at most as big as -5/53?
False
Suppose 2484 = -9*j + 18*j. Let i = j - 270. Suppose 2*k + k - 15 = 0. Do k and i have the same value?
False
Let t = 5870/9 + -653. Let l(s) = 6*s + 145. Let d be l(-24). Let k be 10/5*(-1)/d. Is k equal to t?
False
Let m = 2.535 - 2.6. Let v = m - -3.765. Let t = v - 2.8. Which is smaller: t or 1/5?
1/5
Let r = 71.8 + -28.8. Let j = r + -43.2. Which is greater: -106 or j?
j
Suppose -4*y - b - 6 = 37, -4*y - 3*b = 49. Let q be (-50)/135*276/y. Is q less than or equal to -0.1?
False
Suppose 4*s - 5*s - 54 = -5. Which is bigger: s or -22?
-22
Suppose -26 = 3*c + d, -259*c + 2*d = -262*c - 25. Which is smaller: -222/29 or c?
c
Let j be (-152)/(-532) + 24068/(-84189). Is j greater than 1?
False
Let f = 587 - 960. Let h = f + 371. Is 0.04 <= h?
False
Let a = 0 + 8. Suppose -a*c + 3*c = 0. Suppose 4*r + c = -4. Which is bigger: r or 4/21?
4/21
Suppose -214 = -2*u + x, 5*u - 4*u = -2*x + 102. Let n = 83466 + -83467. Which is greater: n or u?
u
Suppose 2*u + 5*t + 14 = 3*t, -3*u = 4*t + 16. Let d be 411/(-12) - 3/u. Let i = -31 - d. Is 0 >= i?
False
Let x(g) = g**2 + 33*g - 70. Let y be x(-35). Suppose 5*i - v + 109 = 0, -3*v + 4*v + 101 = -5*i. Are y and i equal?
False
Suppose 3*c - 6*c + 4*a - 38 = 0, c + 4*a + 34 = 0. Let s = c - -21. Suppose s*i + 2*o - 4 = o, -2*i = -2*o. Which is greater: -1/119 or i?
i
Let b be (-3773)/(-105) + 2/3. Let r = 36 - b. Let a = 176.56 - 176.6. Is r != a?
True
Let n = -63352/9 - -7039. Let d(a) = -a**2 - 6*a + 4. Let z be d(-6). Which is smaller: n or z?
n
Let n be (-66)/5*(-6075)/(-486). Which is bigger: -983/6 or n?
-983/6
Let l(g) = -g + 10. Let f be l(5). Suppose j = f*j + 4. Let v be (0/3)/(8 - 2). Which is bigger: j or v?
v
Suppose z - 2*p - 20 = p, 5*p = z - 30. Suppose -z*o + 6*c = c + 115, 2*c - 23 = o. Is o > -26?
True
Let c = -2778 + 80554/29. Let p be (-1 - -1)/(10 + (-16)/2). Which is greater: c or p?
p
Let j = 0.0152 - 330.0152. Let q = -77 - -76. Which is greater: q or j?
q
Suppose -33 = 20*l + 7 - 0. Which is bigger: -46/19 or l?
l
Let t(o) = 35*o + 1330. Let y be t(-38). Which is smaller: y or 16/253?
y
Let q(u) = -3*u**2 - 2*u + 53. Let r be q(5). Let o = -12 + 10. Let b be 388/(-12) - o/(-3). Which is smaller: b or r?
b
Let w = 0.067 - -99.833. Let z = w + -96. Let a = z + -3.5. Which is smaller: -4 or a?
-4
Let p(n) = 4*n - 17. Let d be p(8). Let k be 1 + 3 + d/(-5). Let h = -3431/22 + 156. Which is smaller: h or k?
h
Suppose -55*r - 16*r = -19 + 90. Which is greater: r or -3/1778?
-3/1778
Let m = -285 - -285. Let r be (-4324)/(-1328) + -3 + 1/(-4). Which is greater: m or r?
r
Let l be (438/30)/(1/(-5)). Let y = -78 - l. Let g be y/(150/12) - 2/(-5). Is g greater than or equal to 3/7?
False
Let b = 2015461 - 66523414/33. Let o be -1 + 11 + (113 - -277). Let x = b + o. Is x at least as big as 0?
False
Let j be ((-4)/6)/(98/19257). Let p be 15/(-6)*(-2)/((-40)/1046). Is p bigger than j?
True
Let b = -599.73 + 7.73. Let y = -591 - b. Is -4 bigger than y?
False
Let n(g) = -5*g**3 + 2*g + 1. Let t be n(-1). Suppose t*h - 1 = -17. Let q be (2/6)/((-10)/120). Are q and h non-equal?
False
Suppose 4 = 2*f - 2, -2*y + f - 45 = 0. Let s = 13177 - 13199. Which is bigger: s or y?
y
Let r = -1463 - -1446. Which is bigger: -1.06 or r?
-1.06
Let l be (-1)/(-1 + (-39)/2). Suppose 4*n = -253 - 59. Let d be 14/10 + n/(-30) + -3. Is l at most d?
True
Suppose 4*s - p - 54 = 0, 3*s + 37*p - 49 = 42*p. Suppose 12 = 4*x - 0. Let k = x - -10. Is s at most k?
True
Let b = 922 - 922.688. Let p = b + 0.388. Is 39 at most as big as p?
False
Let m be (-20)/5 + 1 - 4. Let b(d) = -d**2 - 9*d + 6. Let t be b(m). Suppose 0*u = 4*u - t. Which is smaller: u or 4?
4
Suppose 4*n - 769 = 3*x, -n = 2*x + x + 764. Let q = -255 - x. Is q at least -3/298?
True
Let l be 70/156 - (-2)/(-6). Let x(k) = k**3 + 10*k**2 - 57*k + 13. Let c be x(-14). Suppose -46 = 19*b - c. Is l not equal to b?
True
Let x be -1 - 72 - ((-228)/836 + (-16)/22). Which is bigger: -71 or x?
-71
Suppose 3*h + 118 = 3*a + 2*a, 0 = 2*h - 3*a + 77. Which is greater: h or -48?
h
Let u be 692/(-1038) + (24/(-9))/2. Let b = 2 + -1.96. Which is bigger: b or u?
b
Let k be (-112)/(-7658)*159/123. Let i = -3/547 - k. Does 2 = i?
False
Let v be 3/((-9)/(-78)) - (-1 - -6). Suppose v*w - 17*w - 24 = 0. Is 6 >= w?
True
Let y(j) = 62*j + 17. Let l be y(3). Let m = l + -203. Which is smaller: m or 1/71?
m
Let q = -405 - -409. Let u be (63/12 - 6)/((-9)/183). Which is smaller: q or u?
q
Let q be (-56)/(-12) + -4 - 11548/(-3). Let h be 1142/q - (-58)/(-203). Which is greater: h or 0?
h
Let u = 13714 + -10924. Which is greater: u or 2789?
u
Suppose 41 = 5*f - 374. Let m = -9 - f. Is -92 > m?
False
Let n be (12/(-16))/(66/(-16)). Let p = n - 40/99. Let w(s) = s**3 - 7*s**2 + 6*s - 1. Let m be w(6). Is m less than p?
True
Let l = -1359/23 + 59. Let b be 12*-2*(-2)/8. Suppose -1 + b = -5*r. Is l smaller than r?
False
Let w = -1339 + 2244. Are w and 904 unequal?
True
Let c = 39 + -91. Let b = 46 + c. Let l be -1*(-3 + (5 - 2)). Which is greater: l or b?
l
Suppose 0 = -2*o - 5*x + 22, -o - 20*x + 22*x - 7 = 0. Which is greater: -2/5921 or o?
o
Let q = 0.03835 + 13.96165. Which is bigger: 230 or q?
230
Let l be (-2)/129*6/(-22). Let c(r) = r**3 - 10*r**2 - 486*r + 4860. Let o be c(10). Is l at least as big as o?
True
Let i = -38.2 - -27.1. Let c = -11.04 - i. Which is bigger: 4 or c?
4
Let m(f) = 264*f + 16. Let p be m(6). Is p at most 1599?
False
Suppose -17 = -7*b + 11. Suppose c = -b*c - d - 293, 2*c = -5*d - 131. Let g = c + 52. Is g >= 2?
False
Let x = -4156 + 4343. Let o = -102 + 512/5. Is o greater than x?
False
Let d = 92.9 - 13.9. Let r = -79.5 + d. Let z = r + 0.5. Are 5/9 and z equal?
False
Let z = 1.776 + -2.14. Let v = -0.164 - z. Which is bigger: v or -1/3?
v
Let z be 3/9 + 15/9. Suppose 0 = 2*d + m - 5, 40 = 4*d - z*m - 2*m. Suppose -d*b - 50 = g, 0*g + 74 = -g + 3*b. Is -1 smaller than g?
False
Let c be -1 - (-162)/(-28)*1/(-6). Let m be (-5)/((-60)/(-9)) - (-106)/(-8). Let n = m - -14. Is n at least c?
True
Let w be (1/3)/(((-310)/28675)/(18/(-5))). Which is bigger: w or 3?
w
Suppose -17*c - 9706 - 30492 = 84*c. Which is smaller: 3 or c?
c
Let m(t) = 2*t**2 + 27*t - 364. Let i be m(-22). Which is greater: i or 115?
115
Let b(q) = -q**2 - 86*q - 1138. Let u be b(-16). Does u = 74?
False
Suppose 0 = -14*o + 15*o - 16. Let n = o - 18. Which is bigger: -3 or n?
n
Suppose 21 = 3*d + 6. Let n be 34/187*-1*(0 + d). Let p = 4.5 + -4.7. Is p smaller than n?
False
Let h be 42552/(-192) - -6 - (-3)/(-8). Do -220 and h have the same value?
False
Let q = -4047 + 4047.14. Are -0.107 and q equal?
False
Let r(z) = 328*z - 1737. Let l be r(6). Which is smaller: l or 233?
l
Let x be ((-406)/1015)/((-3352)/2). Is 1 > x?
True
Suppose -1526 = -0*n + 7*n. Let k = n + 312. Is 93 greater than k?
False
Let b = -49 + 52. Suppose -7 = -0*n - 4*n + 3*p, 2*p - 2 = -4*n. Is n <= b?
True
Let s = -38/7 + 335/63. Suppose 31*k - 36*k = -20. Suppose -5*r = -k*r - o + 2, 3*r - 6 = -3*o. Which is smaller: r or s?
s
Let t = -498 + 498. Let s be (-7)/(140/5)*t. Which is smaller: s or 13/41?
s
Let p = 148.0729 + -0.1729. Let f = 148 - p. Which is smaller: -1 or f?
-1
Let h be (42 + 2)/2*66/12. Let n = 116 - h. Is n less than -5?
False
Let r = 0.3882 - 0.40903. Which is bigger: r or -0.1?
r
Suppose 0 = 140*b + 515 - 252 + 857. Let d(f) = f**3 + 5*f**2 - f + 5. Let k be d(-5). Suppose 2*j - j = -k. Are b and j equal?
False
Let g = 5338/5725 - 22/25. Is 0 at most as big as g?
True
Let s = 19 + 0. Let x = s - 19. Suppose -61*u = -66*u + o - 17, 0 = -5*u + 4*o - 8. Which is greater: u or x?
x
Let l = 286 + -270. Let v = 10.972 + 0.028. Let i = v - 11. Which is greater: l or i?
l
Suppose -9 = 2*c + c, u + c = -5. Let o be (u/(-358))/(1/7*7). Is 1 greater than or equal to o?
True
Let s = -47.8952 - 1.1048. Is s at least as big as -5?
False
Let h be (-15)/(-4)*285520/(-1245). Is -860 at least h?
True
Let d = -0.676 + -0.014. Let s = d - 4.21. Which is bigger: s or -1?
-1
Let h = -1953 + 3289. Is -2 at least as big as h?
False
Let a be (-36)/(-4)*(6/10 + (-1634)/(-285)). Which is greater: 341/6 or a?
a
Su