u(0). Let a be (-12)/p*2/63. Is 1 <= a?
False
Let s be 1/(-29520)*-29523 + -1*(-2 + 3). Is 1 at least as big as s?
True
Let i = -3.149 + 6.149. Which is smaller: i or 117/5?
i
Let x be (4/5)/((-18)/10035). Let g = x + 7127/16. Is g at least as big as -2?
True
Suppose 3*l = m + 11, 6*m - 23 = -5*l + 7*m. Which is smaller: l or 197/37?
197/37
Let v be 15/5*(-1 + 6). Let x = -5.576 + 0.576. Is x != v?
True
Let l(r) = -8*r - 79. Let a be l(5). Let z = 127 + a. Is 8 at most as big as z?
True
Suppose -4*v + 21*t = 14*t + 19567, 5*v - 2*t + 24506 = 0. Is -4905 < v?
True
Suppose 88*c - 90*c = -10. Suppose c*u - v = 381, -2 = -v + 3*v. Is 76 >= u?
True
Let r = 377 + -388. Let p(u) = -4*u - 16. Let f be p(-13). Suppose -n - 2*n = f. Which is bigger: n or r?
r
Suppose 3*i + 4*p - 8 = 0, 3*i - 5*p + 4 = -6. Suppose 3*h + 50 - 329 = -3*s, s + 3 = i. Which is greater: h or 97?
97
Suppose -8*z + 17*z = -36. Let v be 249/(-6) + (-1)/2. Let q be z + 2/(v/(-87)). Which is greater: q or -1?
q
Let b = -5121 + 5124. Is 127/50 greater than b?
False
Let g be (28/(-1))/((-4)/(-8)). Let b = 18/5183 - 10420/15549. Which is bigger: g or b?
b
Let x(b) = b - 2. Let m be x(4). Suppose -2*g + 76 = m*g. Let i(y) = 3*y**2 - 225*y - 441. Let s be i(-2). Which is bigger: g or s?
s
Let q(h) be the third derivative of -53*h**4/24 + 247*h**3/6 + h**2 - 13. Let g be q(5). Is g < -123/7?
True
Let b = 3578 + -3501. Is 114 smaller than b?
False
Let m be 136/(-17)*(5/(-2) - -2). Suppose g - 47 = 6*g - o, 0 = -m*g + 5*o - 46. Let s be -1 - (3 + 1 - (-24)/g). Is s >= -0.1?
False
Let x be (-9)/(-6) + (-3)/(-6). Let k be x/9 + (-772)/(-252). Let q = -1/21 - k. Is -2 equal to q?
False
Let b be 18/(-18) - (-58)/2*1. Suppose 4*s + 0*s - b = -4*t, 0 = s - 2*t - 7. Which is bigger: 3 or s?
s
Suppose 0 = 34*u - 30*u - 16. Is u smaller than 59/23?
False
Let d = -7891 - -8123. Are d and 232 equal?
True
Suppose 4*y - y - 3*w - 30 = 0, y + 4*w + 15 = 0. Let j be (-1)/(-2) - y/30*0. Is j smaller than -0.32?
False
Suppose -6*u + 2*u - 2*k + 6 = 0, 0 = 3*u - 3*k - 18. Suppose 0 = u*h + 4 - 7. Let g be (13/h - -2)/(-8). Is -3 at least g?
False
Let s = 3.58 + 0.42. Let r be (-108)/10*(-85)/238. Which is greater: r or s?
s
Let w = 234 + -227. Suppose -w*v + 0 - 7 = 0. Do -2/115 and v have the same value?
False
Let b = 48.54 - 38.496. Let p = b + -0.044. Let h = p - 12. Is 8 greater than h?
True
Let m be 0 - (-187)/(-1560) - -30*(-31)/(-7440). Suppose 3*o = 4*a - 5, 0*a - 4*o - 13 = a. Which is smaller: a or m?
a
Let t = -67637370 + 276501566829/4088. Let l = 27/73 + t. Is l equal to -1?
False
Suppose 5*j + 319 = -j + 313. Which is smaller: -14/311 or j?
j
Let n(a) = a**3 - 3*a**2 - 3*a + 3. Let g be n(3). Let u(o) = -283*o - 16420. Let z be u(-58). Are g and z equal?
True
Let t = -23391 - -1894694/81. Let x = t - 1321/5508. Is x less than -1?
False
Let v be -6*(82 - (4 - -5 - 5)). Let y be (16/v)/((-4)/30). Which is smaller: y or -1?
-1
Let p = 108 + -192. Let k be ((-166)/6)/(7/(-21)). Let g = k + p. Which is smaller: g or 2/85?
g
Let b(f) = 246*f - 246. Let m be b(1). Are m and 11379 nonequal?
True
Suppose 25 = -3*r + 40, 0 = -2*d + 5*r - 31. Let s be (3 - -2)*(-2)/6. Is s at least d?
True
Suppose -3*f = 21, -10*m = -f + 10890 + 1443. Which is greater: -1226 or m?
-1226
Let j be (1 + 1)/(4 - -10*3/(-15)). Which is smaller: 30/337 or j?
30/337
Let z = 2237 + -2307. Is z != -0.24?
True
Let u = 12156 - 12459. Which is smaller: u or 24?
u
Let t = 9.7 - 10.7. Do 45/19 and t have the same value?
False
Suppose -5*f + 4*s + 20 = 0, 8*s = 3*s. Suppose -4*v + v = 0, -v - 8 = f*y. Suppose 0 = -610*p - 118*p - 2184. Is y smaller than p?
False
Let t = -978.9935 - -991. Let f = -0.0235 - t. Let n = f + 12. Which is greater: n or 1?
1
Let t be 4/(-18) + (-176)/(-684). Suppose 43*r - 8 = -5*u + 44*r, 3*u - r = 8. Is t at most u?
False
Let a = 1315222/23 - 57170. Are 14 and a equal?
False
Suppose 2*g - 8583 = -5*q, -22*q + 17*q = 5*g - 21435. Does 4283 = g?
False
Let a = 65143 + -457538/7. Let u = a - -5909/14. Which is smaller: u or 204?
u
Suppose 17 = 6*f - 1. Let z be 2/(-4)*-2 - (f - 11). Let t be (1 - 2) + 2 - 6/z. Which is bigger: 1/20 or t?
t
Let b be 182765/20295 - (-6 - -15). Is b < -1?
False
Let i = 1349 + -1274.07. Let k = i - 75. Which is greater: 13 or k?
13
Let p = -37 + 41. Suppose 0*h - p = 4*x + 2*h, 2*h = 4. Let u be 11/9 + (-16)/8. Which is smaller: x or u?
x
Suppose 0 = 2*t + 28 + 48. Suppose m = 2*c + 20, -3 - 1 = -2*c. Let o be (37/4*-2)/(12/m). Is t != o?
True
Let w = 749 - -733. Let n = w - 326039/220. Which is bigger: -1 or n?
n
Let b(x) = x**2 - 7*x. Let f be b(0). Let u be (3 + -4)/(f - 25/(-235)). Let j(i) = -i**2 - 2*i + 7. Let l be j(-5). Which is smaller: u or l?
u
Let x = -343 + 582. Let j = -14467 + 14467.1. Which is smaller: x or j?
j
Let s be 2/(-3) + 17518/15180. Let f = s + -11/23. Let t = f - -43/110. Is -1/4 bigger than t?
False
Let f be (3/((-3)/(-4)))/((-4)/(-10)). Let j be f/4*(-16)/(-20). Suppose -j - 4 = -6*y. Is 10/13 less than or equal to y?
True
Let f = 17 - 18. Let l = -160607/61 + 2633. Is l at most as big as f?
False
Let d = -99.2 + 98. Let c = 76.8 - d. Let q = -77 + c. Is 4 greater than q?
True
Let f = -75 - 66. Let d = f - -141.16. Is 0.1 less than or equal to d?
True
Let y = -345.8 - -330. Let n = 16.8 + y. Which is greater: n or 43/4?
43/4
Let j = 28.3 - -102.7. Let c = j + -129. Which is greater: c or -47?
c
Let j = -1.72 - -1.854. Let h = -12.934 + j. Is h smaller than -1?
True
Let d be (8/188 - 5852/53580)*-2. Let f(r) = r**3 - 5*r**2 + r - 3. Let z be f(5). Suppose z = k + 1. Which is greater: k or d?
k
Let u = -3995 - -7991/2. Is u smaller than -48.76?
False
Let x(v) = 27*v + 1267. Let d be x(-52). Is -141 less than or equal to d?
True
Let l = -41.99 + 42. Let g = 1.69 + l. Let f = g + 4.3. Is f greater than or equal to 2/5?
True
Let v = -14 - -16. Suppose 0 = -4*b + i + 96, -v*i = 5*b - i - 129. Let o = b - 11. Which is greater: o or 15?
15
Let k be 4053/2702*(2/(-6) + 1). Does k = 2/691?
False
Let k(x) = 50*x - 39. Let o be k(3). Suppose 4*f = 522 - 46. Let v = o - f. Which is bigger: -11 or v?
v
Let z = -258 - -258. Suppose z = -13*g + 7*g - 36. Is g smaller than -5?
True
Suppose 0 = -2*n + 3*s - 42, 3*n = 2*n + 2*s - 23. Let o be 9/n*90/(-27). Let t be -4 + (-2)/4 + o. Which is bigger: -3 or t?
t
Let x be 1 - (-3 - 5*-2*(-2)/(-5)). Which is smaller: 3/374 or x?
x
Let f = 91.13 + -0.13. Let y be (-6)/(-4)*(-8)/6*(-4)/24. Is y less than or equal to f?
True
Let k = -7.9 + 8. Let o = 141937/9903 + 2/3301. Which is smaller: o or k?
k
Let p be ((-231)/(-539))/((-60)/(-21) - 2). Is 1631 > p?
True
Suppose 3*r + 4*z - 194 = 0, 5*r - 304 = 2*z + z. Suppose -r + 105 = u. Is u bigger than 45?
False
Let m = 375 - 375. Suppose m = 5*g + 2*d + 1335, -g + 3*d + d = 289. Which is greater: -270 or g?
g
Let x = 30886/5 + -6177. Suppose 4*s = -s - g + 3, 0 = 3*g + 6. Which is bigger: s or x?
s
Suppose -12*m + 936 + 90 = 6*m. Which is smaller: 619/11 or m?
619/11
Suppose 178 = -92*m - 49 + 43. Which is smaller: -13/7 or m?
m
Let d(b) = -11*b**2 + 87 + 6*b + 12*b**2 - 82. Suppose 3*n = 12, 5*n - 12 = -2*k - 2. Let g be d(k). Are 4/39 and g nonequal?
True
Let h = -24 - -48. Let a be ((-68)/(-16) + 0)/((-2)/h). Let y(n) = 3*n - 22. Let r be y(-10). Is r at most a?
True
Let d = 18/4705 + 6388/2823. Let a be 40/15 + (-2)/(-6). Which is smaller: a or d?
d
Let z = 833.5 - 674. Let p = z + -105.5. Which is bigger: p or 5?
p
Let n = -11674 - -805477/69. Is n < -1?
False
Let b(g) = g**3 - 12*g**2 - 13*g + 1. Let j be b(13). Let p be (-3)/(-6) + 20261/70. Let z = p + -290. Is z <= j?
True
Suppose 5*z - 5*d = -2805, 5*z + 515 = 4*d - 2289. Which is greater: -1117/2 or z?
-1117/2
Suppose 5*r = -5*j - 13440, -5*r + 3838 = -3*j + 17254. Do -2685 and r have the same value?
True
Let x = 3007 + -3009. Let w be (-36)/3*12/152. Is x greater than w?
False
Let x be 2 + -2 + 18/3. Let r be -2 + 21/x + 318/20. Let m = -17 + r. Which is bigger: 12 or m?
12
Let n(p) = p**2 - 7*p + 6. Let r be n(6). Suppose -d - 2 = q - r*d, -6 = -3*q + 3*d. Which is greater: q or -1/76?
q
Suppose 0*w + 370 = -5*w. Let z(q) = 130*q - 2805. Let f be z(21). Is f bigger than w?
False
Let n be (2/(-4))/((-6)/(-168)). Le