= -0.83 + 0.63. Is p not equal to -0.018?
True
Let b be (-2)/11 - 8/198. Let g = 0.19 - -23.81. Let n = g + -23. Which is greater: n or b?
n
Let x = 3 - 1. Suppose -x*o = 4*g - 16, 2*o = 5*g - o - 31. Let c = 3105/4 - 770. Do c and g have the same value?
False
Suppose -4*k + 2*c = 30, 210 - 237 = 4*k - 5*c. Let b = 20 - 29. Is b less than k?
True
Let l = -173 + 135. Which is greater: l or -40?
l
Let d = -158/32379 + -8/753. Which is greater: 0 or d?
0
Suppose -u - 19 - 174 = -3*q, 4*u + 68 = q. Let h be (70/4)/(16/q). Which is greater: h or 69?
h
Let l be (12/112 + 0)*12/90. Do l and 0 have the same value?
False
Let p(r) = 2*r**3 - 37*r + 100. Let h be p(3). Let q = -87 - -131. Which is greater: q or h?
q
Let h(o) = 41*o**2 + 3*o + 3. Suppose -2*y + 8*y + 6 = 0. Let t be h(y). Is 41 <= t?
True
Suppose -25 = -4*y + 3*t, 3*y - 50 = t - 5*t. Suppose y - 8 = -2*q. Is -3/19 greater than q?
True
Let d(z) = 3*z - 105. Let s be d(36). Is s >= -6?
True
Let g = 2 + -2.5. Let a = -34.34 - -21.34. Which is bigger: a or g?
g
Let d = 1574 + -1560. Are 17 and d equal?
False
Let w be 0 + -13 - 9804/(-798). Let q = -1 + -1. Which is bigger: q or w?
w
Let m = 49 + 27. Is 78 > m?
True
Let m = -355.8 + 356. Which is greater: 59 or m?
59
Let n(j) = -2*j**2 - 4. Let m be n(-3). Which is smaller: m or -109/5?
m
Let v = 15 - 27. Let x(y) = -y**3 - 11*y**2 + 14*y + 22. Let m be x(v). Is -10/7 >= m?
True
Let p(z) = 2*z**2 + z. Let q be p(-1). Let x be 3*2/(-6*q). Let b be 46/40 - (-3)/(-3). Which is bigger: b or x?
b
Suppose -17*j + 20*j = 2*c + 2, 0 = -2*c + 2*j. Which is smaller: 17/9 or c?
17/9
Let i = 15/4 + -83/20. Let u = 244 + -243. Which is bigger: u or i?
u
Let n be (120/(-48))/(((-2)/4)/(-1)). Suppose d + 0*m = 2*m + 4, 4*d + 4*m = -20. Let q be 26/40 - d/n. Which is greater: 0 or q?
q
Suppose 0 = -l - 4*l + 20. Suppose -2 = v - f, -l*v - 2*f + 13 = f. Which is smaller: 1/3 or v?
1/3
Let m be (-1)/((10 - 6)/(-4)). Which is bigger: 3/29 or m?
m
Let a(v) = -216*v**2 + 53*v + 171. Let w be a(-3). Is -1931 <= w?
False
Let z = 10162/23 - 442. Is 0.1 bigger than z?
True
Let m = 44 - 30. Let u(x) = -x**2 + 13*x + 20. Let s be u(m). Suppose 0 = s*d - 11*d. Which is smaller: -1 or d?
-1
Let i = -26 - -26.025. Let v = i + -0.025. Is v less than -8/13?
False
Let b(l) = -l**2 + 11*l + 11. Let f be b(7). Which is smaller: f or 43?
f
Let k(v) = 2*v - 1. Let n be k(2). Let p = -30 - -34. Suppose n = p*w - 9. Is w less than 7/2?
True
Let u(a) = 18*a + 701. Let y be u(-39). Is y > 3/149?
False
Let f(n) = n**3 - 5*n**2 + 168*n - 831. Let c be f(5). Let p = -2 - -10. Is p greater than c?
False
Let v = -936 - -669. Is -268 > v?
False
Let d(r) = r**2 - 5*r. Let o be d(5). Suppose o = -6*x + x. Let y = -7521/12635 - 12/2527. Which is smaller: x or y?
y
Let p = 177.7 + 11.3. Which is smaller: 2 or p?
2
Let f = -81 + 81. Suppose f = -14*g - 26 + 82. Is g equal to 3?
False
Let i = 262 + -258. Which is bigger: i or 0?
i
Let q = 1143/28 + -284/7. Which is smaller: 496 or q?
q
Let j = -4 + 6. Suppose -5*u = -7 + j. Let y be 1 + u/((-9)/3). Does y = 0.04?
False
Let x = -262 - -241. Is x < -19?
True
Let f be (-13 + 0)*(0 - -1). Suppose -6*o + 92 = -2*o. Let p = f + o. Which is bigger: 11 or p?
11
Let a = -23.932 + 24. Let y = a - -8.032. Let l = 8 - y. Are 3/2 and l unequal?
True
Suppose 3*z - 1 = y + 3, -z - y = -8. Suppose 12 = z*r + 3*k, 4*k - 16 + 1 = -3*r. Let u = 101/80 + -25/16. Which is bigger: r or u?
r
Let p(r) = r**2 + 7*r - 2. Let k be p(-8). Suppose k = 2*a - 2. Suppose 2*o = 5*m + 7, -5*m + 1 - 2 = 4*o. Which is greater: m or a?
a
Let d = 12.02 - 12.22. Which is smaller: 0.61 or d?
d
Suppose 4*c + 56 - 20 = 0. Let v be 3/c*1/(-7). Which is smaller: v or 1?
v
Let f be (-1224)/(-28) + 0 - 6/(-21). Is f < 41?
False
Let z = -4/4469 - -420130/49159. Let y = 331/22 - z. Is y greater than or equal to 8?
False
Let a = -3 + -12. Let x = 16.1 + a. Let z = -0.1 + x. Which is bigger: z or -4?
z
Suppose -4*c = -2*a - 6, a + 4 + 0 = c. Let j be (a + -1)/((-21)/14). Let r = 5 - j. Is r bigger than 5/4?
False
Let i = -263 + 261. Which is smaller: i or -3?
-3
Let l(z) be the second derivative of -z**5/20 - 2*z**4/3 - z**3 + 3*z**2/2 - z. Let y be ((-48)/(-20))/3 + (-234)/30. Let n be l(y). Which is smaller: 1 or n?
n
Suppose 4*k = 2 + 6. Let x = 0 - k. Let s be (7/(-84))/((-1)/x). Does 1 = s?
False
Let p = 0.95 + -48.95. Which is smaller: -6 or p?
p
Let d be (-11)/(-55) + (-19)/(-5). Let f be (-1 + -1 + d)/(-23). Does 1 = f?
False
Let h(z) = z**3 + 11*z**2 + z - 1. Suppose -i = 3 + 8. Let q be h(i). Let w = 23 + q. Is -1/3 greater than w?
False
Let m be 0 - -2*(-1)/(-4). Suppose -u + 0*u + 16 = -4*z, 0 = 2*u - 5*z - 20. Let y(d) = -d**3 - 4*d**2 - 1. Let n be y(u). Which is bigger: n or m?
m
Let l = -398 - -399. Is -1/173 greater than or equal to l?
False
Let g be (-4 - 129/(-42))*-94 + -1. Let j = 86 - g. Is j at most 1?
True
Let j(s) be the first derivative of -s**4/4 + 13*s**3/3 + 13*s**2/2 + 7*s + 6. Let n be (-600)/(-42) - (-4)/(-14). Let u be j(n). Which is smaller: -5 or u?
u
Let c be (-26)/(-91) - (-4)/(-14). Let q be 0 + c - (-3)/15*-5. Suppose -5*o = -2*o. Which is smaller: q or o?
q
Let n = 5 - 8. Let l = 16 + -6. Let q be l/18 - n/(-9). Which is bigger: q or 1?
1
Let h = -12.48 - -11.5. Let w = 1.08 + h. Which is bigger: 68 or w?
68
Suppose 0 = -5*y - d - 4*d, 0 = -y + 5*d. Is 5/6 less than y?
False
Suppose 43 - 1 = -7*a. Let f(l) = -2*l - 4. Let i be f(a). Is 9 smaller than i?
False
Let j = -0.0439 - 0.0561. Let u(f) = 9*f**3 - 3*f**2 + 4*f - 6. Let w be u(2). Is w at most as big as j?
False
Let w be (-1 + 5 - 6) + 3. Which is bigger: w or -16/53?
w
Let r = 4980 - 4979.9. Let m be (-2)/6 - (-35)/(-9). Is r <= m?
False
Let p be (-68)/31 + 1 - -1. Let v be (280/160)/(7/4). Is p greater than v?
False
Let h be (-5)/20 + (-103)/4. Let b = h - -27. Which is smaller: 3 or b?
b
Let h be ((-156)/143 - -2)*74/5. Is h at least 0.1?
True
Let c = 14 - 11. Let x(y) = -3*y + 1. Let j be x(-3). Let n = j + -8. Is c less than or equal to n?
False
Let w be 1 + 1 + -4 + 0. Is w at most as big as -16/13?
True
Suppose 26*b = 9*b + 13*b. Is 9/8 bigger than b?
True
Let n = 34 + -79. Let i = n + 38. Let k = 2.9 + -3. Is i <= k?
True
Suppose 2*l + 5*h + 76 - 45 = 0, -l + 4*h = -17. Is 30 less than l?
False
Let s = -86 - -38. Let x = s + 50. Is -2/7 greater than x?
False
Let w(c) = -9*c - 68. Let t be w(-25). Is t less than or equal to 155?
False
Let p be (4/6)/((-30)/18). Let f = -2.7 + 4. Is p not equal to f?
True
Let y = -365977/5871 + 6/1957. Is -62 != y?
True
Let d be 4/1 - -6 - 3. Suppose 5*l = -g + d + 3, -5*g + 6 = 3*l. Let q be l - ((-68)/(-28) + 1). Which is bigger: 0 or q?
0
Let f = 6 - 3. Suppose a + 16 = -f*a. Let c = 38 + -42. Does c = a?
True
Suppose -3*g = 2*g + 10. Let n be (-33)/(-2) - g/(-4). Suppose -n = -0*x + 2*x. Does x = -2?
False
Let y be 3/(-6) - 44/8. Let p be ((6/16)/1*y)/1. Which is smaller: -1 or p?
p
Let t be 2 - ((-16)/5)/(-2). Suppose -18 = 3*q - q + 5*r, -q = r + 3. Let n = -1 + q. Is n less than t?
True
Suppose -3*f = 2*x - 4*x - 63, 5*x - 84 = -3*f. Suppose -21*u - 16 = -f*u. Is u <= 11?
True
Let b be ((-41932)/3)/(-4) - (-18)/27. Let h = b - 891223/255. Which is smaller: 1 or h?
h
Suppose 7*u + 4*f - 100 = 3*u, 0 = -3*u + 2*f + 90. Let v = 29 - u. Are 1/40 and v nonequal?
True
Suppose 3*d + 5*y - 26 = 0, -d + 6*y + 20 = 2*y. Which is smaller: 3 or d?
3
Suppose -2*v - 8*y + 24 = -4*y, 12 = v + y. Is 14 greater than v?
True
Suppose -54*m + 51*m + 5211 = -2*u, -m + 2608 = -u. Is -2613 > u?
False
Let d(s) = s**3 - 2*s**2 - 3*s - 6. Let t be d(5). Which is smaller: 52 or t?
52
Let b = -5 + 3. Let w(d) = -10*d - 23. Let q be w(-2). Let z be ((-40)/(-2670))/(b/q). Which is smaller: -1 or z?
-1
Let x(y) = y**2 + 16*y - 174. Let z be x(-23). Suppose -5*s = -4*s + 15. Which is smaller: z or s?
s
Let b(k) = k**3 - 24*k**2 + 4*k - 95. Let h be b(24). Which is smaller: 1/257 or h?
1/257
Let t be (43380/(-1812))/(-3) + -8. Which is bigger: -1 or t?
t
Let c(b) = 8*b + 1. Suppose -8 + 2 = 3*t. Let y be c(t). Which is greater: -19 or y?
y
Let y = 0.07 - 30.07. Let n = 47.2 + y. Let i = 17 - n. Do -1 and i have different values?
True
Let l = 885 + -887. Let g = -5.3 - -5. Are g an