1?
-31
Let b = -113 - -119. Let t be 6/1448*(b - 2). Are t and 1 non-equal?
True
Let c = -1225.3092 - -1225. Let f = c + -0.0908. Which is bigger: f or 39?
39
Let u = 53.42 + -58.42. Do u and 2.7 have different values?
True
Let d(b) = 6*b + 35. Let g be ((-6)/20)/((-60)/550)*4. Let m(h) = h**3 - 10*h**2 - 13*h + 13. Let u be m(g). Let a be d(u). Are a and -39/2 equal?
False
Let d(b) = -b**2 + 3*b + 2. Let q be d(3). Let h be ((-2)/q)/(3 + -2). Let s be 2 + 432/(-273) + 176/(-308). Which is bigger: s or h?
s
Suppose -2*j - 2*j + 16 = 0. Suppose 0*d = j*d - 20. Suppose -5*m + 0*t + 15 = 2*t, 3*m - d*t + 22 = 0. Which is greater: m or 1/28?
m
Let l(i) = 110*i - 5040. Let w be l(44). Which is smaller: w or -23?
w
Let z be (-27109)/(-255) + (-424)/(-106). Let g = -331/3 + z. Let c(p) = p - 3. Let h be c(4). Which is smaller: g or h?
g
Let f be 9/(63/(-2)) + 4/14. Suppose f = 5*u - 59 - 26. Suppose -u*y = -21*y. Is y at most 6?
True
Let y(b) = -7*b + 6. Let s be y(2). Let a be (7 - (-2 - s))*(-1 - -1). Suppose 32 + 77 = -4*x + 3*l, 0 = -3*x - 4*l - 63. Which is smaller: a or x?
x
Suppose -n + 13 = -2*n. Let v(d) = d**3 + 4*d**2 - 14*d + 4. Let y be v(-6). Suppose 0 = -y*w - 165 - 75. Which is greater: w or n?
n
Let d be (-2 + (-1131)/(-573))*4/(-10). Let i = 187/382 + d. Let r = 27 + -22. Is r equal to i?
False
Suppose -53*h = -56*h - 72. Let m(k) = k**2 + 27*k + 116. Let a be m(h). Which is smaller: 42 or a?
42
Let c = -18363/518 - 13/259. Suppose d - f - 4*f + 16 = 0, -3*d - 88 = -5*f. Let g = c - d. Are g and 0 nonequal?
True
Let u be (6/362)/(24/(-20)*29370/264). Which is smaller: -1 or u?
-1
Suppose -428 = -36*j + 35*j. Suppose -3*y + 187 = -3*x - j, 0 = 2*x - 4. Which is smaller: 208 or y?
y
Suppose -h + 48 = 3*q, -2*h - 4*q + 56 = -8*q. Suppose i + h = -i. Let s be (-2)/3 + (-98)/6. Which is smaller: s or i?
i
Suppose -4*y + 2*d = -110, -2*y + 95 = 2*y - 5*d. Suppose 0*l = -l + y. Which is smaller: l or 27?
27
Let b(c) = 46*c**2 + c + 1. Let n be b(-1). Let x be ((-2)/n)/(-2 + 1). Let f = 26135.6 + -26136.6. Which is bigger: f or x?
x
Let s be -5*1*882/49. Let q be 3/15 + (-1782)/s. Is 21 smaller than q?
False
Let j be (-18 - -6)/6 + 2. Suppose j = -4*a + i + 39, 3 + 1 = 4*i. Is 48/5 <= a?
True
Suppose f = 8*f - 11368. Suppose -6*c = 34 - f. Let q = -4769/18 + c. Which is bigger: 0 or q?
q
Suppose 5*t - 30 = p, 25*t - 21*t - 200 = 4*p. Let u = 62 + p. Let m(b) = b**2 + 5*b + 3. Let o be m(-4). Which is bigger: o or u?
u
Let l = 202 - 194. Let d be 3 + (4 - l - -1). Do d and 4 have the same value?
False
Let a(u) = -u**2 + 9*u + 918. Let w be a(46). Is -788 at least w?
False
Let p = 26234 - 26235. Let z be ((-5)/(-164))/(3/12). Which is smaller: p or z?
p
Suppose m = -2*k - 16, -3*m - 3*k + 11 = -5*m. Let n be ((-3)/6)/((-1)/m). Suppose 0 = 579*a + 296*a + 904 - 2654. Is n less than or equal to a?
True
Suppose -24*t + 18*t - 384 = 0. Is t < -61?
True
Let s = -527 + 524. Let o be (-6 - 24)*(-1)/(s/(-6)). Which is smaller: o or 61?
o
Suppose 0 = 2*m + 22*m + 28*m - 106392. Is m greater than or equal to 2046?
True
Let d = -100078/3519 + 256/9. Which is smaller: 1 or d?
d
Let z(x) = 13*x**2 + 861*x + 319. Let j be z(-66). Let f = 346 + -224. Are f and j equal?
False
Let f be (3 - (0 + -1)) + -3. Let n = -132199973/35 + 3778363. Let t = -1221 + n. Which is smaller: f or t?
t
Let j(o) be the third derivative of o**6/120 + 5*o**5/12 + 49*o**4/24 - 5*o**3/3 - 178*o**2. Let u be j(-22). Is u at least as big as 364?
True
Let c = -6.768 - -7.234. Are c and -0.1 unequal?
True
Let t = -152 - -64. Let f(g) = 5067*g - 30488. Let j be f(6). Which is smaller: j or t?
t
Let t(x) = x**3 + 3*x**2 + 2*x + 1. Suppose -8*g = -0 + 24. Let w be t(g). Let n(k) = -k**2 + 4*k + 2. Let c be n(6). Is w != c?
True
Suppose -71*k + 56*k = 195. Is 14 > k?
True
Let m = -3563 - -5217. Is m at least 1654?
True
Let o = 946 - 21755/23. Let r = -13 - -15. Let y be -3 + (r - (1 + -1)). Is y at least as big as o?
False
Let o = -7 + 13. Let s be 7/(5 + -12)*-3*1. Suppose -s*b + 89 = 95. Is o at most b?
False
Suppose -f + l - 1 = -2, 4 = 4*f + 3*l. Let k be (36/45)/4 - (-144)/5. Which is smaller: k or f?
f
Let z = 341 - 339. Suppose x = -j + 31 + 32, z*x - 116 = 3*j. Is 57 at least x?
False
Let x = 94 - 93. Let r be x/(-3) + 3 + (-4162)/1563. Let f = r - -6765/2084. Which is smaller: 4 or f?
f
Let a = -475.43 - -475.4. Is 149 not equal to a?
True
Let i = 3025 + -1820. Which is smaller: 1206 or i?
i
Suppose -24*j = -5*j + 6422. Let s = 4731/14 + j. Do s and -2/7 have the same value?
False
Let d = -72.025 - -0.025. Let f = -0.0687 - -73.0687. Let p = f + d. Which is smaller: 11 or p?
p
Let g(m) = m**2 + m + 2. Let d(p) = 23*p**2 - 24*p - 4. Let f(c) = -d(c) - 4*g(c). Let y be f(3). Is y greater than or equal to 1/4?
False
Let j = -480 - -469. Let r = 11 - 35. Let q be 254/r + 7/28. Which is bigger: q or j?
q
Let r = 3148 + -3125.2. Is 34 greater than r?
True
Suppose 4*x - 3*x - 165 = -5*n, -n = 3*x - 47. Let f be 8/n - (-30)/(-24). Let j = -50/9 - -1027/180. Are f and j equal?
False
Suppose -6*t + 4 = -7*t, -4*s + 3*t = -168. Let h(r) = r**2 - 2*r - 8. Let q be h(-6). Do s and q have the same value?
False
Let q = 223/156 - 19/12. Let u = -24 + 24.26. Is u < q?
False
Let t be (-18)/34*(-2)/12. Let v = 364 + -358. Suppose v*c + 6*c = -12. Which is bigger: t or c?
t
Let s(q) = -q + 9. Let f be s(3). Suppose -f*n = -5*n. Which is smaller: n or -0.6?
-0.6
Let d(v) = 2*v**2 + 9*v - 2. Let j be d(-5). Suppose -20*h + 23*h + j = 0. Let z be (h + 0)/((-5)/(-5)). Is z equal to -5/16?
False
Let t be -1 + 14 + 2 + -5. Let u be 33/(-180) - (1 - 16/t). Is 0 less than u?
True
Let i = 111 + 17. Let x = i + -63. Let r = x - 59. Is 13/2 > r?
True
Suppose -206507 = 83*b + 685466 + 110086. Do b and -12073 have different values?
False
Suppose i = 29 - 31. Let z be 1/(i/8) - (-564)/108. Which is bigger: 0 or z?
z
Suppose 0 = 28*n + 33751 - 97899. Are 0 and n non-equal?
True
Let n = -2.2296 - -2.3296. Which is smaller: n or -5801?
-5801
Let g = -3253 + 3252.6509. Let v = 0.0509 - g. Are 1/48 and v nonequal?
True
Let s = -14483 - -12419. Which is smaller: -2065 or s?
-2065
Suppose -1396 = -2*b - 4*p, 3*b = p - 2*p + 2109. Suppose 2*k - b = 18*k. Which is smaller: -43 or k?
k
Let x(s) = s**2 + 19*s + 22. Let g be x(-10). Let p = g + 75. Suppose -3*d + q = -122, 4*d - 4*q = -p*q + 167. Is d greater than or equal to 41?
True
Let g = 2480 - 2534. Let b = -53 + 104. Let m = b + g. Which is smaller: -2/3 or m?
m
Let a be 2 - 2 - 2/32. Let i = -45 - 162. Let q = i - -204. Are a and q nonequal?
True
Suppose 4*i + 402 = -2*r, -r + 387 = -3*i - i. Which is smaller: i or -1094/11?
-1094/11
Let s = 86 - -48. Let t = 100 - s. Which is smaller: t or -3?
t
Let w = 10246/101 - 586655424/5782957. Are -1 and w unequal?
True
Suppose f + 58 - 50 = 0, 4*g + 4*f + 28 = 0. Let w be (3/236)/(21/(-3984)). Let v = w - -17/7. Which is smaller: v or g?
v
Suppose 0 = -66*m + 118*m + 2704. Do -42 and m have the same value?
False
Suppose -92 = -3*v + 4*s, -5*s = -3*v + 32 + 71. Let w(z) = -z**3 - 6*z**2 - 6*z + 1. Let n be w(-5). Is n at least as big as v?
False
Let u = -163 - -164. Let g be (-1)/7 - u/(-56). Is g equal to -14?
False
Let d be (-8)/60*-5*-3. Let j be (d + (-10)/(-4))*138. Do j and 69 have the same value?
True
Let g(p) be the second derivative of -23*p**3/6 + 93*p**2/2 + 2*p - 25. Let u be g(4). Is u at least -6/187?
True
Let q = 24159 - 24299.03. Let c = 140 + q. Is c >= 0.1?
False
Let v(j) = j**3 - 5*j**2 - 6*j. Let o be v(6). Let u be (-2255)/4334 + 133/(-14) + 10. Which is smaller: o or u?
u
Suppose 0 = 147*q + 477*q + 24*q + 1008936. Is -1557 < q?
False
Let l = -267.111 + 5.011. Let o = -262 - l. Is o < -12/25?
False
Suppose -181*g + 262*g = 0. Let u = 3814/31 + -123. Is u < g?
False
Let q be -156*13/1040 + 18/15. Let y = 0.01 + 0.39. Which is smaller: q or y?
q
Let n = -499.8 - 302. Which is greater: n or 0.1?
0.1
Let t = -184 - -103. Let v = 81.1 + t. Is v at least as big as -49?
True
Let q(g) = 7*g**3 + 64*g**2 + 50*g + 249. Let l(x) = -4*x**3 - 32*x**2 - 25*x - 125. Let y(t) = 5*l(t) + 3*q(t). Let j be y(-31). Is j >= 0?
True
Let m = -0.374 - -178.508. Let z = m + -178. Which is smaller: z or 1?
z
Suppose -2*b - 3 