30?
False
Suppose 3*p + 93 = 4*p - z, -2*p = -4*z - 184. Is 94 at least as big as p?
True
Suppose -w + 5 = -31. Let i = w - 32. Suppose l - 3 = -5*x - i, l = 3*x + 15. Is 9 smaller than l?
False
Suppose 3*m + 4*a - 40 = 54, m = a + 29. Let y be -6*(m/(-9) - 0). Let i be y/(-30) - (-5)/12. Is 0 greater than or equal to i?
True
Let n(w) = -w**3 + 15*w**2 - 11*w - 6. Let j be n(14). Let g = j - 52. Let h = -17 - g. Which is greater: 3/11 or h?
3/11
Suppose 0 = -10*k - 196 - 24. Are -20 and k equal?
False
Let k = 297/208 + -21/13. Let c = k + -5/16. Let n = -45 + 44. Which is smaller: n or c?
n
Suppose 8*h - 32 = 4*h. Suppose 0 = -s - 4*q - 5, 5*s - q - 3*q = 47. Is h at most as big as s?
False
Let c = -72.82 - -86. Let k = c - 0.18. Is -0.3 equal to k?
False
Let w(i) = 2*i**2 + 83*i - 129. Let k be w(-43). Let c = 735 - 28667/39. Which is greater: k or c?
k
Let c = -1662 + 1661.9. Is c greater than -0.5?
True
Let m = -1003 + 1002.92. Is -2.7 < m?
True
Let w = 60 - 34. Suppose -4*n - 5*j = -29, 6*n - n = 4*j + w. Which is smaller: n or 7?
n
Let y be 0 - (1 + -4)/3. Let n = 7249/14 + -518. Is n <= y?
True
Let b = 12 + -49. Let f = 37 + b. Let i be (-4)/22*(-1)/(-2). Is f at most as big as i?
False
Let t = -12.93 + 555.93. Which is smaller: -0.1 or t?
-0.1
Suppose 61*d = 57*d + 16. Is d at most 4?
True
Let y be 171050/34 - (-2)/17. Suppose 6*f - 2*f - 3*a = y, -3*a = -9. Let v be 4/14 + (-332)/f. Which is bigger: -1 or v?
v
Suppose 0 = -14*g - 17*g - 651. Is -18 not equal to g?
True
Suppose 2*l - 273 = -5*f + 2524, -4*l = -2*f + 1138. Let r = 6179/11 - f. Is 0.1 greater than or equal to r?
False
Let w = -39965529/151 - -264669. Let p = -43787/1208 + w. Let u = 18085/456 + p. Which is greater: -1 or u?
u
Suppose -3*x + 2*g + 3 + 7 = 0, -5*x = -2*g - 22. Let i be (3/9)/(x/36). Let f be ((-15)/(-75))/(i/(-5)). Is f > 3?
False
Let w(b) = -8*b - 25. Let l be (2/(-6)*2)/(1/6). Let a be w(l). Do 15/2 and a have different values?
True
Suppose -5*i = -3*p - 7, -4*i = -5*p + 2*p - 11. Let q be (30/15)/(1 + p/11). Which is bigger: q or 12?
12
Let v(h) = -2*h**3 + 4*h**2 - 2*h + 7. Let q be v(3). Which is smaller: q or 2?
q
Let s = 149 - 148. Is 3/551 < s?
True
Suppose 19*c - 20*c = -7. Let h be c - (2 - (2 + 0)). Suppose -h = -0*f + 5*f - 4*v, 3*f + v - 6 = 0. Is f > 1/17?
True
Let t = -24 - -28. Let r be t/(-80)*3/3. Is r at least 1?
False
Let a = -122 - -122. Let o = 48 + -32. Let b = 14.9 - o. Is a less than or equal to b?
False
Let y = -270 - -269. Which is greater: y or 9/49?
9/49
Let f = -635/9 + 233707/3312. Which is smaller: f or -1?
-1
Let f(k) = k**3 - 28*k**2 + 53*k - 22. Let m be f(26). Which is bigger: 14 or m?
14
Let w = -0.7 + 1. Suppose 15 = -5*p, m - p = 2*p + 16. Let c be 8/(-5)*m/14. Is c greater than or equal to w?
False
Suppose -13*u - 55 = 257. Which is bigger: -22 or u?
-22
Let b be 14 + 0 + 1/(-1). Let p = b + -13. Let g(k) = 2*k + 7. Let i be g(p). Are i and 7 equal?
True
Let z = 9029167/42094 + -2/21047. Which is greater: z or 214?
z
Let k = -46 + 38. Let t be 48/(-36)*30/k. Let n be (-103)/t + 12/(-30). Is -22 less than or equal to n?
True
Let n = 1 - 0. Let w = 22 - 15. Suppose 10*s - w*s = 18. Do n and s have the same value?
False
Suppose -4*g - 17 + 13 = 0. Let a be ((-10)/120)/((-2)/(-4)). Which is greater: g or a?
a
Let g = -77 + 93. Let q = g + -19. Which is smaller: -1/4 or q?
q
Let f = 19 - 16. Let i be (15/(-6))/((-8)/16). Let u be (2 + i/(-2))*-1. Do u and f have the same value?
False
Let g = 0.17 - -59.83. Let p = -53 + g. Is p <= -1/3?
False
Let o be 2/(0 - (-12)/10). Let c = 0.212 - 0.312. Is o at most c?
False
Let f = -3425/9 - -381. Let y(w) = 155*w + 776. Let g be y(-5). Is g at least as big as f?
True
Let u = -65 - -79. Suppose u*j + 187 = 3*j. Do j and -17 have the same value?
True
Let l = -23.92 - 0.08. Let d = -23.8 - l. Which is smaller: -7 or d?
-7
Suppose 3*q - 2 = -k - 3, -4 = q + 4*k. Suppose -h + q*h = -3*d - 3, 35 = 5*h + 5*d. Let i be -4 - ((-27)/9 - 7). Is h at least i?
True
Let d = 22.8 - 3. Let q = d - 20. Suppose l - 2 + 4 = 0. Is q < l?
False
Let u = 417 - 420. Is u smaller than -3?
False
Suppose -8 + 9 = n. Suppose 0 = 4*i - 5*j - 5, -2*i + 3*j = 2*j - n. Let b = -9 - -4. Which is bigger: i or b?
i
Suppose -10 = -5*i, -a - 12 = -5*i - 1. Which is bigger: 9/119 or a?
9/119
Let v be (-57)/(-24) + 15/(-40). Which is smaller: v or -37?
-37
Let g be (6 + 9 + -1)/((-6)/(-2)). Is g at most 0?
False
Let i be 2/(-5)*(-10)/(-154). Let a = 401/616 + i. Let l = 700 - 1401/2. Are l and a unequal?
True
Let l = 1094039/15 + -72978. Let f = -2465 + 7267/3. Let m = f - l. Which is bigger: 0 or m?
0
Let p be ((-255)/(-425))/(8/(-6) - -1). Is p at most -2?
False
Suppose -40*g + 106 = 13*g. Let y = -17928/11 + 1632. Which is greater: g or y?
y
Let o = -28.6 + 28.4. Let p be 1374/4*2/(-12). Let d = p + 58. Are d and o nonequal?
True
Suppose -55*q - 18 = -53*q. Let r be ((-2)/(-3))/(12/54). Let u(j) = j**2 - 7*j + 2. Let y be u(r). Which is bigger: y or q?
q
Let z = -0.9 - -2.6. Let g = 2.3 - 3. Let k = g + z. Are 10 and k nonequal?
True
Let i be (18 - (0 + 13)) + -3*1. Suppose -m = -1, 2*l + 0*m - 4*m - 4 = 0. Are l and i nonequal?
True
Let b be ((-4)/6 - 0)*-3. Suppose -3 = b*h + h. Let t = 192 + -198. Is h at most t?
False
Suppose 0 = 4*l + 4*k - 164, -97 = -5*l - k + 116. Suppose -3*x - 34 + l = 0. Which is smaller: x or 0?
0
Let d = -392 + 390.5. Which is smaller: d or 0?
d
Suppose -31560 = -10*l - 14*l. Is l at least as big as 1/4?
True
Let p = 16 + -17. Let d = 17 - 17.12. Let b = d + 0.12. Does b = p?
False
Let l = 12769 + -5222517/409. Is l less than or equal to -1?
False
Suppose 0*q = -2*q + 130. Let b = q - 38. Let f = b + -38. Which is smaller: -10 or f?
f
Let o(b) = -4*b - 5. Let i be o(-3). Let p = i - -13. Suppose 3*y - y = p. Is 10 <= y?
True
Let q be (-18444)/145 - (-1)/10*2. Is q bigger than -130?
True
Let f be 60/110 + (-992)/1496. Do f and -4/43 have the same value?
False
Suppose 5*i + 15 = n + 45, -n - 5 = 0. Let u(v) = 4*v - 6. Let x be u(i). Let q(z) = z**3 - 14*z**2 + 2*z - 20. Let b be q(x). Is b at most as big as 8?
True
Let o be 50/15*(84/(-10) + 9). Let l be 579/4*64/10. Let y = l + -923. Does o = y?
False
Let b be (-3)/(-2)*48/(-36). Let w be b + 14/6 - 8/(-12). Does -5/12 = w?
False
Let d be (-26)/(-234)*(0 + -1). Which is greater: 10/7 or d?
10/7
Let a be 0/(((-8)/(-2))/2). Suppose 4*w - 2*w - 6 = a. Let p be -1*(12/w - -8). Is -11 greater than p?
True
Let x = -9589 + 3883543/405. Do -1/4 and x have different values?
True
Suppose 4*v - 5*v + 4 = 0. Suppose 1 - v = 3*m. Let u be ((-2)/(-10)*m)/(-1). Which is smaller: 0 or u?
0
Let d be 168/938*2/(-3). Which is smaller: -1 or d?
-1
Let d = -118.49 + 116. Do d and 1/2 have the same value?
False
Suppose 3*i - 2*d = 31, 0*i - 2*i - 4*d + 10 = 0. Let k be 12/((108/(-32))/i). Let t = 129/4 + k. Are t and -1 equal?
False
Let y = -0.103 + 2.063. Let b = y - 1.8. Is -0.2 > b?
False
Let w be (-3)/(4/(-1) - -3). Suppose w*d + 0*d + 17 = -5*m, 4*m + 16 = -3*d. Which is bigger: m or -4/7?
-4/7
Let x be 70/20*17*(2 + 0). Is 119 > x?
False
Let q be ((-2)/12)/(15/18)*0. Let h be 1 - 1*-2 - 2. Are q and h equal?
False
Let c = -174 - -172. Is -35/11 less than c?
True
Let a = -53.3 + 30. Let u = a - -23. Is -3 less than u?
True
Suppose -5*v + 2*v = -4*m + 528, -2*m = -5*v - 264. Let s = m - 96. Which is bigger: 34 or s?
s
Suppose -70*h = -65*h - 10. Suppose 0 = q - k - 2, 2*q + 2*k - k = -h. Which is bigger: q or 1/23?
1/23
Let q(r) = 5*r - 415. Let t be q(67). Is t greater than -76?
False
Let i = -0.01 - 0.07. Let z = i + 0.47. Let m = z - 0.29. Which is bigger: 25 or m?
25
Suppose -1849 = 94*g - 157. Which is smaller: g or -14?
g
Let a = -115 - -463/4. Which is smaller: 2 or a?
a
Suppose 29*u - 26*u = -300. Let g = 98 + u. Which is smaller: g or -0.07?
g
Let r be (4 - 10) + 24/16. Is r at least 5/4?
False
Suppose c - 6 = 4*i - 5, -4*i = -5*c + 21. Suppose -17 - 6 = k + 5*u, c*k + 3*u + 5 = 0. Let f = 65/8 - 383/56. Which is bigger: k or f?
k
Suppose 0 = 2*u - 3*z - 12, -3*u = 4*z - 26 - 9. Suppose u*v = 2*v - 21. Which is smaller: 9 or v?
v
Let p = 493301/9 + -54883. Let g = p + 72. Which is greater: -26 or g?
g
Let q be (-153)/(-255) - ((-3)/12 - 12/80)