l to o?
True
Let j(z) = z**3 + 8*z**2 + 8*z + 3. Let w be j(-7). Let h = w + 8. Suppose -h*p - 60 = p. Is -13 greater than p?
False
Let g(l) = l**3 - 9*l**2 + 3*l - 10. Let w be g(9). Let z = w + -15. Suppose 2*f - 5*x + 8 = -17, 3*f - z*x = -10. Is f at most 0?
True
Suppose -1 = 2*i + 15. Let o(w) be the second derivative of 2*w**5/5 + w**4/12 + w**3/6 - 9*w. Let p be o(-1). Does p = i?
True
Suppose -3*t + 3*o = -69, -3*o - 33 = -4*t + 54. Is 17 less than t?
True
Let c = 663 + -667. Which is smaller: 9 or c?
c
Suppose 2*y = 8, -4*v = -5*y - 20 - 16. Suppose -10 = 2*g + v. Is g greater than -12?
False
Let k be ((-4)/74)/(20/((-5)/1)). Are 0 and k non-equal?
True
Let a = 25 + -23. Suppose 2*v + 41 = -5*d, -3*v - 62 = -v - a*d. Let x be 1/7 + 60/v. Are x and -5/9 unequal?
True
Let h = 1050 + -1053. Are h and -176 unequal?
True
Let c be 11/14 + (-150)/35 + 4. Let t(d) = d + 7. Let x be t(-6). Let i = c - x. Do 0 and i have different values?
True
Let v = 0.8 + -0.74. Let i = v - -0.94. Let w = -749/153 + 43/9. Is i != w?
True
Let l = 142.3 + -242.5. Which is bigger: 1 or l?
1
Let m = 781 - 550. Suppose 0 = 3*t + 4*t + m. Which is bigger: -1/4 or t?
-1/4
Let f = -236 - -1186/5. Let p be -27 + (0 - (1 - 2)). Let x = -26 - p. Which is greater: x or f?
f
Let o = 64 + -39. Let z = o - 14. Suppose 0 = -8*n + z*n. Which is bigger: n or 1/6?
1/6
Let z = 234.9 - 235. Let o = -36.9 + 4.9. Is o not equal to z?
True
Suppose -4*b + 23 - 3 = 0. Suppose 0 = -4*w + 5*t - 0*t + 3, b*w - 5*t - 5 = 0. Suppose -3*l + w*m = -8*l + 8, -3*m = -2*l + 7. Are 3 and l equal?
False
Let t(w) = w**3 - 10*w**2 - 8*w + 2. Let p be t(10). Let h = p + 81. Which is smaller: 11/6 or h?
11/6
Let r(z) = -z**2 - 11*z - 2. Suppose -6*o + 2*w = -2*o + 36, w + 26 = -2*o. Let g be r(o). Which is greater: g or 2.9?
2.9
Let b = 25748 - 39523182/1535. Is 1 != b?
True
Let f be 160/(-414) - 10/45. Which is bigger: f or -2?
f
Let g = 0 - 0. Let o = g + 5. Suppose 0 = q + q + o*b + 8, -4 = 4*q + 4*b. Do -2 and q have the same value?
False
Let q = -34 - 99. Suppose -3*d - 4*g - 376 = 0, -5*d - 4*g - 479 - 161 = 0. Which is greater: d or q?
d
Suppose -15*p = -13*p + 3*c + 1, -3*p + 5 = -2*c. Which is bigger: 0.3 or p?
p
Let x = 15 - 15. Let c be x + 2 - (2 + 28). Let s be (-21)/c*16/15. Which is bigger: 0 or s?
s
Suppose -d = -0 + 4. Let r be (-140)/72 + (-6)/d. Suppose -8*i = -4*i. Is r less than i?
True
Let f = 1043 + -1045. Are 0.57 and f nonequal?
True
Let d = 9948 - 129132/13. Is d greater than 15?
False
Let o be 6/(-15) + 3/(75/35). Which is smaller: -4/53 or o?
-4/53
Let r = 44253/58 - 763. Suppose 0 = -1891*x + 1882*x + 9. Are r and x unequal?
True
Suppose -5*x = 3*d - 2*x - 18, -5*x = -d + 30. Let i = -6 - -12. Let g be d*(i/(-15) - -2). Is g smaller than 16?
False
Let c = 6.6 - 0.6. Let q = 2.1 + -8. Let x = c + q. Does x = 4?
False
Suppose 4*d - 4 = 3*d. Suppose v + d = -3*v. Let k be -4 - (288/(-141) - 2). Which is bigger: v or k?
k
Let t = -14 - 26. Let u = -40.3 - t. Which is smaller: u or -2/3?
-2/3
Let r = -12 + 8. Let g be -1 + 78/r - (-4 - -1). Which is bigger: -17 or g?
-17
Let z be (2/3)/(2/36). Let i = z - 10. Let q be 1/i - 1/2. Is q at most 2/5?
True
Suppose -x = -2*m + x + 2, -2*m - 4*x = -20. Suppose m*v - 2*v - 3*h - 14 = 0, 4*v - 2*h - 12 = 0. Is v less than or equal to 6/5?
True
Let s be 5*16/600 - 4. Which is smaller: -5 or s?
-5
Let z = -0.025 - -25.025. Let s = z - 14. Let f = s - 8. Is f less than -1/4?
False
Let a be (((-255)/6)/(-5))/((-3)/(-6)). Is 174/11 < a?
True
Let i = 128 + -44. Let n be 154/(-24) - 21/i. Is n at most -7?
False
Let w = 2693 + -2692. Let o = -575 + 15527/27. Is w at most o?
False
Let l be 68/17 - (1 - 2). Suppose g = -l*o - 9, -3*o - 8 = -3*g + 1. Is g at most as big as -1/16?
False
Suppose 2*d = -10, 0*d - d + 179 = 8*t. Suppose 3*z - 2*n + n - 71 = 0, 2*z - 4*n - 44 = 0. Let c = z - t. Is 1/7 < c?
True
Let q be -48*(56/105)/(4/(-10)). Does q = 64?
True
Suppose 941*p - 136 = 958*p. Suppose 0*l - 196 = 2*l. Let f be (p/10)/(l/280). Which is greater: 2 or f?
f
Let m = -1 - -2. Let r(l) = -5*l - 1. Let u(j) = -j + 11. Let o be u(11). Let a be r(o). Are a and m unequal?
True
Suppose 0 = 4*y - 80 - 56. Suppose 5*n = r - 5 + y, -2*r - 2*n = 10. Let l = r - -14. Is 19/5 less than l?
True
Let y(r) = r**3 - r**2 + r - 1. Let p(l) = -l**3 - 7*l**2 + 6. Let b(s) = p(s) + 2*y(s). Let j be b(8). Let w = j - -139/3. Does 1 = w?
False
Let p = 0.44 - 0.568. Let a = 0.248 + p. Is 5 greater than or equal to a?
True
Suppose 5*w - 26 + 21 = 0. Let i be (-9)/(-3) + 1*-11*w. Which is greater: -9 or i?
i
Let b be -31 - ((-12)/(-3) - 4)/1. Let m = b + 57. Is 24 < m?
True
Let s = -82 - -81.858. Let c = s + 0.042. Is c less than or equal to 10?
True
Let v = 2624/21 - 37/7. Which is greater: v or 120?
120
Let i(d) = 2*d**2 - 12*d + 15. Let f be i(-5). Which is smaller: f or 119?
119
Let v be (-3)/(-2)*29/(-348). Let f(m) = m**2 - 2*m - 1. Let t be f(2). Which is bigger: v or t?
v
Let i = 1702 - 49356/29. Which is smaller: i or 0?
0
Let n = 955 + -1177. Which is bigger: 0.1 or n?
0.1
Suppose 4*f = 8, 0*i + 4*i = -3*f - 154. Let l be i + 0 + -1*2/1. Is 0 less than or equal to l?
False
Let v(t) = 4*t**2 + 19*t + 4. Let p be v(-8). Is p greater than 108?
False
Suppose 0 = -2*q + 4*z - 2*z + 14, 0 = -2*q + 4*z + 24. Let y be (-2)/(-4)*(-34)/1. Which is greater: q or y?
q
Let f(a) = -14*a - 36. Let p(u) = 5*u + 12. Let m(l) = 6*f(l) + 17*p(l). Let t be m(7). Let v(d) = 6*d**3 + 3*d**2 - d - 3. Let i be v(-1). Does t = i?
True
Let p(u) = -3*u**2 + 2*u - 1. Let s(n) = n + 7. Let o(i) = -2*i**2 + 3*i - 4. Let d be o(2). Let b be s(d). Let w be p(b). Which is smaller: -7/3 or w?
-7/3
Let a be 18/(-51)*1/27. Let s = -415 + 414. Which is smaller: a or s?
s
Let f = -63 + 70. Are 14 and f nonequal?
True
Let g be 4/1 + (57 - 3)*-1. Is -49 greater than g?
True
Let t = 55 + -55.002. Is t < 4?
True
Let b(g) = -11*g + 109. Let z be b(18). Is z <= -87?
True
Let k = 21675 - 21656. Let c(h) = -8*h - 3. Let y be c(-2). Do y and k have the same value?
False
Let t = 24/17 + -134/119. Let i = 9 + -9.18. Let g = 0.21 + i. Which is smaller: t or g?
g
Let s = 1243 - 710. Is s greater than 532?
True
Let l(r) = -81*r - 2117. Let q be l(-26). Let o be ((-2 + -10)*-1)/(-1). Which is bigger: o or q?
q
Suppose -33*v - 221 = -16*v. Which is bigger: -18 or v?
v
Let k = 226 + -208. Let c be (-3)/2*-14 - 0. Is c greater than k?
True
Suppose 2*l + o = -17, 2*l + 11 = -3*o - 12. Let i = -7 - -13. Suppose -12 - i = 2*c. Which is smaller: c or l?
c
Suppose -5*c + 24 = -n - 18, -2*n - 3 = -c. Suppose -4*f = -4*b + 24, f = 4*b - 9 - c. Suppose -6*t + 6 = -t + 4*j, t + 18 = b*j. Is -5/9 equal to t?
False
Let s(t) = t - 5. Let o be s(9). Let h be ((-10)/o)/(7/(-70)). Let d be (20/h)/((-2)/1). Are d and 0 equal?
False
Let z be 5/(-9*(-16)/84). Is 2 <= z?
True
Suppose 20*z = 11*z + 207. Let n = -23 + z. Do n and -1/248 have different values?
True
Suppose -4*b - 30 - 86 = 0. Suppose -s - s = 66. Let l = s - b. Which is smaller: -7 or l?
-7
Let x(b) = b**2 + 18*b - 49. Let k be x(-16). Is k less than -82?
False
Let u = -26 + 36. Suppose -g + u = -3*g. Suppose 25 = 4*b + 5, b - 17 = 3*o. Which is smaller: g or o?
g
Let c = 22541/4 - 5786. Which is smaller: -152 or c?
-152
Let j = 6/851 + 36569/3404. Are 11 and j non-equal?
True
Let c be (-2 + 0)*3/(-210). Let h(i) = -i**2 - 20*i + 384. Let m be h(12). Which is smaller: c or m?
m
Let s be 19/(-57) + (-13)/(-3). Suppose 5*o - 1 = 3*w + 10, -s*w + 24 = 3*o. Let r = -4 + o. Are -1 and r equal?
False
Let w be 2/(-3)*(8 - 5). Are -3 and w equal?
False
Let s be 3 - 1 - 2 - 45/20. Suppose a - v + 7 = -3*a, 0 = 5*a + 4*v + 35. Which is greater: a or s?
s
Let q(t) = 47*t + 1. Let n be q(-4). Let y = n + 1291/7. Is 1/3 less than y?
False
Let n(g) be the second derivative of g**6/360 + g**5/60 + 2*g**3/3 + g. Let t(i) be the second derivative of n(i). Let h be t(2). Which is bigger: 9 or h?
9
Let z = -4166/37995 + 14/149. Is z > 1?
False
Let s = -4 + -7. Suppose 0 = 2*b + 19 - 5. Let k = -18 - b. Is s smaller than k?
False
Let r(b) be the second derivative of -b**4/12 + b**3/6 + b**2/2 + 3*b + 4. Let y = -1 + 3. Let j be r(y). Is j less than -2/33?
True
Let t = -6.93 - 0.07. L