 w = p + -599. Is f greater than w?
True
Let q(w) = 394*w - 16095. Let i be q(20). Which is greater: -8216 or i?
i
Let h(z) = -4*z**2 + 10*z + 11. Suppose -23*s = 18 - 133. Let c be h(s). Is -276/7 less than or equal to c?
True
Let g be (4/16)/((-22)/(-12)). Let x be -1 + 72 - (3 - 1). Let p = 69 - x. Which is smaller: p or g?
p
Let i = 477 + -487. Let y be 1/(i/(-10))*(-1 - -1). Is -1/36 smaller than y?
True
Let f(u) = u**3 - 3*u**2. Let b be 2/(-10)*5 + 4/1. Let x be f(b). Suppose 4*l + 19 - 11 = x. Is l < -4?
False
Suppose 12 = -15*t + 3*t. Let c be (3 + t)/((-516)/18). Suppose -3*l - 3*o = 18, -3*l = o + 4*o + 28. Which is greater: c or l?
c
Let p = 1242 - -35. Let u = p + -42148/33. Which is smaller: -1 or u?
-1
Let p = -2532 + 1666. Is -866 less than or equal to p?
True
Let x = 3384167/412 + -8214. Which is bigger: x or 2/19?
2/19
Let j = -0.7785 + 0.4785. Is j greater than or equal to -1054/13?
True
Let v(s) = -4*s**3 + 3*s**2 + 11*s + 5. Let j be v(-4). Suppose j - 105 = 10*i. Let l be (-25)/(-2)*i/(-10). Are -20 and l non-equal?
False
Let q = -0.223 - -244.223. Let l = 238 - q. Which is smaller: l or -1/3?
l
Let u(o) = o**3 + 3*o**2 - 12*o - 6. Let w be u(-5). Let s = -4 + w. Suppose 3*v + 2*j - 4 = s, -2*v - 7 = -2*j - 3. Is v <= 0?
True
Let b = -263/36 + 419/90. Which is smaller: -3 or b?
-3
Suppose -4*o - k + 67 = -17, -88 = -4*o - 2*k. Suppose 5*i = i + o. Suppose -i*t - 385 = 5*w, -t + 0*w - 5*w - 89 = 0. Is t != -74?
False
Let o = -7441 - -7427.979. Which is smaller: o or 0.2?
o
Let h = -35 + 15. Suppose 9*f = 5*f + 8, 4*j = 4*f - 12. Are h and j equal?
False
Let z(i) = -4*i**2 - 2*i - 1. Let l = 44 + -39. Let x be z(l). Let u = 148 + x. Which is smaller: u or 39?
u
Let h = -729.876 + -0.124. Let z = 158.7 + -158.8. Which is smaller: z or h?
h
Let o be (8/(-70))/(6/15). Let w = 37.07 + -36. Let b = -0.13 - w. Which is greater: o or b?
o
Let x be (0 + -1 + -2)/(3/(-28)). Suppose -4*n - 3*n = -x. Suppose 19 = -5*m - 3*j - 67, 5*j = n*m + 91. Which is smaller: m or -16?
m
Suppose 0 = -5*t + 10*t - 4*h + 1330, -h = 2*t + 545. Do t and -271 have different values?
True
Let d(c) = -c**3 + 68*c**2 - 133*c + 17. Let j be d(66). Which is smaller: j or -66?
-66
Let n(j) = -15 - j**3 - 5*j**2 + 0*j**2 - 5*j**2 + 10*j. Let s be n(-11). Let c be (6/s)/(18/24). Which is bigger: -9/13 or c?
-9/13
Let q = 13.97 + 0.03. Let i = 23 + q. Let t = -30 + i. Is t at most -1?
False
Let c = -4380 - -4425. Is -9 equal to c?
False
Let g be 509/(-5) - (-1162)/415. Is -32 at least g?
True
Let m = 448.8 + 35.2. Let l = 407.6 - m. Is 1 >= l?
True
Let v = -13187.7 + 13188. Let f be (-1)/(-2) - 42/68. Which is smaller: f or v?
f
Let h be 1/28 - (4 - (-34)/(-8)). Let c = 1473878 + -64844837/44. Let z = 525/4 - c. Does h = z?
False
Let f(v) = -2*v**2 + 85*v + 134. Let a be f(44). Let w be 6 - (-2 + (-208)/(-44)). Is w less than or equal to a?
False
Let d = 0.16 - 0.239. Let r = 2.0537 - 0.1327. Let u = d - r. Which is smaller: u or -1/2?
u
Let b be 4/34 + 1 + 2265/255. Which is smaller: b or 25?
b
Let j be (-5 - -3)/(4/(-8)). Suppose -4*n + 8 = -j*x, 0 = 13*n - 11*n - x - 3. Which is smaller: n or 11/38?
11/38
Let v be (4*182/134)/(92/230). Which is smaller: 14 or v?
v
Suppose 149*l - 165*l = -992. Which is smaller: 44 or l?
44
Let g(d) = d**3 - 10*d**2 - 8*d + 54. Let v be g(10). Is v not equal to -28?
True
Suppose 228*n - 1771 = 1649. Which is greater: -2/127 or n?
n
Suppose 20*l = -97*l - 15*l + 1716. Which is smaller: l or -22?
-22
Let i(w) = 3*w + 7. Let r be i(0). Suppose r*a = -5 + 26. Is a >= 3?
True
Let a(x) = x**3 + 18*x**2 + 17*x + 2. Let s be a(-17). Let r be (1/(-2))/(s - (-1893)/(-948)). Let o be 4/8*(470/r - -3). Which is smaller: o or -1?
-1
Suppose -5*k + 4*v = 379, -6*k = -2*k - 3*v + 304. Let w = 646319 - 646400. Is k != w?
True
Let u = 0.7 + 0.3. Let y = 62612 - 62574. Which is bigger: y or u?
y
Suppose 2*j + 12531 = 7*c - 2*c, -2*j = 6. Is 1 bigger than c?
False
Let q be (-27)/378 - (-15)/14. Let s = -54530 + 491789/9. Let v = s - 113. Which is bigger: v or q?
q
Let a(j) = 3*j**2 - 29 + 11 + j**2 - 5*j + 0*j + j**3. Let y be a(-2). Which is smaller: y or -16/13?
-16/13
Let f be (-19)/((-17290)/(-287680)) - (-1)/((-13)/2). Is -315 <= f?
False
Suppose 315 = -4*a + 3*m, -4*m + 202 = -4*a - 114. Let v = 80 + a. Let i be 8/54*-3*3/v. Do 98 and i have the same value?
False
Let y = -19/383 - -5003/85409. Which is bigger: y or -10?
y
Let m be (-1 - 5/2)/((-13)/(-312)). Let s = -80 - m. Suppose -4*r = -3*c + 455, 6*r - s*r + 223 = -3*c. Is r not equal to -112?
True
Let h be 1 + (-452)/308 + (11 - (-595)/(-55)). Let z(y) = -y**2. Let f be z(0). Let i be 2 + -2 - -1 - f. Is i <= h?
False
Let b be 83*3/(-2 + -1). Suppose -83*o = -65*o + 1494. Are b and o unequal?
False
Suppose -3*r + 14 = 4*r. Let w(u) = 0 - u**r + 5*u + u**3 + 9 + 17*u**2 - 4*u. Let t be w(-16). Which is bigger: -5 or t?
-5
Let s be (-1 + 1 + -2)*-1. Suppose -85*m + 22*m + 3150 = 0. Let n be (((-3)/(-25))/1)/(10/m). Is n less than or equal to s?
True
Suppose 27*f + 914 - 104 = 0. Let t be (-10)/25*1810/24. Let y = f - t. Is y < -7?
False
Let y(r) = -r**2 - 7*r + 14. Let n(i) = 6*i + 24. Let l be n(-4). Let z be y(l). Which is smaller: 29/2 or z?
z
Let c = 431.32401 - 0.32401. Is c greater than or equal to -10?
True
Let z(n) = -n**3 + n**2 + 198. Let l be z(0). Suppose 2*c = -2*i + 106, -2*i - l = -4*c + i. Which is smaller: -0.2 or c?
-0.2
Let k(d) = 172*d + 19. Let m(t) = t**2 - 86*t - 9. Let b(c) = 6*k(c) + 13*m(c). Let v be b(6). Let y = 59 + -109. Do y and v have the same value?
False
Suppose 0 = 5*y - 3*z - 135, -5*z - 81 = -3*y - z. Let d(f) = 2*f**2 - 7 + 8*f - y*f + 2*f**2. Let j be d(7). Which is bigger: 57 or j?
57
Let b = -24040 + 24284. Which is smaller: b or 238?
238
Let t = -2/79677 + 38776142/79677. Is -2 at most as big as t?
True
Let i be 3/10*(-975)/26. Suppose 4*k = 2*g - k - 21, 4*k = -3*g - 3. Suppose 5*h = -g*l - 40, h - 6 = l - h. Is l > i?
True
Suppose -58*z = 60*z - 129*z. Is 2/15 >= z?
True
Let z = -0.25 + 0.18. Let l = -114.21 + 34.21. Do z and l have the same value?
False
Let n = 163 - 317. Let s = n - -153. Which is smaller: s or -2/7?
s
Suppose -2*w = -0*w + 10. Let l be (-15)/(-25) - 57/w. Let s = 4495 - 4482. Is s at most as big as l?
False
Let x be (-2)/(-12) + (-10)/(-12). Let s = 327077 - 3579750/11. Let i = 1647 - s. Is x at least as big as i?
False
Let c = 11805 + -2915829/247. Which is smaller: 1 or c?
c
Let j = 1325.6 - 1325.68. Is j greater than or equal to 27/7?
False
Let u = 1.139 + -14.139. Let o = 3.5 - -0.5. Let d = u + o. Is d at least as big as 2?
False
Let d(n) = -17*n**3 - 2*n**2 - 8*n - 7. Let q be d(-1). Suppose -10*w = -14*w + 268. Suppose w = 5*a - 2*l - 9, a + l - 18 = 0. Do a and q have the same value?
True
Suppose 41 = -2*j + 49. Suppose w + 17 = 2*w + 4*q, 3*w + j*q - 19 = 0. Is w not equal to 1/180?
True
Let o = 143/159 - -5187/106. Let s = 446/9 - o. Is 0 > s?
True
Suppose 5*h + 129 + 81 = 0. Let v = 112 + h. Let z = 49 - v. Which is smaller: z or -19?
z
Let k be 659 + -665 - (0 + (1 - -943)). Which is bigger: k or -951?
k
Suppose 0 = 3*z + h - 32, -4*h + 38 = 2*z. Let t be ((-100)/(-3240))/(15/z). Which is smaller: t or -0.1?
-0.1
Suppose 5*b - 50 = -4*d, -4*b - 2*d + 19 = -15. Suppose -14*w - 16 = -b*w. Which is greater: -7/4 or w?
-7/4
Let r be 3 + (0 - 189/(-3)). Suppose -r = -6*h - 0*h. Let u be (2/h)/((-18)/27). Is 0 at most u?
False
Let z be (-64 + -21)/((-3)/(-9)). Is -1279/5 less than or equal to z?
True
Let m = -38878253 + 2526932911/65. Let b = -2362 - m. Let t be 2/(-7)*791/(-226). Is t > b?
True
Let b(t) = t**3 + 4*t**2 - t - 3. Let a be b(-3). Suppose -x - 3*h + 72 = -a, h = -5. Suppose 28 = -4*d + x. Is 0.2 greater than or equal to d?
False
Suppose 0 = 176*p + 78*p + 512826. Is p > -2014?
False
Suppose 154*q = 150*q. Suppose q = -11*t - 0 + 11. Which is greater: t or -6/17?
t
Let q = 27.93 + -28.5. Is -3/19 at least as big as q?
True
Let b(g) = g**2 + 5*g + 14. Let c be b(-6). Let q be 108/(-24) + c/4. Is q smaller than 75?
True
Suppose 3*z - 376 = 341. Suppose 4*i = 2*b + 4695 - 3723, b = -4*i + 948. Is i at most as big as z?
True
Suppose 3*a - 8 = -3*u - 5, 4*a = -u + 1. Suppose a = -0*p + 5*p. Is 40 greater 