r -179?
p
Let u = 220 + -207. Suppose -u*x + 24 = -x. Which is bigger: 6 or x?
6
Let o = -7 + 10. Let b be (2/2)/((-1)/o). Let h be b/6 - 46/(-12). Which is bigger: h or -1/7?
h
Let a(f) = 288*f + 8197. Let i be a(-32). Which is smaller: -1020 or i?
-1020
Let k(x) = x + 3*x**2 + 4*x - 1 + 0*x. Let y be k(-4). Let a(b) = -2*b**2 - 31*b + 77. Let d be a(-17). Which is bigger: d or y?
y
Let j = -311 + 77. Let c = 233 + j. Which is bigger: 1/5 or c?
1/5
Let n be 875736/(-2736) + 15/6 + -2. Is n < -321?
False
Let q be (4/8)/((-5)/(-2710)). Let m = 799/3 - q. Suppose 0*i + i = -4. Which is greater: i or m?
i
Suppose -941 = -14*w - 2481. Let k = w - -106. Is k < 18/5?
True
Let d = 0.022 + -0.122. Let t = -366 - -409. Which is greater: t or d?
t
Let a = -43.18 - -46.18. Is -400 not equal to a?
True
Suppose 96*o - 102*o - 3*d + 12 = 0, 3*o = 2*d + 20. Is 198/49 at least as big as o?
True
Suppose -19948*j + 154197 = -19921*j. Which is smaller: j or -3?
-3
Suppose 40 = -5*q - 5*s, -2*q + 5*s = 4*s + 19. Let o be (-42)/q*(-6)/(-8)*2. Let x be -2 - ((-7)/1 + -2). Is o at least as big as x?
True
Let b = -3.82 + 4.511. Let v = 185.309 + b. Is v not equal to -1?
True
Suppose 19 = -2*w - 3*i, i = 3*w - 2*i + 21. Suppose 0 = 2*c, 32 = 4*r - 0*c - 2*c. Suppose -r*t = -6*t + 14. Do t and w have different values?
True
Let m = -457.554 - -458. Let b = m + -0.646. Are -2/67 and b unequal?
True
Let h = -0.7 + 0.1. Let v = h + 10.5. Let b = v - 10. Is b != -18?
True
Let h be (-60)/(-165)*4380/(-10). Which is bigger: h or -159?
-159
Let c = -4 + 6. Let v be 0/(-2) - 4 - 436/(-116). Let r = v - -101/58. Is c less than or equal to r?
False
Let v = -5390 - -10349. Is v < 4960?
True
Let z be 27/36 - (-2)/8. Let x be (-4)/18 + (-1)/(-9). Which is greater: x or z?
z
Let v be (-2)/402*(-68 - -71). Which is smaller: v or -0.72?
-0.72
Let c = 0.318 - -6.672. Let t = -1.01 - c. Is t equal to 7?
False
Let x = 54076 - 54073. Let n be 46/24 + 2/6. Do n and x have the same value?
False
Let d(f) = f**3 - 12*f**2 + 3*f + 4. Let g be d(12). Let p be (2548/(-210))/(45/(-150)). Which is smaller: g or p?
g
Let y(k) = -k**3 - 3*k**2 - 1. Let f(b) = -b**3 + b**2 - 17*b + 66. Let u be f(3). Let m be y(u). Which is bigger: m or 199?
199
Suppose 2*a - 180 = -a. Let x be 3 + (1534/a)/13. Let v = -14/3 + x. Which is smaller: 1 or v?
v
Let d be 13*92/48 + 1/12. Which is bigger: 575/22 or d?
575/22
Suppose -46*s + 15029 = -18183. Which is greater: 725 or s?
725
Suppose -3*l + 167 = d + 112, l = 4*d - 12. Is l bigger than 20?
False
Let k be (-156)/26 - (-4638)/(-42). Which is smaller: k or -115?
k
Let b be (-26)/(-123)*5/75*9. Let n = b - -3/41. Let c = n + -17/10. Is c >= -0.2?
False
Suppose -2*h + 10 = -p + 2, 0 = 5*h + 4*p + 6. Let j be (-3)/618*(-3 - (h + -3)). Are j and -1 unequal?
True
Let g = -245915/19 + 12948. Does 5 = g?
False
Let p = 172205/15228 + -181/188. Let a = p - 31/3. Is a at least 0?
True
Let l = 14430 + -14430.1. Which is bigger: 5774 or l?
5774
Suppose 0 = -11*q - 112 + 134. Which is greater: 17/20 or q?
q
Let y(l) = 71*l**3 - 4*l**2 + 6. Let b be y(-1). Is b >= -54?
False
Suppose -4*w - 5 = -9. Let j be 58 - (8/2)/w. Let u = j - 54. Which is smaller: u or -3/19?
-3/19
Let a be (6/(-2))/((-2)/18). Let f be -2 + 3 + -117 - (4 - 6). Let h = f + 140. Is h > a?
False
Let l(h) = -h**3 + h + 9. Let r be l(0). Suppose -4*z + 11 = -r. Suppose -m + z = -7*n + 3*n, m - 5*n - 7 = 0. Is m less than or equal to -1?
True
Let z = 22079 - 50737543/2298. Is 1 != z?
True
Let w = 4355.9 + -4356. Is w smaller than 987?
True
Suppose p - 2*h = 0, -2*h - 21 = -4*p - h. Suppose -3*n + 2*y = -16, 5*n + 2*y - 30 = p*y. Suppose n*r - 65 + 1 = 0. Is 33 <= r?
False
Let g = 20.2 + -19.8. Let t = -2 + 0.4. Let q = 5.4 - t. Does g = q?
False
Let p be 8 + -5 - 14/6. Let v = -234.3 - -247. Let x = v + -13. Which is greater: p or x?
p
Suppose -16*i - 9 = -76 - 45. Is i < 320/43?
True
Let m = 123 - 429. Let y = m + 306.11. Which is smaller: -0.13 or y?
-0.13
Let x(f) = f - 9. Let s be x(-3). Let k = -187 - -174. Is k > s?
False
Let f = 6.29 + -4.28. Let b = 2.04 - f. Are -6/7 and b equal?
False
Let k be 106 - 42/(-35)*20/(-6). Let o = k + -35. Let y be 57/(-133) - o/7. Is y greater than or equal to -53/5?
True
Let v(d) = d + 1. Let o(g) = -5*g - 41. Let j(y) = -o(y) + 2*v(y). Let x be j(-7). Let q be 68/31 - (x - -8). Do q and 0 have the same value?
False
Let v be (-36)/96*6/(-9). Let j = 1501/6 - 251. Which is greater: j or v?
v
Let p = 5387 - 5391. Let f(o) = o**2 - 5*o - 5. Let m be f(4). Is p bigger than m?
True
Let l = 1.3493 - 1.1493. Do -0.1545 and l have different values?
True
Suppose 3*f - 75 = -0*f. Suppose -2*b + 44 = 2*m, m - 5*b + 2*b = 34. Is m > f?
False
Let p(j) = -2*j**2 + 27*j - 15. Let m be p(13). Let h(c) = -c**2 + 6*c - 6. Let n be h(6). Let v be 3/n*24/22. Is m not equal to v?
True
Let p = -47 - -119. Suppose m + n + p = -8, m + 60 = -5*n. Let o = m + 96. Is 13 bigger than o?
True
Let g = -11750 - -11742. Which is bigger: g or 77?
77
Let y = 5255 + -5255. Which is smaller: y or -3/967?
-3/967
Suppose z = 3*a - 7*a + 7, 5 = -a + 2*z. Let b be 834*(-6)/732 + 7. Is b != a?
True
Let w(c) = -c + 14. Let i(q) = 3*q - 42. Let p(s) = -4*i(s) - 11*w(s). Let v be p(9). Suppose v*x - 32 = 183. Is 42 bigger than x?
False
Let n = -59 + 142. Suppose -9*d + n - 2 = 0. Are 9 and d equal?
True
Let j = -406 - -401. Let f = j + -354. Which is bigger: f or -360?
f
Let d = -365 + 365. Let l(p) = -p**3 + 2*p + 26. Let z be l(d). Which is greater: -3/4 or z?
z
Suppose -604 + 2104 = 3*c. Let a = c + -164. Is a not equal to 336?
False
Suppose 444*t - 324811 - 102761 = 0. Is 956 < t?
True
Suppose 1934*i - 1944*i = -3350. Which is smaller: i or -0.3?
-0.3
Let v be 1 + 15/(-3) - (1001 - -9). Let k = -1015 - v. Let a be 2/(-16)*(-1)/5. Which is smaller: k or a?
k
Let p = 11576509/11 - 1053809. Does -1398 = p?
False
Let m = -29491 - -29417. Let r be 1 + 0 - (3 - -71). Is m at least r?
False
Let l = -6 + 81. Let r = 138 - l. Let f = r - 64. Which is smaller: f or -3/10?
f
Suppose v - 18 = -v - 4*y, 0 = 2*v - 3*y + 10. Let s(i) = -2*i**2 - 15. Let z be s(3). Let p = 311/9 + z. Which is smaller: p or v?
v
Let c be (-3 + 2)/(7/14 + -1). Let z be ((-198)/27)/(c/3). Is z <= -21/2?
True
Let f = 16.372 - 16.4. Let z = 61 + -60.33. Let h = -0.67 + z. Which is smaller: h or f?
f
Suppose -4*a - 4020 = 5*b, -109*a - 3*b = -107*a + 2012. Which is smaller: a or -1001?
-1001
Let j = 20474 + -20473.8. Which is bigger: 3304 or j?
3304
Suppose -4*n + n + 37 = 4*t, -5*t - 5*n = -40. Suppose 4868 = -t*w - 3868. Which is smaller: w or -673?
-673
Let x = 6834 + -75216/11. Are x and -23 equal?
False
Let u = 2/455 + -2752/5005. Which is bigger: 0.47 or u?
0.47
Suppose -4*v = 5*f - 21, -f + 1 = 3*v - 1. Suppose q = -5*p - 14, -2*p - 1 = -p. Let c be q/(729/(-18)) + (-16)/(-9). Is c greater than f?
False
Let w(q) be the third derivative of 4*q**4 - 2*q**3 - 5*q**2 + 3*q. Let v be w(1). Which is bigger: v or 86?
86
Let o(x) = -x**2 + 13*x - 6. Let b be o(13). Suppose 1748 - 1684 = -4*u. Is b less than u?
False
Let a = -16831 - -16832. Let z be ((-195)/(-99) - 3) + 1. Which is bigger: z or a?
a
Suppose 5*o - 3*o + 8 = -2*f, -2 = 3*o - 2*f. Let s be (o - 2)/(5/60). Which is smaller: s or -45?
s
Let j be 10 + -4 - 720/115. Let f = 87 - 88. Is j at least as big as f?
True
Suppose 0 = 2*p + 35 - 157. Let q = -74 + p. Let i = q - -15. Which is smaller: 11 or i?
i
Let m = 710.4 + 141.6. Let v = 329 + -330. Are m and v non-equal?
True
Suppose 11*s + 9199 = 8*s - 2*j, 3*j = -24. Does s = -3060?
False
Let i be (15/(-6) - 0)/(1/(-150)). Let w = 370 - i. Which is smaller: 2.3 or w?
w
Suppose 13*m - 14*m = -1. Let s be (-7)/(140/15)*m. Is s at least as big as 3?
False
Let o be 408/(-332)*(-8)/(-24). Which is greater: -1 or o?
o
Let v be (285/(-12) - -2)/(84/112). Which is smaller: -60 or v?
-60
Let n = 0.6 + -0.27. Let c = 0.26 + n. Let r = -2.41 - c. Are r and 10 non-equal?
True
Let s = 330 - 327. Suppose -4*a - 11 = w, -s*w - w = -2*a + 8. Is w greater than -9/5?
False
Let v = 203 + -123. Let d be (72/(-15))/((-2)/(v/12)). Is d at most as big as 16?
True
Let g = 1/398 - -34615/4378. Is 7 equal to g?
False
Let s = 20595 + -20366. Which is smaller: s or 