t as big as 12/5?
False
Suppose -1 = -4*a - 17. Let n(o) = o**3 + 4*o**2 + 3*o + 4. Let i be n(a). Let q(f) = -f - 10. Let u be q(i). Is -4 != u?
True
Suppose 0 = 3*d - 11*l + 8*l + 2463, 4*d + 2*l = -3308. Which is bigger: -826 or d?
d
Let g(t) = -t**3 + 7*t**2 + 7*t + 3. Let k be g(8). Is k != -84/23?
True
Let c(b) = -8*b - 20. Let x be c(-4). Suppose 4*r = 4 - x. Is -2 > r?
False
Let l = 2852/5 + -570. Is -13/3 equal to l?
False
Let a = 100.1 + -100. Let i = -8 + 6. Let k = i + -2. Is k greater than or equal to a?
False
Let s = -80 + 83. Let q be 10/30 + 10/(-18). Which is greater: q or s?
s
Let t be (20/6)/(-5)*30. Let l be (15/10)/((-75)/t). Are l and 1/64 unequal?
True
Suppose -180 + 1062 = -42*t. Do t and -46 have the same value?
False
Let v be 4/(-16)*26*112/(-104). Let n = -11 + 23. Is n greater than v?
True
Let v be (39/13)/(2/(-42)). Let o be (-5)/7 - (-18)/v. Which is greater: o or 2/13?
2/13
Suppose 2*p = 10*p. Let m be (-14)/6 + p + 1. Is m not equal to 1?
True
Let x(z) = -z**3 - z**2 + 7*z + 2. Let v be x(4). Let i = v + 36. Do -16 and i have different values?
True
Let x be (0 - -12)*9*2/(-12). Let t be ((-2)/(-111))/(2/x). Is 1 greater than t?
True
Let a be (10/98)/(34/595). Which is smaller: a or -1?
-1
Let o(z) be the first derivative of -3*z**4/2 + z**3/3 - z**2 + z + 2. Let t be o(1). Let u be 4/(-6) - 16/t. Which is smaller: 0 or u?
0
Let t be 90/135 - (-1 + (-22)/3). Let f = 36 + -26. Let n = f - t. Is n greater than 2/41?
True
Suppose -56 = 161*b - 175*b. Let c(l) = -l**2 + l + 14. Let k(m) = -m + 1. Let p(i) = -c(i) + 4*k(i). Let n be p(7). Is n at most as big as b?
True
Let s = 56756486/259413 + -7220/33. Let n = -817534/39305 - s. Which is smaller: n or -21?
-21
Let k(h) = -h**3 - 34*h**2 + 110*h - 38. Let r be k(-37). Let m = -2 + -4. Which is smaller: r or m?
m
Let a = -59 - -58.96. Do a and 16 have different values?
True
Let g be 112/12*-18*5/(-20). Let x = g + 2. Is x smaller than 45?
True
Let x(g) = 4*g**2 - 5*g + 4. Let z(w) = -w + 1. Let h(t) = -x(t) + 4*z(t). Let q be h(-1). Suppose -14*u - 120 = 10*u. Is q less than u?
False
Let z = -1509 + 1508. Does z = -2/65?
False
Let h = -34 - -30. Let g(k) = -2*k**2 - 4 + 0 - 6*k + k**2 + 2*k**2. Let c be g(6). Is h greater than or equal to c?
True
Let l = -213.2 + 213. Are l and 4/21 equal?
False
Let o = -1014 + 925. Is o greater than or equal to -89?
True
Let r = 0.881 - 4.881. Which is smaller: r or -2/11?
r
Let f = 38.212 - 29.96. Let a = -0.052 + f. Let v = a + -8. Which is greater: v or 0.1?
v
Let s(t) be the first derivative of -t**2 + 25*t - 19. Let a be s(13). Let j = -8089/6286 + 1/898. Which is smaller: a or j?
j
Suppose 42*r + 3880 = 46*r. Let g be 408/r - 4/10. Is g at most 1?
True
Let m = 0.147 + -0.247. Which is smaller: m or 1.4?
m
Let a = 288 - 286. Let b = -2.4 + 0.2. Let k = a + b. Which is greater: k or 0?
0
Let b(h) = h**3 + 13*h**2 + 12*h + 5. Let x be b(-12). Suppose -x*l - 3*l + 56 = 0. Which is greater: 2 or l?
l
Let i = -0.04 + 19.14. Let t = 19 - i. Which is bigger: -20/9 or t?
t
Let f = 87 - 0. Suppose -5*t = -262 + f. Which is smaller: 37 or t?
t
Let o = 31 - 23. Let r be 346/(-2090) - o/44. Let q = 1/19 - r. Which is smaller: -2 or q?
-2
Let o(u) be the second derivative of u**4/2 + u**3/6 + 3*u**2/2 - 8*u. Let q be o(3). Suppose 5*p + q = p. Which is greater: p or -14?
-14
Let w(n) = n**2 + 29*n - 61. Let j be (-18)/(-8 - -2) - 34. Let q be w(j). Is q at most as big as 4/5?
False
Let z(o) = -53*o - 44. Let q be z(-1). Which is greater: 21 or q?
21
Let j = 8877/19 + -467. Which is smaller: -1 or j?
-1
Let q be ((-33)/198)/(4/6). Do -126 and q have the same value?
False
Let s = 2 + 0. Let u = 1.92 - s. Let i = 0.18 + u. Which is bigger: i or 2/7?
2/7
Let j(v) = 3*v + 16. Let t be j(-5). Let u be 1*(0 - t)*1. Which is smaller: u or 3/5?
u
Let c be (7/((-693)/(-96)) - 1)*-6. Which is smaller: 29.4 or c?
c
Let x be 70/(-1080) - (-3)/(-4). Which is smaller: x or 0?
x
Let w = -1.76 - -1.68. Which is smaller: 2/19 or w?
w
Suppose -5*m - 20 = 0, -4*i + 303 - 67 = -5*m. Suppose 6*k - 18 = -i. Is -6 at most as big as k?
True
Let h be ((-1)/(-2))/(36/19827). Let c = h + -275. Which is smaller: 0 or c?
0
Let n = 194 + -327. Let q = 162 + n. Does 30 = q?
False
Suppose -5*j + 4*d - 123 = 0, -20 = -2*j - 4*d - 86. Let m = -51 - j. Which is bigger: m or -25?
m
Let p be -5 - -5 - 4 - -3. Is 9/146 at least p?
True
Let i = 0.35 - 1.35. Let s = -27 - -16. Which is smaller: i or s?
s
Let l(i) = 4*i + 11. Let t be l(-4). Let z be ((-28)/98)/(t/7). Is z <= -4/7?
False
Suppose 5*s = 15, k - 3*s = -0*s - 217. Let v be (-10)/(-45) - k/36. Let q be 3/(-9) + 116/v. Which is bigger: 18 or q?
q
Let r be (4/(-14))/((-6)/(-9)). Suppose -q + 6 = -5*u, -20 = q + 4*q. Let y be (-2 - (u - -2))/2. Which is greater: y or r?
r
Let v = 120/29 + -451/116. Does 16.4 = v?
False
Let s = -15 - -19. Suppose 7 - s = 3*q. Let u be 80/(-25) + q/5. Which is bigger: u or -1?
-1
Let p be 6*3/6 - 16. Let x = p + 62/5. Is x greater than or equal to -2?
True
Let q(k) = -k**3 - 5*k**2 + 17*k + 16. Suppose 106*b - 107*b - 7 = 0. Let m be q(b). Which is smaller: -7 or m?
-7
Suppose -5*v - 136 = -5*z + z, 2*v = 5*z - 187. Is 37 < z?
True
Let b be 6/4*10923/(-99). Do -167 and b have the same value?
False
Let s be 0/9 - (-344)/6. Which is smaller: s or 58?
s
Let d be -5 + (-6)/(-30)*34. Which is smaller: d or 3?
d
Suppose -2*u = 5*x + u, 0 = -3*x + 5*u + 34. Let m(c) = -c + 23. Let d be m(23). Suppose d = -x*b + 4*b. Is b at least as big as 0.3?
False
Let o = -3389 + 3391. Let r be (8/6)/(4/18). Which is smaller: o or r?
o
Let z(u) = 26*u - 432. Let c be z(15). Let k = 8 + -49. Is k bigger than c?
True
Let s(a) = -a**3 + 11*a**2 + 11*a + 17. Let l be s(12). Suppose i - 6*i + l = 0. Let r = 0.73 + -0.58. Is r > i?
False
Let k be 22/33*(-9)/46. Let x = -21 + 22. Which is bigger: k or x?
x
Let a be (-11)/1*((-407)/(-66) + -6). Is -1 at most a?
False
Let a = 213 + -213. Are a and -29 non-equal?
True
Let w(v) = -v**3 + 6*v**2 + 4*v + 21. Let q be w(7). Is q less than or equal to 15/14?
True
Suppose 0 = 4*q - 4*u - 1068, 459 = -4*q + u + 1518. Suppose 14*w + q = 3*w. Are w and 0 unequal?
True
Let u(q) = 13*q - 122. Let z be u(13). Does 44 = z?
False
Let i(x) = -133*x + 532. Let r be i(4). Let z be (-224)/(-118) - (4 - 2). Let q = 420/649 + z. Is r equal to q?
False
Suppose -36*s + 67 = -41. Which is smaller: s or -6/5?
-6/5
Let k(q) = 4*q**2 - q - 21. Let d be k(-5). Suppose -9*t + 5*t = d. Which is smaller: t or -41/2?
t
Suppose 0*u = -4*u. Let a(p) = p**3. Let h be a(u). Which is greater: h or -4?
h
Let u = -112 + 113.63. Let q = 0.37 + u. Which is greater: 0 or q?
q
Let v = 6 - 7. Let k = -2380 - -216578/91. Which is greater: k or v?
k
Let o(q) = -41*q**3 + 2*q - 1. Let m be o(1). Let h be 5*(-2)/m*2. Are 6 and h equal?
False
Let l = 19 + -34. Let o = 14.6 + l. Let n = o - -2.4. Which is smaller: 0.2 or n?
0.2
Let d = -0.03 + -3.87. Let y = d - 14.1. Let b = -12 - y. Which is smaller: b or 0.2?
0.2
Let z be 2/(-5)*5/(-70). Let p = 0.996 - -0.004. Is z less than or equal to p?
True
Let p(j) = -j**3 - 48*j**2 - 272*j - 3. Let k be p(-42). Is k greater than 837?
False
Let v be 8560/(-43384) - (-12)/174. Which is greater: 0 or v?
0
Let q = -2.1 + 2. Let w = -26 + -21. Which is bigger: q or w?
q
Let y be ((2 - 2) + -1)/1. Suppose 12 = -10*j + 11*j. Which is bigger: y or j?
j
Let k(f) = -f**2 - 8*f + 1. Let d be k(-8). Let m be (85 - 2) + (6 - 7). Let t be -3 - m*2/(-52). Which is smaller: d or t?
t
Let i be ((-5)/(-1))/(1 - 2). Let z = -529 - -524. Is i less than or equal to z?
True
Let m = -84 + 96. Let q be ((-64)/m)/(-1)*(-90)/(-8). Is 60 less than or equal to q?
True
Let a = 21 - 19. Let t be a + 3 - (-54)/(-10). Which is greater: 2 or t?
2
Let i be ((-4)/6)/((-46)/69). Let y be ((0 - -2) + -4)*i. Is -8/3 <= y?
True
Let m = -17.52 + 3.22. Let c = -14 - m. Which is smaller: c or 6?
c
Suppose m + 5*p - 32 = -0*p, 3*p = 12. Is m at least as big as 8?
True
Suppose 5*v - 5*l - 155 = 0, 156 = 6*v - v - 4*l. Suppose -3*m = 3*q - 8*q - 14, 4*q + v = 4*m. Is m less than 11?
False
Let i(f) = -4*f**3 + 2*f**2 + 3*f + 25. Let l(o) = -5*o**3 + 3*o + 24. Let c(h) = -6*i(h) + 5*l(h). Let s be c(-12). Which is smal