 or r?
5
Let c = 0 + 1. Let p = 3 - 0. Let r = -3.1 + p. Are c and r nonequal?
True
Let r be 0 + (1 - -3) + -4. Suppose r = 2*h - 4 - 4. Let v = h - 5. Are v and 4 equal?
False
Let d be 291/2 + (-6)/12. Let j be 3/5 - (-90258)/d. Let b = j - 623. Is b > 1?
False
Suppose 4*g = 25 - 5. Suppose 8 = -3*i + 20. Suppose -g*l - i*x = -9*x - 35, 3*x - 3 = -5*l. Are l and 11/4 non-equal?
True
Let l(b) = 5*b**3 + b + 1. Let d be l(-1). Suppose 14 = -2*a - 5*i - 11, 2*a = 2*i - 4. Do d and a have different values?
False
Suppose 5*q + 140 = o - 2*o, 3*q + 4*o = -67. Let b = 113 + -143. Are q and b equal?
False
Let c be 3/(-12) - -28*95/8208. Suppose -2*n + 4*n = -2*k, -n - 8 = 5*k. Let y = 2 + k. Is y at least as big as c?
False
Let t = 7 - 2. Let c(w) = -12*w. Let o be c(2). Let a be o/(-15)*t/(-20). Which is smaller: -1 or a?
-1
Suppose -4*w - 2*c = 200 + 62, 0 = w + 3*c + 73. Are -63 and w nonequal?
True
Let g = -387 + 7332/19. Which is greater: -2 or g?
g
Let i(y) = 3*y + 9. Let s be i(-6). Let u(f) = f**2 + 10*f + 10. Let o be u(s). Which is bigger: o or 7/4?
7/4
Let s = -1 - -5. Suppose -3*w - 2*k = -5*w - s, -6 = 3*w + 4*k. Suppose 13*z + 8 = -5. Which is smaller: w or z?
w
Let w = 9847/63 - 469/3. Suppose -5*u - 3*s = -66, -u + 0*s - 3*s = -18. Let h be 2/3*(-6)/u*0. Is w at most as big as h?
True
Let q = 68.939 - -0.061. Let b = q + -54. Which is smaller: -0.2 or b?
-0.2
Let j(k) = -k**3 - 10*k**2 - 9*k + 14. Let c(n) = -n**3 - 19*n**2 + n + 10. Let z be c(-19). Let i be j(z). Let v be 6/9 - (-43)/3. Is v < i?
False
Suppose 0 + 4 = h. Suppose y - 2*b = 11, 0 = 3*b + h - 19. Let o be 3/12*112/y. Is -1 != o?
True
Let q be 2 + ((-1)/15)/(656/19690). Which is smaller: q or -1?
-1
Suppose 0 = 3*i - 4*h + 104, 5*i + 170 = -0*i + 5*h. Let v be (-8)/i + (-5)/4. Is v != -32?
True
Suppose -z + 5*p = 11, z + 6*p = p + 9. Let t(l) = -l**3 + 3*l**2 + 4*l + 1. Let i be t(4). Which is bigger: z or i?
i
Let n = 891081/4763 + -2058/11. Which is greater: n or -1?
n
Let p = -0.877 - -0.097. Let z = p - -0.18. Which is bigger: z or -1?
z
Let z be (3 - 6) + (559/299 - 4). Which is greater: -4 or z?
-4
Let w = -7 - -9. Let p = 262 + -1311/5. Which is smaller: p or w?
p
Let j = 93 + -90. Let p be ((-44)/7 - -3) + j. Which is smaller: p or -0.6?
-0.6
Let l(j) = 0*j - 6*j - j**2 + 5*j - 25 - 10*j. Let k be l(-2). Which is greater: k or -17?
k
Let h = 2228 - 2231. Suppose 0*k + k + 1 = 2*w, w - 4 = -3*k. Is w at most h?
False
Let j = 19 - 75. Let l = j + 56.01. Is 0.08 < l?
False
Let r = -1.08 - -1.138. Let c = 0 - r. Are c and -1/2 nonequal?
True
Let p = -7768 - -69812/9. Let m = -1118/99 - p. Suppose n + 1 = b, 2*n + n = -b + 1. Which is greater: m or n?
n
Let d = -0.317 + -0.683. Is -0.144 greater than d?
True
Let b = 0.07987 - -0.02013. Let l = 5.8 + -3.5. Let s = 0.3 - l. Which is bigger: b or s?
b
Let c(f) = 6*f**2 - 1. Let r be c(-1). Suppose -r*p = 34 + 86. Which is smaller: 1 or p?
p
Let x(j) = -j + 1. Let t be x(4). Let w = -31 - -33. Suppose 5*l - 6*k = -4*k - 31, -4 = w*l + 2*k. Is l < t?
True
Suppose 11*l + 12 - 1 = 0. Let x be (-10)/15 + (-75)/(-72). Which is bigger: l or x?
x
Let h = 2276.089 - 2277. Let r = h + -0.089. Which is smaller: r or -0.046?
r
Let p = 2183/14 - 156. Let x(z) = -z**3 + 3*z**2 + 20*z - 9. Let n be x(6). Suppose 0 = 5*h + 8 + 2, n*h = -5*g - 1. Is p at most as big as g?
True
Suppose 24*b - 21*b + 558 = 0. Which is smaller: 1/2 or b?
b
Suppose -5*q = -20, 5*i = q + 23 - 2. Suppose 0*p + 3*p = 2*v - 12, i*v - 4*p = 30. Let g be (-1)/(-12)*v/2. Is g less than or equal to -1?
False
Let b = -58.3 - -123. Let s = b - 65. Which is smaller: 2 or s?
s
Suppose -5*a - 316 = -316. Is a at most 1/104?
True
Let i = 136861/54 - 2534. Is i bigger than 0?
True
Suppose 5*g - 2 = -2*p + 17, -3*p + 5*g + 16 = 0. Let a be p/22 - 3/6. Let b = -172/55 + 30/11. Is a < b?
False
Let a = -11 + 11.26. Let u = a + -0.3. Let l = -707/15 - -142/3. Is u at most as big as l?
True
Suppose -j - 9 = -0*j - 3*p, 2*p = 6. Suppose j = -4*l - 42 + 134. Which is bigger: l or 22?
l
Let b = 5303/9702 - 1/882. Let k = -465546/406285 - -3/7387. Let r = b + k. Which is bigger: r or 1?
1
Let o(u) = 3*u + 15. Let l be o(-6). Let k be (l/1224)/(30/(-906)). Let f = -1/136 + k. Which is greater: 1 or f?
1
Let y(g) = 17*g**2 + 185*g - 20. Let k be y(-11). Suppose -4*j = 16, 0*d - 39 = -3*d - 3*j. Which is greater: d or k?
d
Let o = -233/5 + 709/15. Let i = -1 + 1.8. Let d = i - -0.2. Which is smaller: o or d?
o
Let o(j) = 6*j - 9 - 1 + j**2 + 2*j. Let n be o(-9). Is n less than -0.9?
True
Suppose -z - 102 = -3*l - 3*z, 5*l + 2*z - 174 = 0. Let q be l/(-32) + -2 + 3. Suppose -2*n = -6*n - 4. Is q greater than n?
True
Suppose 3*w - p = -9 - 34, -5*p + 20 = 0. Is -13 bigger than w?
False
Let r = -19 - -13. Let g = -16 + r. Let k be (-2)/g*(-8 + 10). Which is smaller: k or 1?
k
Let r be 6/(36/30) - 11 - -6. Which is greater: 119 or r?
119
Let l = -829 - -828.8. Let u = 0.3 + -0.1. Which is smaller: l or u?
l
Suppose 5*i - 4*c = -0*c + 4, -3*c = 4*i + 3. Suppose i = 9*s + 2*s - 11. Is 1/124 != s?
True
Let u = -75 + 67. Are u and -14 nonequal?
True
Let v = -81 - -85. Suppose -7*t + 4 = v. Let j(p) = p**2 - 5*p - 7. Let g be j(7). Which is smaller: t or g?
t
Suppose -68 = -18*t - 16*t. Which is greater: -2/11 or t?
t
Let k be 0 - -1*13*-1. Suppose -88*z = -91*z - 9. Let r be (-4 + 2)*(38/4 + z). Do r and k have different values?
False
Suppose 40*c - 39*c + 4 = 2*b, -3*b + 5*c = -13. Which is bigger: 9/17 or b?
b
Let x be 1351/(-6) - 15/(-10). Let k = x + 217. Is -7 less than or equal to k?
True
Let w = 4.23 + -4. Let x = 0.1 + -0.07. Let n = x - w. Which is greater: n or 1?
1
Suppose -97 = -d - 40. Suppose 177 = 3*x - 3*w, -6*x + 4*x + w + 116 = 0. Is x smaller than d?
False
Let y = -1468 - -1603. Which is smaller: 136 or y?
y
Let n = -333 + 1667/5. Which is greater: -1 or n?
n
Let i = 38 - 23. Let f be (-3)/(-12)*12/i. Suppose -15 = 3*j - 5*h, 2*h + 6 = -3*j + 4*h. Is j smaller than f?
True
Let t = 4934/23 - 214. Which is smaller: 0 or t?
0
Let p(m) = 0*m**2 - 3*m**2 + 2*m**2 + 2*m**2 + 8 - 13*m. Let o be p(13). Suppose 2*s = 7*s - 45. Which is smaller: s or o?
o
Suppose 0 = -3*g + 2 + 1. Suppose -2*d + g = 65. Let t = -25 - d. Is t > 7?
False
Let z = 29.8 + -30. Which is smaller: z or -0.085?
z
Let p(l) = 2*l - 9. Let s be p(7). Suppose -o - 2*o + s = 2*g, -3*o + 5*g = 23. Let a be o + 84/88*2. Which is bigger: a or 0?
a
Let u(y) = -6*y**2 - 37*y - 262. Let z be u(-8). Is -349 >= z?
True
Let d = -779 - -7013/9. Is 1/38 > d?
False
Suppose 0 = -t - 15 + 25. Suppose -d = -3*d - y - t, -3*y = -5*d - 36. Is d at most -6?
True
Suppose -124 - 108 = 29*f. Is -74/9 smaller than f?
True
Let y = -38 + 42. Let v be (-133)/(-63) - y/(-18). Let x(s) = s - 3. Let a be x(4). Which is smaller: a or v?
a
Suppose -q - 1 = -84. Suppose q = 3*c - 2*u, 3*u = 4*u - 2. Suppose -w - l = -3 - 25, -2*l = 2. Are w and c unequal?
False
Let t = 4811272/11 - 437804. Let p = t + 416. Is -1 greater than p?
False
Let c = -63 - -45. Let k = -20 - c. Let f = -4 + 3. Which is smaller: f or k?
k
Let c be (-4)/(-2)*1 + 261/(-87). Let x = 0.6 + 0. Which is greater: c or x?
x
Let u = 648/5 - 130. Let a(k) = -2*k + 46. Let f be a(21). Suppose -f*m + 0*z - z = 0, -2*m = -4*z. Which is bigger: m or u?
m
Let o = 5 + 2. Suppose 0*q - 1 = 2*u + q, 4*u - q = o. Let z = 0.692 + 2.308. Which is smaller: z or u?
u
Let z be (-11)/(6/(-70)*15/(-2)). Which is smaller: -18 or z?
-18
Let x be -3*(-6)/45 + (-1352)/3405. Is x less than 1?
True
Let y(g) = -g**2 - 25*g - 147. Let h be y(-15). Which is bigger: h or 25/12?
h
Suppose 17*a - 6*a = -55. Is 54 >= a?
True
Let j(q) be the third derivative of -q**6/120 + 3*q**5/20 - 3*q**4/8 + q**3/2 + 28*q**2. Let n be j(8). Is -3 at most as big as n?
False
Let n be (1 - (-1)/(-2))*(41 - 21). Let w be -3 - 5/(n/16). Is w less than -29/3?
True
Let h = -16 + 20. Let y be (2 + -3)*9 + h. Which is greater: -0.1 or y?
-0.1
Let q = -1649 - -1745. Is -4 less than or equal to q?
True
Let i be (-2)/(-3) - (-3)/(-27). Let y(x) = x**2 + 26*x + 71. Let g = 3 + -26. Let a be y(g). Which is smaller: a or i?
i
Let z = -17.7 - -17.5. Let n be (2/(-1))/(3 - 4). Suppose 0 = -4*c - n + 6. Is c <= z?
False
Let l be ((-11)