2 + 13*s - 14. Suppose 3*t + 45 = -3*b - 0, -4*b - 52 = 2*t. Let z be l(b). Are -38 and z unequal?
True
Let q = -1.5 + -0.5. Let j(b) = -b**3 - 5*b**2 + b - 4. Let n be j(-5). Let x be 12/8*(-12)/n. Which is bigger: x or q?
x
Let g be 150508/(-112) + (1 - -1). Let d = -1342 - g. Let z = d - -137/140. Does z = 1?
False
Let q = 0.147 - 2.977. Let h = q + -0.17. Is h at least as big as 2/3?
False
Let d(x) = 2*x**2 - 9*x + 10. Let u be d(3). Are 3/127 and u nonequal?
True
Let s(g) = -g**2 - 17*g - 62. Let r be s(-21). Is -145 <= r?
False
Suppose 0*a + 4*a = 24. Let w be 2/(7*(-6)/(-63)). Suppose -9 = w*g + a. Is -5 less than g?
False
Let t = -1418 + 21268/15. Let y(z) = 2*z + 1. Let n be y(-1). Let s = n - 0. Which is bigger: s or t?
t
Suppose 0 = 3*t + 3*g + 6, g - 4 = 3*t + 3*g. Is t > -11/19?
True
Let f = 15 - 14.96. Let c = f - -0.06. Which is bigger: 0.11 or c?
0.11
Let j be ((-147)/28)/(2/8). Suppose -6*y + 75 = 21. Suppose 0 = v + 31 - y. Is j at most v?
False
Let d = 4 + -13. Let f = 8.01 - 0.01. Let i = f + d. Is 0.2 greater than i?
True
Let f be (-6)/(4/((-16)/(-6))). Let g be (1/f)/((-2)/8). Which is smaller: g or 3?
g
Let o = -17 + 24. Suppose 7*y = 4*y + 3*k + 24, -3*k - 6 = 3*y. Suppose -5*u = -y*u - 12. Are o and u equal?
False
Let t(m) = -m**3 - 13*m**2 + 6. Let k be t(-13). Suppose 5*u = a - 9 - 9, 0 = -2*a - 4*u - 6. Suppose 8 = a*c - 10. Is k at most as big as c?
True
Suppose 0 = -g - 71 + 98. Is 21 at most as big as g?
True
Let w = -119 + 71. Let r = 44 + w. Is r not equal to 18?
True
Let d = -20.2 - -21.2. Is -2/35 at most d?
True
Let t = 890 + 0. Are t and 890 equal?
True
Let x be (-2)/3 + (-515)/15. Let l be x/(-15) - (-2)/(-6). Suppose 5*b = -o + 11, l*o - 6*b + 2*b = -6. Is o at least as big as 4/9?
True
Let x = 49191/20 + -11494/5. Let t = 159 - x. Which is bigger: -1 or t?
-1
Let o = -287 + 286. Which is smaller: -13/7 or o?
-13/7
Let h be 488/1220 - 1/(5/2). Is -5/261 greater than or equal to h?
False
Let n = 224 + -233. Is 0.04 at most as big as n?
False
Let d = 0.31 - -0.27. Let a = -0.68 + d. Which is smaller: -3/10 or a?
-3/10
Let g = 0.89 + -0.89. Which is smaller: g or -640?
-640
Let r = -330 + 330. Let y = -21 - -524/25. Is y > r?
False
Let v = 465 + -458. Which is bigger: 3/62 or v?
v
Let v = 69 - 65. Suppose 3 = v*b - 1. Is 14 at least as big as b?
True
Let g = 338 - 334. Let u = 26 - 6. Suppose -2*p - u = -g*p. Which is bigger: p or 11?
11
Let o be 2/(3 + (-20)/8). Suppose 2*b = -5*s + 10, 4*s = -4*b + 2*b + 8. Suppose -4*i = -3*n - 43, s*i + 13 = 3*n + 42. Which is greater: o or i?
i
Suppose -h - 3*v - 18 = 0, 2*h - 16 = 4*h + v. Let p be (-5 - -1)/(h/(-126)). Let f be (-4)/24 + (-22)/p. Which is smaller: 1/4 or f?
f
Suppose t + 11*z = 9*z + 198, -5*t + 982 = 2*z. Which is bigger: 393/2 or t?
393/2
Let g be -2 - (105/(-33) + 1). Let b = -122.5 + 99.5. Is g smaller than b?
False
Let r(j) = -j**2 - 9*j + 21. Let f be 286/(-39)*(3/(-2))/(-1). Let c be r(f). Which is greater: c or -1/16?
-1/16
Let s = 59/2 + -30. Let z = -643 - -35363/55. Which is smaller: z or s?
s
Suppose -2 - 8 = 2*a. Suppose 11*z - 16*z = -4*y + 17, 4*z + y + 22 = 0. Is z greater than or equal to a?
True
Suppose n - 223 = -5*g - 0*n, g - 5*n = 55. Which is bigger: 43 or g?
g
Let x be 5/60 + 1/(-16). Suppose 3*m = m. Is m at most x?
True
Let v be -11 - ((-6)/(-4))/((-1)/2). Let p be (-10)/v*(-1)/5. Which is bigger: 3/7 or p?
3/7
Let q(j) = -j**2 + 23*j - 19. Let t be q(22). Let d be (-60)/(-63) + 6/(-9). Which is smaller: t or d?
d
Let f = -11.917 - -0.117. Let a = -12 - f. Let o = -10 + 6. Is a at most as big as o?
False
Let p = -252 - -253. Which is bigger: p or 4?
4
Let f = 0 - -3. Suppose -x + 0*x = -f. Suppose x*q + 0*q = 9. Which is smaller: 2 or q?
2
Suppose -4 = 2*u + 3*p, -3*p + 5*p + 6 = -3*u. Let y = -1 + 4. Suppose y = -2*o + 1. Does u = o?
False
Let o = -2.8 - -2.84. Let y = 0.16 + o. Is -1 equal to y?
False
Let b(m) = -m**2 - 14*m - 22. Let v be b(-10). Let o be 3/9*3 + (-14)/v. Is o > -2?
True
Let s = 93 - 93. Suppose s = -3*z + 4*w + 11, 5*z = 2*z - w + 1. Do -68 and z have the same value?
False
Suppose -2*h = -108 - 12. Suppose -2*l - h = -8*l. Which is greater: l or 9?
l
Let s = 0.14 + 20.86. Let a = s + -20.81. Is a > -1/3?
True
Let h = 251 - 252. Are 1/433 and h equal?
False
Suppose d - k + 10 = 4*d, 0 = -d + 3*k - 10. Suppose -3*s - 9 = -d*s. Which is smaller: s or -12?
-12
Let w be (-3)/12 - (-74)/264. Let g = 174 + -173. Which is smaller: g or w?
w
Suppose 5*k = -p + 3*p - 5, 3*p = k + 1. Let q be 14/(-56) + (-146)/(-8). Let s be 75/q*-1 + 4. Is k != s?
True
Let s = 13/50 + -309/2150. Is 1 greater than s?
True
Suppose 7 + 8 = 3*c, -6 = 2*m - 2*c. Suppose -k = -0*k - f + 4, 2*k - 4*f = -m. Suppose 0 = 4*a + 20. Which is smaller: a or k?
k
Let h = 0.268 + -0.308. Which is smaller: h or -26?
-26
Let t be (-4 - -1)/(3/9). Let i(g) = -g**2 - 11*g - 18. Let f be i(t). Are f and 3 unequal?
True
Let s(n) = -3*n**2 + 18*n. Let i be s(6). Let g be (i - 2)*10/(-20). Is g >= -1/43?
True
Suppose 1 + 4 = c. Suppose c*m - 136 = -3*m. Suppose 0 = 2*f - 37 + 1. Is m not equal to f?
True
Let g(b) be the third derivative of -b**5/30 - 5*b**4/24 + 4*b**3/3 + b**2. Let m be g(-5). Which is smaller: 2/3 or m?
m
Let h = -345 - -344.9. Let r = 0.6 - -3.4. Is h bigger than r?
False
Let s = 498 + -17428/35. Let f(n) = -n + 5. Let u be f(8). Let c(j) = -j**3 - 4*j**2 - 4*j - 4. Let h be c(u). Is h <= s?
True
Let o = -12838571/56 - -229251. Let b be -1*(1 - (300/7)/(-5)). Let c = o - b. Which is bigger: 2/3 or c?
2/3
Let k = 59 - 41. Let s = 20 - k. Which is smaller: -3 or s?
-3
Suppose 3*q + 115 - 40 = 0. Let v = q + 26. Which is smaller: v or 14/15?
14/15
Let a = 0.095 - 0.105. Which is smaller: -2/5 or a?
-2/5
Let i(d) = 6*d + 424. Let k be i(-22). Which is smaller: 291 or k?
291
Suppose -3*v + 10 = -5. Let o be (30 - 2)/(v - 3). Is 15 not equal to o?
True
Let g = -73 + 44. Let u = g + 36. Suppose -u - 33 = -4*t. Which is greater: 11 or t?
11
Let m be 1/(-7)*(-3 - -1). Let o = -25 - -23.6. Let h = -0.6 + o. Which is smaller: h or m?
h
Let a = -734 - -732. Do a and 311 have different values?
True
Let m = -232 - -214. Is -23 greater than m?
False
Let x = 6997/8 + -875. Do x and -15 have the same value?
False
Let q = 55 + -54. Suppose q = -5*p + 6*p. Which is greater: -0.2 or p?
p
Suppose -4*p = 5*f + 5, -f + 6*f + 5*p = -10. Let n = -90 + 85. Which is greater: f or n?
f
Let j(h) = 5*h**2 - 9*h + 23. Let t(a) = -3*a**2 + 5*a - 11. Let m(l) = 4*j(l) + 7*t(l). Let g be m(-5). Is -8 less than g?
True
Suppose -5*h - 29 = -0*h + r, -5*h = 2*r + 28. Let m = -123 - -63. Let u be m/16*(-2 - h). Is -15 equal to u?
True
Suppose 261 = 2*s - 221. Is s at most 244?
True
Let b be 4 - (43 + (-2)/1). Which is smaller: -151/4 or b?
-151/4
Suppose -4*s - 360 = -4*l, 3*s = -2*l + s + 180. Suppose 0 = -0*d - 5*d - l. Let q be d/(-15) + 8/10. Does 3 = q?
False
Let m(a) = 2*a - 16. Let z be m(6). Let u = 3 - 7. Does z = u?
True
Let a = 12.3692 - -0.1598. Let o = -0.229 + a. Let d = o + -12. Is -6/11 not equal to d?
True
Let s = -1329 + 946. Is s greater than -383?
False
Let c(f) = -f**2 - 14*f + 35. Let a be c(-16). Let y be (1/a + -1)/(48/(-72)). Suppose 2 = -2*s + 3*s. Which is greater: y or s?
s
Suppose j = -j + 4*s + 16, s - 29 = -5*j. Suppose -j*k = k + 84. Which is smaller: -11 or k?
k
Let f be 1 + 4/20 + (-2676)/(-1120). Let w = -5/56 + f. Let l = -6 - -9. Which is smaller: w or l?
l
Let o be 1/(-1)*((-92 - -4) + -5). Let m = -91 + o. Is 2 >= m?
True
Let d = 24 - 15. Suppose -3*v - 9 = -48. Let h = v + -5. Which is smaller: h or d?
h
Let q(w) = -w**2 - 8*w - 4. Let k be q(-3). Suppose -6*s = -k*s + 5. Let a be ((-4)/14*-1)/1. Are s and a nonequal?
True
Let t(r) = -18*r - 53. Let d be t(-3). Is -6/107 greater than d?
False
Let o = 223/189 + -37/27. Let w be (1 - 0)/(0 + 4/4). Suppose 0 = 36*c - 37*c + w. Which is smaller: c or o?
o
Let b be -4 - (-3)/(-6)*34. Let i be ((-6)/b - (-8)/21)*3. Are i and 2 nonequal?
False
Suppose n - 5*n = 48. Suppose 5*o + l = -57, 2*o - 10*l = -11*l - 21. Let j be o/14*4/n. Which is smaller: 0 or j?
0
Let w be (-23)/105 - 2/(-7). Let z(v) = -v**2 - 35*v - 306. Let m be z(-18). Is w at least m?
True
Suppose -3*o = -2*o - 26. Let 