-2*c**2 - 43*c - 19. Let t be a(-21). Is t equal to b?
True
Let w be -1 + (0 - (-6)/7). Suppose 2*o = -3*a - 16 + 62, -31 = -3*o + 5*a. Suppose 16*v - o*v = -2. Does w = v?
False
Suppose 4*f = 9*f - 105. Suppose o = -3*p - f, 4*p - 2*p = 3*o - 3. Is -6 at least p?
True
Suppose 7*y = 12*y + 15. Let k be (-5)/4 - (y - (-33)/12). Which is greater: 1/64 or k?
1/64
Let r be (2 - 4 - -17)/(-1). Suppose s + 19 = -f, 51*f - 50*f = -5*s - 79. Are s and r nonequal?
False
Let v = -19 + -29. Let l = v + 47. Is l > 1/15?
False
Let p = 3 - 2. Let h be p - -1*(-3 - -2). Let c(f) = f**2 + 8*f + 11. Let r be c(-6). Which is smaller: r or h?
r
Let v(w) = -w**3 - 7*w**2 - 6*w. Let t be v(-6). Let o be -4*(t - 33/12). Suppose 0 = -5*g - o + 1. Does -2 = g?
True
Let q(c) = -7*c**2 - 2. Let r be q(0). Let y be 20 + (r - -1) + (-22)/(-22). Is y smaller than 85/4?
True
Let x(h) = 62*h + 252. Let c be x(-4). Let a = 10 + -4. Is a not equal to c?
True
Let l be 2 - (-6)/(-72)*22. Which is smaller: l or -7?
-7
Let g(i) = -i**3 - 6*i**2 + 7*i + 4. Let m be g(-7). Let j be 2 - (104/17 - m). Suppose -z + 8 = -5*b, 3*b + 17 - 3 = -4*z. Is z < j?
True
Let o = 17 + -13. Suppose n + 22 = o*q, -4*n - q = -2*q + 133. Which is smaller: n or -33?
n
Let f = -111 - -110. Suppose -9 = -4*r + 11. Suppose 9 = -4*t + 1, -r*k - t = 12. Which is greater: k or f?
f
Let r(y) = -5*y**3 - 2*y**2 - y. Let l be r(-1). Suppose -l*a = 5*w + 37 - 13, -1 = -3*a + w. Is -4/7 < a?
False
Let w(v) = v**3 - 18*v**2 - 27*v + 82. Let n be w(18). Is -404 at least n?
True
Suppose 0 = -8*o - 7727 + 391. Is o smaller than -918?
False
Let i(t) = -37*t**2 - 6*t + 7. Let c(a) = -a + 1. Let m(r) = 6*c(r) - i(r). Let x be m(-1). Is 36 > x?
False
Let i be (4 + -2)/((-1)/(-1)). Let u be -3*15/(-18)*14. Suppose 5*a + 21 = f, -13 = i*f - 5*a - u. Is 0 > f?
False
Let y(v) = v**2 - 2*v + 1. Let o be y(1). Let h = -1161.966 - -1162. Is o greater than or equal to h?
False
Let t = 57 - 56.7. Suppose -5*c - 5*b + 30 = 0, 5*c = 2*b + b + 30. Let k(n) = n**3 - 6*n**2 - n + 6. Let l be k(c). Is t at most as big as l?
False
Let s(p) = -p**3 - 6*p**2 + 1. Suppose 9 + 9 = -3*b. Let m be s(b). Let u = -193 + 193.12. Is u at least as big as m?
False
Let z = -862 + 63799/74. Which is smaller: z or -1?
-1
Let b = 0 + 0.05. Let j = 10.05 + -10. Let v = j + b. Are -0.3 and v equal?
False
Let u be -9 + (-13070)/(-240)*6. Is u at least 318?
False
Let j = 169.974 - 170. Let a = 0.974 - j. Which is bigger: a or -0.32?
a
Let m = 0.74 - 0.16. Let w = m - 0.88. Which is greater: -10 or w?
w
Let i = 3/178 + -733/1246. Is i != -2?
True
Let q = -507/28 - -125/7. Which is smaller: 0.277 or q?
q
Suppose p = 10 - 5. Let r be 2/p - 60/275. Is r smaller than -1?
False
Let s be (54/(-405) - (-1)/3)/1. Which is smaller: 1/4 or s?
s
Suppose -4*s + 2*y + 0*y - 3344 = 0, -2508 = 3*s + 4*y. Let m be 2/8 - (-133)/s. Which is greater: m or 0?
m
Suppose 4*v + 12 = -4*g, -3*v + g = -2*g - 9. Which is bigger: -3/142 or v?
v
Let g be (-4 + (12 - 0))*-1. Is -46/5 equal to g?
False
Let n = -236 - -494. Is n smaller than 258?
False
Suppose a = -3*l + 5, 4*a + 20 = 5*l - 28. Let u = -7 - a. Is u != -1/14?
True
Let c = -14 - -13. Let r be (-5)/10 - 741/12. Let v = r - -62. Are v and c equal?
False
Let f = -21 - -65. Let p = f - 46.15. Let r = -0.15 - p. Is 3 smaller than r?
False
Suppose -325*h + 513 = -344*h. Which is greater: -25 or h?
-25
Let p(h) = h - 8. Let a be p(17). Let v be ((-195)/(-12))/(-5)*4. Let j = a + v. Is -6 at least j?
False
Let q = -1367/5 + 274. Let w = -0.9 + 3. Let f = w - 0.1. Which is smaller: f or q?
q
Let s = 1115 + -12263/11. Which is greater: s or 5/14?
5/14
Let x = -238 + 257. Is 15 equal to x?
False
Suppose -91*l - 93 = -92*l. Is 93 <= l?
True
Let a(x) = -21*x - 67. Let s be a(3). Is -131 less than s?
True
Let r = 0.095 - -1.905. Is 1.48 greater than or equal to r?
False
Let g be ((-17)/5 + 1)/(19/(-95)). Let v be (6/(-40))/((-4 - -1)/g). Is 0 at most v?
True
Suppose 5*t + 9 = d, d - t = 5*d + 6. Let o = 14 - 31. Let s = 17.3 + o. Is d at least as big as s?
False
Suppose -5*i - 3*s = 505, -515 = -15*i + 20*i + 5*s. Is i at most -97?
True
Let v be (30*(-2 + 0/(-4)))/7. Let k = -639/77 - v. Let u(b) = b**3 + 3*b**2 - 5*b - 5. Let y be u(-4). Which is greater: y or k?
k
Suppose -4*b + 8 = 5*v - 51, -3*b = -2*v - 27. Suppose w + 3*s - s + 4 = 0, 5*w - s = 24. Suppose -w*l = -l - 36. Which is smaller: b or l?
b
Let p = -3167/4 + 791. Which is smaller: -58 or p?
-58
Let t = -1.9 - 0.1. Let q = t + 0. Let z = -207/2 - -105. Which is smaller: z or q?
q
Let k be 808/(-3696) - 4/(-24). Is 0 bigger than k?
True
Suppose 477*b = 480*b + 387. Is -128 less than b?
False
Let w = 140511841/13481955 + 2/299599. Let q = w + -51/5. Which is greater: -1 or q?
q
Let r(j) = j**3 - 10*j**2 - 10*j - 3. Let h be r(11). Suppose -2*t = -3*p + 10, -3*p = -5*t - 33 + h. Let u be (-2)/4 + (-20)/8. Which is greater: u or t?
u
Let w(o) = o**3 + 5*o**2 - 7*o - 7. Let a be w(-6). Let s = -43/48 + 7/12. Let k = 87/176 + s. Which is smaller: k or a?
a
Let l(k) = 8*k + 3. Let n be l(3). Suppose -2*y - 5*c = -32, -4*c + 91 = 5*y - 23. Which is greater: y or n?
n
Let i = 921.5 - 924. Which is bigger: -0.5 or i?
-0.5
Let w = -62 - -64. Suppose 0 = g - 5*m + 1, 0 = 4*g - 3*m + 3 - 16. Is g bigger than w?
True
Let b = 0.09 - 23.09. Let l = 12 - 38. Let i = l - b. Which is greater: i or -0.1?
-0.1
Let k be 1*(-6)/(-9)*-3. Let o = -14 - k. Let r = 352 + -353. Is r > o?
True
Let g = 3 + -3.22. Let i = 1.78 - g. Is 3 < i?
False
Let t = 64 - 63. Let f(s) = 20*s + 41. Let g(i) = 7*i + 14. Let z(b) = 6*f(b) - 17*g(b). Let c be z(-6). Which is greater: c or t?
c
Let h = 51.22 + -52. Let k = 0.8 + h. Let t = -0.22 + k. Which is greater: -3 or t?
t
Let q be (-4)/(-7) - (-8840)/357. Is q equal to 25?
False
Let w be 33 - -6 - (-2)/(-1 + -1). Are 32 and w nonequal?
True
Let a be (-6)/39 + 786/39. Suppose k + 4*k - 13 = -w, -2*k = -w + a. Let l be ((-24)/9)/(2/w). Is -24 != l?
False
Let u = 0.88 + -0.9. Let b = -0.4 - -0.4. Let i = u + b. Are -0.1 and i non-equal?
True
Let t = -760 + 1289. Do 529 and t have different values?
False
Let k(s) = s**3 - s**2 + s + 4. Let d be k(-2). Let o(m) = -2*m**3 - 5*m**2 - 3*m - 1. Let i be o(-3). Suppose -i - 1 = 2*j. Is j at most d?
False
Suppose 3*v = w + 5, 11*v - 13*v = 4*w + 76. Is w bigger than -16?
False
Let l = -8.2 - -8.3. Let p = l - 0.27. Which is smaller: p or -0.2?
-0.2
Suppose 5*j + 0*j = 80. Suppose -3*m - k + 32 + j = 0, -5*k = -3*m + 30. Let a = m + -14. Which is smaller: 0.3 or a?
0.3
Let m(v) = 2*v**3 - 22*v**2 - 27*v + 9. Let b be m(12). Is -20 at least as big as b?
True
Let h be 1*((-12)/4 - -2). Let p be ((-187)/(-22))/(1/(-2)). Let w be (p/(-34))/(21/2). Is h not equal to w?
True
Let z = 41 - -25. Which is bigger: z or 67?
67
Let l(s) = -2*s**2 + 15*s + 22. Let a be l(9). Let g = -4 - a. Is g > -4/39?
True
Suppose 0 = -2*l - 108 + 88. Which is greater: l or -21?
l
Let w be (1 + 1)*3/(-6). Let u be 150/375 + (1664/940)/(-4). Is u >= w?
True
Let s(v) = -v**3 - 3*v**2 - 8*v + 20. Let y(i) = -3*i**3 - 10*i**2 - 25*i + 59. Let g(h) = 17*s(h) - 6*y(h). Let m be g(-7). Which is smaller: m or -19?
-19
Let b(z) = z**3 - 4*z**2 + 4*z - 5. Let q be b(4). Suppose u = 2*i - 22, -2*i - 4*u + 30 = 8. Is i less than or equal to q?
True
Suppose 24 = 8*o - 0. Suppose -126 = -2*q + 4*l - 9*l, o*q = -l + 163. Which is greater: 52 or q?
q
Let c = 450 - 10348/23. Suppose 5*r - 729 = -649. Is r at least c?
True
Suppose o + 5 = -2. Let m be 3/o - (-616)/(-49). Which is greater: m or -1?
-1
Let x = -253/52 - -99/13. Let i = -9/4 + x. Which is smaller: 0 or i?
0
Let g(p) = p**3 + 9*p**2 - 23*p - 8. Let n be g(-13). Is -384 at least as big as n?
True
Suppose -16*n = 1355 + 5957. Is -458 < n?
True
Let v(j) be the first derivative of j**3/3 + 9*j**2/2 + 3*j + 1. Suppose 4*a = -2*g - 38, -2*g - 12 = g - 3*a. Let i be v(g). Is 2 < i?
True
Let s = -19 + 24. Suppose s - 3 = -2*f. Let g = -1/3 - -2/3. Do g and f have different values?
True
Let r = -41 + -53. Let h = r - -125. Which is bigger: h or 3/4?
h
Let o = -2186/3 - -715. Which is smaller: -13 or o?
o
Let z(h) = 38*h**3 - 1 + 17*h - 38*h + 22*h. Let r be z(1). Is 39 < r?
False
Let f(o) = -o**3 + 6*o**2 + 4*