 336*j. Let d = 8356 + -41392/5. Let m = j - d. Is m > 0?
False
Let v = 1950.9 + 11028.1. Is v >= 2?
True
Suppose 32 = 2*v - 4*u - 12, 4*v - 82 = 5*u. Let h = 28 - v. Let c be 5/h + 30/(-44). Which is greater: c or -2?
c
Let f be (20/(-2128))/5*-1. Are 0 and f equal?
False
Suppose h + 27 = 216. Let j be (126/h)/((-268)/54). Is 0 greater than j?
True
Let x(j) = -8*j + 11. Let y(m) = -16*m + 28. Let p(z) = 5*x(z) - 2*y(z). Let l be p(1). Is l != -210/23?
True
Let b = 15199/15 + -1014. Let x = 1567/3 + -521. Let z = x + b. Which is greater: 0.4 or z?
z
Suppose 182 = 147*n - 134*n. Which is greater: 311/24 or n?
n
Let r = -5.366 + 5.5. Let y = 0.044 - r. Which is greater: y or 0?
0
Suppose 0 = -2*a + 3 + 7, 3*m + 7 = 5*a. Let o be (m/20)/((-3)/10*4). Let h be 1*-6*1/(-5). Is h equal to o?
False
Let q = 511 + -715. Let d = -82 + q. Let h = d - -11728/41. Which is smaller: h or -2?
-2
Let w = 0.1 - 0. Let n = -3 + -17. Let x(g) = 2*g + 6. Let c be x(n). Which is smaller: c or w?
c
Suppose 4*o = 17*o - 5*o. Which is smaller: o or 1491?
o
Let b(m) = -m - 12. Let z be b(0). Let p = 502 - 495. Suppose 8 = 2*l, 3*l = 4*j - p*j - 18. Which is smaller: z or j?
z
Let n be (-6)/8 + 1 + (-1045)/(-380). Suppose -2*m - 10 = 3*w, -5 = -n*m + 3*w - 50. Which is smaller: m or -8?
m
Let p(j) = -17*j - 53. Let c(u) = -3*u - 1. Let g(v) = 6*c(v) - p(v). Let f be g(46). Let l be 12/(-18)*(-4)/14. Which is smaller: f or l?
l
Let t be ((-13)/(-5) + -3)/(2/(-5)). Suppose 3*u - 2*k = k + 3, -u - 4*k + 26 = 0. Let v be 1/(-4)*(-4 - u/(-2)). Which is bigger: v or t?
t
Let s = 5 + -24. Let v = -41 - -57. Suppose 0 = 20*h - v*h + 84. Is h at most s?
True
Let r = 28.987 - -6.013. Is 5/6 bigger than r?
False
Let g be (-50)/55*(-3 + (-144)/(-32)). Which is smaller: -17/5 or g?
-17/5
Let g = 358 - 354. Let b = -5 + 3. Let j = b + g. Do j and 2 have the same value?
True
Let f be 159/(-20) - (232/(-29) - 0/2). Suppose -6*k + 15 = -k. Suppose 0 = -i + k*i. Which is bigger: i or f?
f
Let w = 0.1 + -0.1. Let z = -1 - w. Let o = 1/537511 - 12900275/5912621. Which is smaller: o or z?
o
Suppose 0*t - t - 4*j - 4 = 0, -5*j + 39 = 4*t. Suppose w = 2*w - 2. Let m be 462/30 + w/(-5). Is m greater than or equal to t?
False
Let b be (50433/1884 - 2) + -4. Let s = -83/4 + b. Does s = 1?
False
Let j = -7473 - -7472. Which is bigger: j or 4/6237?
4/6237
Suppose 3*s = 4*s - 3*p + 119, -3*s + 7*p = 363. Is -386/3 at least s?
False
Let d = -329 - -324. Let z(h) = -h**3 - 4*h**2 + 3*h + 6. Let r be z(d). Which is smaller: r or -3?
-3
Let q(j) = -j**2 + 8*j - 15. Let v be q(6). Let y be v + 3 + 460/(-1316). Let d = -3/47 - y. Are 1/10 and d equal?
False
Suppose -5*q + 5*x + 0*x + 100 = 0, q + 5*x = 2. Let t be -3 - 2 - (0 + q/(-3)). Let g = -10.3 - -10. Is g >= t?
False
Let f = -11.146 - -0.046. Let t(z) = -3*z**3 - 11*z**2 - 3*z - 28. Let y be t(-4). Are y and f equal?
False
Suppose y = -0*y - 3*j - 7, j = -2*y - 19. Let q be (-12)/y*5*-4. Suppose -17*n = 276 + 166. Does n = q?
False
Let x(h) = -2*h**2 - 73*h + 37. Let d be x(-37). Is -1/47 <= d?
True
Let y = -0.00616 - 2332.99384. Are -2 and y unequal?
True
Let o = 1217 - 1215. Let b be o - (4/(-28) + (-30)/35). Let s = 1695/8 - 210. Which is smaller: s or b?
s
Let h(u) = -2*u + 0*u**3 + 2*u**3 - 5630 + u + 5631 + 5*u**2. Let y be h(-2). Which is bigger: 9 or y?
9
Let d be 114/(-36)*(-102)/153. Is d less than or equal to -148?
False
Let k be ((-758)/(-1227202))/(((-5)/6)/((-4)/(-8))). Does 1 = k?
False
Let t = 3783.61 + -3784. Which is bigger: -71 or t?
t
Let h be (9/(-18)*(-3 - -3))/(-4 + 3). Suppose c - 84 = -3*c. Let d be 6/c + (-110)/336. Which is smaller: d or h?
d
Suppose 5*x - 2*z = -2651 - 177, x - 5*z = -584. Let i = 572 + x. Is i at least as big as 43/5?
False
Suppose 2*b - t - 673 = 0, 4*b + 288 = 5*t + 1637. Is 336 smaller than b?
False
Suppose -2*q - 4*o = 32, 3*q + o = 2*q - 19. Suppose 0 = -m - 3*h - 39, -m = m + 4*h + 68. Which is bigger: m or q?
q
Let v be ((-1)/(-2))/((-2)/120). Let p = -7 - v. Suppose -159 = p*y - 20*y. Is y at least -52?
False
Suppose -5*n + 105 = -4*m, -3*m + 83 = 4*n - 6*m. Suppose -528 = -n*k + 5*k. Let l be 266/6 + 2/3. Is l less than k?
False
Let p(s) = -3*s**3 - 57*s**2 + 5*s + 2. Let j(u) = -4*u**3 - 85*u**2 + 7*u + 3. Let y(x) = -5*j(x) + 7*p(x). Let g be y(26). Is g >= -3/5?
False
Let s be -10 + 77840/170 - (-2)/17. Suppose 2*m = 434 - s. Which is greater: -33/5 or m?
-33/5
Let m = -228 + 631. Let t = m + -429.7. Let z = t - -28. Which is smaller: 0.1 or z?
0.1
Let p = 2/10225 + -24008/18190275. Which is bigger: p or -1?
p
Let l = -15605 - -15604.922. Is 0.8 at most l?
False
Suppose 0*d - 2*d = -4. Let i be 1/(d/(-100)*-1). Suppose -10 = 4*r - i. Which is bigger: 7 or r?
r
Let b(q) = -1426*q - 882. Let u be b(-3). Is u smaller than 3397?
True
Let x(k) = -2*k**2 - 10*k + 5. Let j be x(-7). Let g = 25 + j. Let q be 0 + -1 - 3/g. Which is greater: -3 or q?
q
Let h = -3753 + 3753. Which is smaller: -9.7 or h?
-9.7
Let h = -90.7 - -90.116. Which is smaller: h or 1?
h
Let y be (5 - 21/(-15)) + (-14)/35. Suppose -148 = y*f - 16. Do -23 and f have the same value?
False
Let c = 203 + -75. Suppose 2*h + c = -0*h. Which is bigger: h or -66?
h
Let l(k) = -7*k**3 - k - 1. Let r be l(-1). Suppose -5*u - 77 + 2 = 0. Let q = u + r. Is q bigger than -10?
True
Let x be (-26866)/2686 - (-15 - (1 - 6)). Is x at most as big as 1?
True
Suppose 130*o + 113*o - 269*o - 5044 = 0. Is o >= -20?
False
Suppose -4*n - 9161 = -5*m, -2*n = 4*m + 2*n - 7336. Is 1834 at least m?
True
Let c be -191 + -6 - -3 - 1/(1/3). Is c > -1183/6?
True
Let j = 1/76100 - 11536763/228300. Let h = j + 51. Let f = h - 2/5. Is f greater than 1?
False
Let s = -0.0022 + 40.6022. Let c = -40.6 + s. Which is bigger: 506 or c?
506
Suppose -9 = 4*n + 167. Let d be n/18*(23 + -17). Which is greater: d or -15?
d
Suppose 243*d - 160*d + 284*d = 367. Let u = 276 - 801. Let s be 2/7 - (-290)/u. Are d and s unequal?
True
Let x(c) = 269 + c**3 - 270 - 9*c**2 + 2*c + 12*c. Let q be x(7). Let h be ((-21)/54)/(2/4). Is h at most as big as q?
False
Let h = -690 + 691. Suppose -8 - h = 3*i - 5*b, 20 = 4*i + 4*b. Let q = -3 + 1. Which is smaller: i or q?
q
Suppose -5*f + 21 = -4*s, -s = f - 2*s - 4. Suppose 5*d + 10 = 5*i, -14 = f*d - 2*i - i. Which is bigger: 4 or d?
4
Suppose 4*s = -3*v + 19, -2*s - 6*v + 11*v = -3. Let j be ((-12)/(-36) + 0)/(1102/s). Is 0 greater than j?
False
Suppose 7*c + 2*h = 19, 19*c - 22*c = -2*h - 11. Is 13/5 not equal to c?
True
Let a = -0.143 - -162.143. Let m = 160.8 - a. Is -1 at least as big as m?
True
Suppose 3*r + 12*q = 10*q - 1124, -2*r - 761 = -q. Which is bigger: r or -376?
-376
Let p be -6 - 8388/(-54)*1/2. Is p <= 72?
True
Let d be (-2)/(-6) - 124/(-6). Suppose 27 = 5*u + 2*c, -4*u = d*c - 24*c - 40. Which is bigger: u or 41/7?
u
Let a = -3 - -4. Let f = -143349 + 20355555/142. Which is greater: a or f?
a
Suppose 0 = c - 3. Suppose -3*p + 2 = 4*s, -c = -4*p - 5*s - 2. Let m be 1*(p + -1) - (1 - 1). Is -7 at most m?
True
Let g = 76 + -75.9. Let a = 292/39 - 22/3. Which is smaller: g or a?
g
Let j = 301 + -155. Suppose -3*u - 3*x = 74 + 19, -5*u - 2*x - j = 0. Is u less than or equal to -20?
True
Let p = -10211 + 20421/2. Let i(o) = -o**3 + 6*o**2 - 5*o. Let m be i(5). Suppose 0 = y - m + 1. Is p <= y?
False
Let t = -164 - 244. Let w = -461 - t. Do -53 and w have the same value?
True
Let l be (-3 - -6 - 401/2)*(-96)/40. Is l greater than or equal to 0.9?
True
Suppose 8*n - 34 + 74 = 0. Let y be 6/10 + n/((-525)/(-423)). Are y and -3 equal?
False
Let p be (-6)/((-276)/24 - -10). Suppose -5*w - v = 11, -3*v = p*w - 0 + 11. Let n = 3/217 - 2179/651. Is n > w?
False
Suppose 8*h - 3*s + 13 = 6*h, 0 = 3*h + 5*s - 28. Are h and -6/787 nonequal?
True
Suppose 0 = -4*h - 1 + 9. Let t be (3*(-119)/42)/(h/12). Let o be (-34)/t*1*6/14. Which is bigger: o or 3.3?
3.3
Suppose 5*v + 10 = 0, 144*v = 2*t + 145*v - 446. Is t at least 228?
False
Let l be (-3)/12*-3 - (-1890)/(-1944). Which is smaller: 0.006 or l?
l
Let a = 230 + -210. Let c be (a + 4)/6 - 6. Is -12/7 at most c?
False
Suppose 298*k - 2560*k - 590*k = 0. Let g be (-616)/6 - 6/(-9). Let y be -1 + g/(-52) + -1. Is y > k?
False
Let t = -0.7 + 0.54. Let p = 18626.3 + -18625. Is p greater th