or -1/2?
-1/2
Suppose 0 = 5*p - 6 - 4. Suppose 3*u = p*u - 1. Which is smaller: u or 2/39?
u
Let a = 2012/226369 - 3/1583. Are 0 and a equal?
False
Let g = 17855/561 - 30/187. Which is smaller: 32 or g?
g
Let r be (9 + -1)/(32/(-112)). Let b = r + 10. Are b and -18 unequal?
False
Let o = 94/561 + 265814/7293. Which is greater: o or 38?
38
Let l = -82.6 + 83. Is 6/7 < l?
False
Let x = -1/1427 + -6919/308232. Is 1 > x?
True
Let w(r) = -5*r**2 + 8*r + 3. Let i be w(-6). Let t = -225 + i. Let l be ((-9)/t)/(2/5). Is l < 0?
False
Suppose 3*j + 6 = 2*s - 10, -2*j + 4*s - 24 = 0. Suppose 5*i - 5*m + 3*m - 69 = 0, -2*i = -5*m - 36. Let v = 11 - i. Are j and v non-equal?
False
Suppose -3*z = 4*h + 7, 28 = 2*z - 3*h + 10. Suppose -3*p = -z*b - 3186, 3*b - 2120 = 5*b - p. Let u = 58188/55 + b. Which is smaller: u or -1?
-1
Let s be (-9 + (-147)/(-6))*-2. Let c = 105 - 72. Let p = s + c. Which is smaller: 3/5 or p?
3/5
Let u be ((-3)/5)/((-23)/(-5)). Let r = 63/46 - u. Do -5 and r have the same value?
False
Suppose 4*w - 3*g - 17 = 12, 19 = 3*w - 5*g. Let z(m) = 3*m + 15. Let l be z(w). Is 39 > l?
False
Let t(v) = -v**3 + 2*v**2 + 4*v + 5. Let j be t(4). Let z = 2 - j. Suppose 2*q - 26 = -2. Is q != z?
True
Let g = -1 - -1. Suppose o + 93 = 3*v - 2*o, 5*o + 20 = 0. Let t be (-3)/v + 10*(-44)/(-72). Does t = g?
False
Let d(i) = 76*i - 456. Let q be d(6). Suppose 162 = 2*s + 4*j, -16 = -3*j - 4. Let a = 217/3 - s. Is q at least a?
True
Let l = -375 + 373. Which is bigger: l or -0.105?
-0.105
Let w be -6 + 15 - 3724/44. Which is smaller: w or -75?
w
Let r = -26/67 - -119/134. Is -131 <= r?
True
Let h = 6 - 0. Let z = 8.55 - 8.45. Which is smaller: z or h?
z
Suppose y = -4*p - 0*p + 22, p - 3*y = 12. Let m = -45 - -47. Let s be 3 + (m - (1 - 1)). Is s at most p?
True
Suppose -39*n + 2627 - 92 = 0. Is 55 at most as big as n?
True
Let k = -691 + 690.97. Which is bigger: k or 0.12?
0.12
Suppose 27 = 2*g - 19. Suppose 4*t - g = 3*v - 20, -v - 1 = -5*t. Let p(h) = h + 1. Let r be p(3). Is t greater than r?
False
Let m be (-5 - -3)/((-1)/(-6)). Let q be (-4)/m + (-39)/63. Suppose 2*r = -0*r. Which is smaller: r or q?
q
Let n(z) = -z**3 + 22*z**2 - 46*z - 16. Let g be n(19). Which is bigger: g or 194?
194
Let o = 1010 + -1015. Which is smaller: 16 or o?
o
Suppose 0 = -9*m + 8*m - 1. Let b(p) = 19*p - 5*p - 1 - 11*p + p**2. Let y be b(-3). Is m less than or equal to y?
True
Let g = 29.332 - 0.232. Let b = g + -29. Is -43 smaller than b?
True
Let m be 518/(-256) - (-20 + 21 + -3). Is m at most -1?
False
Let v be (2 + (-7)/(-3))*(-7 + 4). Which is greater: -3 or v?
-3
Let x be 95 + -7 + 1/(-1). Let p = 28058/5 + -5699. Let k = x + p. Is 0 greater than k?
True
Let i be 4/(12/(-15))*-100. Let a be i/(-35) - -6 - (-2)/7. Which is bigger: -10 or a?
a
Let j = -10.03 + 0.13. Let t = j + 1.9. Let c = t - -8.1. Which is greater: 2 or c?
2
Let g be -3 + 8 + -32*2. Is -1 greater than g?
True
Let l(y) = y**2 + 2*y - 4. Suppose i = -p + 4, 2*p - 14 = -7*i + 2*i. Let w be -3 + p - -4 - 6. Let s be l(w). Which is smaller: s or 2/37?
s
Suppose 6*z - 5*z + 16 = 0. Let d be 4/z + 87/372. Which is smaller: 0 or d?
d
Suppose 0 = z + 2 - 1, -3*r = -4*z + 2. Let b be (3 + r)/(2 + -1). Let i be (18/675)/((-1)/(-5)). Which is smaller: i or b?
i
Let b = -2640/13 - -37727/182. Let j = -61/7 + b. Is j > -6?
True
Let b = -52.2 - -48.2. Is 61/2 at most b?
False
Let u(v) = -v**2 + 5*v - 6. Let i be u(7). Let w be (-2)/(4/(-10)*25/i). Do w and -2 have the same value?
False
Suppose -4*i = -7*i, -2*f = -5*i + 32. Let x be (-2 - 44/f)/((-2)/(-12)). Does x = 4?
False
Let o be (1 + 715/(-22))*(-30)/261. Is o equal to 3?
False
Let n(b) = -2*b + 19. Let m = 46 - 37. Let u be n(m). Which is smaller: u or -2?
-2
Let j be (-3 + 64/20)/(6/50). Let u = 66 - 65. Which is greater: u or j?
j
Suppose 0 = 42*p - 38*p - 5*i + 235, 3*i - 115 = 2*p. Are -65 and p equal?
True
Let o = 191.3 + -208.3. Let x = 0.23 - -0.07. Is x less than o?
False
Suppose 5*i + 15 = 5*z, 2*z - 4*i = 7 + 1. Let f be 8/(-45) + z/(-9). Let y = 2 - 1. Which is smaller: f or y?
f
Let q = -25.928 + 26. Let s = -2.072 + q. Do 4 and s have the same value?
False
Suppose -2*n - 9 - 1 = 0. Let i = -27 - -22. Is i > n?
False
Let t(m) = m**3 - m**2 + m. Let b(h) = -3*h**3 + 12*h**2 - 4. Let o(a) = b(a) + 2*t(a). Let p be o(10). Let u = p - 8. Is u > 8?
False
Let r = -0.02 + -5.98. Let g = r + -33. Let a = -39.3 - g. Which is greater: -2/15 or a?
-2/15
Let u = -0.274 + 0.154. Is u at least as big as 1/9?
False
Let r be (3 - 3) + -1 - -2. Let q be -69 + r - (-16 - -12). Are q and -64 equal?
True
Suppose 0 = h - 6*h + 60. Let a = -11 + h. Let m = 21 - 41/2. Is a bigger than m?
True
Let x = 109382/113 + -968. Is x greater than 0?
False
Let s = -16 - -16.02. Let k = -8.02 + s. Let l = -10 - k. Is l at most as big as -1?
True
Let s be (-8)/30 + 158/(-395). Is s at least as big as -199?
True
Suppose -25 = -3*i + 20. Suppose 33 + i = 2*a. Suppose m = 1 - 2, -3*b - 3*m = a. Is -7 >= b?
True
Let b = -41 + 45. Suppose 6*k + g + 13 = 3*k, 2*g = b. Which is bigger: k or -9?
k
Suppose 0 = -5*n - 65. Let m be (n - -16)/(10/8). Is m != 1?
True
Let s = -463274/11 - -42080. Let a(c) = -c**2 - 13*c + 14. Let y be a(-11). Let h = y + s. Is -1 at most as big as h?
True
Let n = 258 - 259. Do 8/49 and n have the same value?
False
Let r = 348/7 - 887407/17850. Which is greater: r or 0?
0
Let c = 251 + -177. Let z = -116 + c. Let i be 40/z + (-4)/(-14). Which is greater: i or 3?
3
Let f be 1*(3 + 125/(-105)). Let l = -4/35 + -36/35. Let b = l + f. Which is bigger: 0.7 or b?
0.7
Let i be (-4 - -5)*(2 - 1). Which is smaller: i or -0.009?
-0.009
Let p = -12878/2757 - -4/919. Which is smaller: p or -4?
p
Let q = -343/6 - -57. Let d = q - -43/366. Let p = -137/305 - d. Is p < -1?
False
Suppose 5*l - g = -10, -5*l + 3*g - 16 = 4. Let t = -0.12 + 0.1. Is t at most as big as l?
False
Let c = -3030 + 3029.94. Suppose -6 = -5*n - 1. Let v = n - 1. Which is smaller: v or c?
c
Suppose 21 = g + 5*p + 59, -3*p - 36 = g. Let s = -25 - g. Suppose k + 1 = s. Is k at most -0.3?
False
Let s be (-90)/(-15) + 20/(-9) + -4. Let j = 1 + 0. Which is smaller: s or j?
s
Let d = 11 + -5. Let i be (-48)/(-20) - (-4 + 132/30). Which is smaller: d or i?
i
Let w(m) = 2 + 1 - 2 - 2*m + 2*m**2 - m**3. Let d be (-9)/(-9) + (-3 - -3). Let n be w(d). Which is smaller: n or -2/131?
-2/131
Suppose 10*z - 8*z = -360. Is z > -179?
False
Let i = 152934/35 + -4370. Which is smaller: -1 or i?
-1
Suppose 9*x - x + 1472 = 0. Which is smaller: -1 or x?
x
Let x be 2 - (-1369)/15 - 14/21. Let j(g) = 30*g - 3. Let l be j(-3). Let d = x + l. Which is smaller: 1 or d?
d
Let n = -73.3 - -77.2. Is n >= -0.15?
True
Let i be (-1 - 2)/(((-19995)/(-720))/(-43)). Are i and 4 unequal?
True
Let z(o) = -o - 1. Let n be 18/(-22) - 4/22. Let v be z(n). Let c be (-1)/2 - 10/(-16). Which is smaller: v or c?
v
Let a be 6/24 + (-1891)/(-4). Let r = a - 13719/29. Which is greater: 1 or r?
1
Let s = -23/72 + -1/18. Let r(l) = 2*l + 9. Let z be r(-4). Let h(d) = -d**2 + 2*d - 2. Let t be h(z). Is s != t?
True
Let i be (2/6)/(2/12). Let o = 78 - 76. Is o at least i?
True
Let x = 9 - 7.1. Let y = 1 - x. Let b = y + 1.1. Is b less than or equal to -1?
False
Let a = 1168 - 1167.8. Is 1/397 at least a?
False
Suppose 2*d + 3*d + 2*a - 68 = 0, -d + 3*a = 0. Let m = d - 7. Let s be (-2)/m*(6 - 11). Is -1 < s?
True
Let o(f) = -f**2 - 10*f + 1. Let w = 50 + -60. Let p be o(w). Is 1/115 less than or equal to p?
True
Let z be (-2)/(-120)*-8 - (-14358)/(-315). Which is greater: -45 or z?
-45
Let y = -1 - 0. Let d be (3 - (-766)/(-250))*(-14)/56. Which is greater: y or d?
d
Let y be (-6)/(-16)*(-4530)/(-45). Let j = 38 - y. Is j <= -0.2?
False
Suppose -452 = -5*y - 482. Is y != 96?
True
Let b(n) = 13*n - 6*n**3 + 13*n**2 + 5*n**3 + 15 - 14*n - 3. Let r be b(13). Which is smaller: 2/13 or r?
r
Let i = -11 - -10. Let c = -6 - i. Suppose 0 = -5*y - 13 - 17. Which is greater: y or c?
c
Let o(d) = d**2 + 3*d + 2. Let p be o(-3). Let u be ((-1)/(-2))/(-1)*p. Let m be -4 + 0 + (-2)/u. Is m bigger than -3?
True
Suppose -2*q = -0*q + x - 6, -5*x = 3*q - 16. Let a be (-28)/9*-3*12/40. Is q < a?
True
Let h = -0.2 - -0.1. Let p = 1282 - 1287. Is p >= h?
False
Let n