 (2 + -41)/((-12)/(-112)). Let l = z - x. Which is bigger: -2 or l?
-2
Let v = -4111 + 1200413/292. Is v > 0?
True
Suppose 0*k = 4*k + 4*f - 8, 4*k + f - 20 = 0. Let z = 11021749/51 - 216120. Let a = 1/17 - z. Do a and k have different values?
True
Let z(p) = -p**2 + 11*p - 10. Let c be z(9). Let f be (-2)/c + (-5)/(-20). Is f at least 4/15?
False
Let n be (6/46)/(5 + 665/(-10)). Which is bigger: -1 or n?
n
Suppose 2*z + 0*z = 42. Let l be z/(-6) - 2/(-4). Suppose 27 = -20*q - 13. Which is smaller: l or q?
l
Let x = 68 - 72. Let v be (240/x)/((-3)/2). Is v < 39?
False
Let w = 37/574 + 2/287. Suppose -v - 1 = -2. Is v <= w?
False
Suppose -r = -1 - 4. Suppose r = 2*m + 3*m. Which is smaller: m or 3/25?
3/25
Let y = -111286/3135 - -674/19. Which is greater: 0 or y?
0
Let i be -3*4/(-4) - (-129 - -27). Does i = 103?
False
Let j = -30 + 46. Suppose -76 = -5*c - j. Let i be (4 - 2)/(c/42). Is i > 5?
True
Let j be -4 + 0 + 14/2. Suppose -j*v + 9 + 0 = 0. Is 1 greater than or equal to v?
False
Let z be 58*(-4 - -7)/6. Suppose -z*l + 8 = -25*l. Are l and 0 non-equal?
True
Let b be (-1 + 0 - 0)*-2. Suppose -b*w - 36 = w. Which is smaller: -11 or w?
w
Let p be 1/(-14)*63/(-18). Is -36.4 <= p?
True
Let t(p) = -189*p + 34. Let f be t(-4). Are f and -1 non-equal?
True
Let p = -463 + 4163/9. Let c = -334/5 - -67. Do c and p have the same value?
False
Let t be 2/(-3)*9/(-2). Let u(g) = g**2 - 2*g - 2. Let j be u(t). Let k be (252/(-972))/((-2)/9). Is k greater than j?
True
Let w = -2175/17 - -128. Suppose -4 + 0 = -4*k. Which is greater: k or w?
k
Let f = -473 - -471. Is f greater than -55?
True
Let w = 184 - 161. Are w and 47/2 unequal?
True
Suppose 0 = -2*i + 28 + 72. Suppose -4*z + 5*g - 19 = -5*z, 0 = -2*z + 2*g + i. Let u = z - 25. Which is greater: u or 3?
3
Let m be (-188)/(-48) + (-2)/3. Let g = m + -3. Suppose -j = 3*a - 5, -4*a + 7 = -1. Which is smaller: g or j?
j
Suppose 1524*x - 44 = 1528*x. Let c(w) = -3*w**3 + 27*w**2 - 2. Let y(b) = 2*b**3 - 14*b**2 + 1. Let m(p) = 3*c(p) + 5*y(p). Let i be m(x). Is 1/14 less than i?
False
Suppose 8*c = 3*c - 5. Let u(p) = -p + 10. Let w be u(4). Let d = w + -12. Which is smaller: d or c?
d
Let f = 175 - 170. Is 12 at most as big as f?
False
Let f = -21 - -117. Let x = 85 - f. Which is greater: x or 0.1?
0.1
Let w = -2.05 + 7.05. Is 7 < w?
False
Let s = 51 + -51. Suppose s = x + 2*x + 84. Is x less than -28?
False
Let z = -49 - -50. Which is smaller: z or 8/97?
8/97
Let t be 30/5*(-3)/(-2). Let h(x) = -x**2 + 9*x + 3. Let o be h(t). Suppose 6 = 2*m - 2*d, -7*d + 3*d = -o*m + 11. Is 0.01 bigger than m?
False
Let x = 16.42 + -17. Let q = x + 0.08. Let d = -0.5 - q. Which is smaller: -0.07 or d?
-0.07
Let w = -3.82 - -5.48. Is -2 less than or equal to w?
True
Let o(d) = d**3 - 5*d**2 + 4*d + 4. Let f be o(4). Suppose -37 = -y + f*s - 0, 0 = 2*y - 2*s - 44. Let u = 22 - y. Is 6 less than u?
False
Let h be (-4 + 10)*4/18*9. Let y be (-1 + 2)*h/(-492). Is 0 at most as big as y?
False
Let z = 36 + 5. Suppose 0*m - m = 3*h - 27, 3*m - h = z. Suppose 0 = 5*g - u - 76, 2*g = 7*g - 5*u - 60. Are g and m nonequal?
True
Suppose -5 = -4*c + 3*x, 5 + 4 = 4*c + x. Let s(l) = -l**2 + 5*l - 2. Let b be s(5). Let q be 2*(68/(-40) - b). Which is smaller: c or q?
q
Let q = 91.21 - 92.21. Suppose 3*g = -0*g. Suppose -m - 4*m = g. Do m and q have the same value?
False
Suppose -79 = -4*b - c, -2*c - 45 = -4*b + 49. Let a be (-6)/24 - b/(-4). Suppose 2*q = 4*t - 10, 2*q - t + a = 4*q. Are -3 and q equal?
False
Let t be (-2)/1 + (-33041)/(-16511). Is t <= 0?
False
Let m = -7 + 6. Let y = -0.9 - m. Let r(d) = -d**2 - 25*d - 1. Let k be r(-25). Which is greater: k or y?
y
Let d be -4 + ((-1)/12)/((-9)/459). Are d and 189.7 unequal?
True
Let q = 300 - 3298/11. Let u(d) = d**2 + 4*d - 284. Let h be u(15). Are q and h nonequal?
True
Let h = 897 - 638. Which is greater: 258 or h?
h
Let t(u) = -u. Let y be t(-1). Let g be ((-8)/180)/(y/(-55)). Are g and 3 equal?
False
Let l(g) = g**2 + 14*g + 2. Let z be l(-13). Let a(v) = -v**2 - 11*v - 1. Let m be a(z). Let w be 0 + -1 + (-4)/(-10). Is m >= w?
False
Let m = 3 + -2. Let c = -2443229 + 3444953051/1410. Let q = c + -2/141. Is q at most m?
True
Let n be 4 + 2/(-1) - 563. Let m = n - -37025/66. Let x = -2/11 - m. Which is smaller: x or 1/3?
x
Let b = 181 + -136. Is b smaller than 46?
True
Let y = -45.84 + 45. Let o = y - 0.16. Which is bigger: 1/9 or o?
1/9
Suppose -6*s + 260 = -208. Is s >= 79?
False
Let f be 276/(-322) + (-10)/(-28). Let i be 9/(-20) - (-2)/8. Which is smaller: i or f?
f
Let l = 80 - 47. Suppose 4*i + 29 = l. Suppose -2*w = -5*w + 3. Is w at most i?
True
Let y = 1 + -1. Let s be ((-1 + 2 + -5)/(-2))/118. Let d = 172/295 + s. Does d = y?
False
Let v(d) = d**2 + 4*d. Let c be v(-4). Let x be 22/715*((-1 - -3) + 0). Is c at least as big as x?
False
Let b be 35/20*2*36/336. Let j = 28 - 83/3. Which is smaller: b or j?
j
Suppose -l - 13 = 3*s - 47, 5*s = 2*l + 75. Let q = s + -14. Which is smaller: q or -2/11?
q
Suppose 4*q = 3*n + 57, -n - 11 - 3 = -q. Suppose -2*c + 2*d = -d - 14, -3*c + 3*d = -q. Let r be (-5)/10*(-2)/(-3). Which is bigger: c or r?
c
Let f be (-4)/(-6) - 146*(-4)/24. Suppose -l - f = -5*h + 6, 0 = -3*l + 2*h - 41. Does 2 = l?
False
Let t = 155/11 - 9079/649. Which is smaller: 0 or t?
0
Let c be 2 + (1 - (3 + (-9)/36)). Let x be 1/1 + 3/(-4). Is c at most as big as x?
True
Suppose 5*d - d - 52 = 0. Let n = d + -26. Let f = -15 - n. Is f > 1?
False
Suppose 7*f = 28*f + 4725. Which is greater: -224 or f?
-224
Let y(l) = -5*l**3 + 6*l**2 - 8*l + 5. Let b be y(4). Which is greater: b or -252?
b
Let o = -1.82 + 10.87. Let d = o + -0.05. Let b = 5 - d. Are 1 and b non-equal?
True
Let x = -2393 + 2494. Is x at least 99?
True
Let h be 6/9 - 2/4. Is h > -1?
True
Let u(h) = 6*h**2 + 1. Let b be u(1). Suppose b + 65 = -4*m - 2*n, -n - 70 = 4*m. Is -17 not equal to m?
False
Let y = -32475 - -129029/4. Which is greater: y or -218?
y
Suppose 564 = 4*w - 3*p, -w = 2*w - 5*p - 423. Which is smaller: 143 or w?
w
Let t be (-4046)/5045 - (-296)/370. Is -1 < t?
True
Let z = 86.9 + -55. Let s = -32 + z. Which is smaller: -13 or s?
-13
Let c = 15.15 + -147.35. Let y = c - -132. Which is smaller: y or 2/9?
y
Suppose 2*x + 24 = 8*x. Suppose -s + f = 3, s + 15 = -2*s + 5*f. Suppose -d + 0*d = s. Which is smaller: d or x?
d
Suppose 10*t = 6*t - 24. Let f be (-176)/(-24) - 4/t. Is f != 35/4?
True
Let j = 305/396 - 2/99. Let z be 142/6 - 28/(-21). Let v = z + -25. Is j at least v?
True
Let n(y) = y**2 - 2*y - 6. Let t be n(-4). Let k = t - 21. Which is smaller: -0.2 or k?
k
Suppose 4*p + 3*o - 4 + 3 = 0, 0 = -p + 2*o + 14. Suppose -16 = r - 3*r. Let j = 13 - r. Which is smaller: j or p?
p
Let t be (5 + (-2)/2)/1. Suppose u - 72 = 5*u - t*j, u + 14 = 2*j. Which is smaller: u or -23?
-23
Let v = 18 + -21. Suppose -5*p = 3*d - d - 10, -4*p + 2*d + 26 = 0. Let j be (p + v)*(-1)/1. Is j greater than -3/4?
False
Let w = -206 + 195. Which is greater: w or -9?
-9
Let k = -150 + 123. Do -28 and k have the same value?
False
Let i = 0.016 + -0.136. Is i equal to -16?
False
Let w = -92413/13629 + 224/33. Which is bigger: 0 or w?
w
Let b(s) = s**3 - 12*s**2 - 14*s + 12. Let h be b(13). Which is bigger: h or 1/507?
1/507
Let j = 2323 + -2322.9319. Is -0.1 less than or equal to j?
True
Let w = 2.3 - 0.8. Let k = 0.5 - w. Let n = 167 + -168. Is k greater than n?
False
Let o(z) = -2*z - 2. Let s be o(5). Suppose -6*n + 9*n - 219 = 0. Let r be 3 - (-3 - n/s). Which is greater: r or -1?
r
Let w be 2848/(-10) + (-9)/45. Which is bigger: w or -286?
w
Let v = 3 + -2.98. Let t = -470.08 - -470. Let h = t - v. Is h equal to -2/11?
False
Let f = -129 - -230. Which is greater: 102 or f?
102
Let g(a) = -a**3 + 5*a**2 + 4*a + 11. Let n be g(6). Which is bigger: n or -112?
n
Let g = 578801/18 - 32136. Let c = -37/2 + g. Let f(w) = w**2 + w - 2. Let i be f(-2). Which is greater: i or c?
c
Let d(u) = u**2 + 45*u + 203. Let m be d(-38). Is -57 bigger than m?
True
Let b = 1.22 - 1.22. Is 6 greater than or equal to b?
True
Let d be 1/9 - 17/(839052/5700). Is -1 at most d?
True
Suppose j - 8 = 13. Suppose -3*l + 1 = l + b, j = -l + 4*b. Let x be 5*-3*(-4)/(-30). Which is smaller: x or l?
x
Let i(m) = -m**3 + m**2 - 4*m 