 + (p/(-110))/(2/5). Is j greater than 36?
False
Let l(s) be the first derivative of -2*s**3 + 15*s**2/2 - 45*s + 205. Let d be l(3). Is -54 greater than d?
False
Let g be (-7 + 7)*2*2/(-16). Is -37/57 != g?
True
Let d(k) = 11*k + 542. Let w be d(14). Which is greater: w or 695?
w
Suppose -3*p + 2*m + 38 = 16, 0 = 2*p - m - 13. Suppose -p*q = -4*n - 264, 4*n = -2*q + 43 + 83. Which is greater: q or 66?
66
Suppose 3*t = -5*f - 570, 54 = -f + 5*t - 32. Suppose 0 = 35*g + 1644 + 2241. Does f = g?
True
Let c = 0.18 + 0.02. Suppose 5*g - 12 = -2. Let v be 11/(-15) - ((-84)/(-45) - g). Which is smaller: c or v?
v
Suppose 0 = 62*c - 155*c + 386510 - 129179. Which is smaller: c or 2766?
2766
Let t = 11 + -6. Suppose 0 = t*x - 2*x + 9. Let c be (972/(-270))/((-36)/(-30)). Is x less than or equal to c?
True
Let m be (168/(-196))/((-2)/(-28)). Let n = -30655/6 + 5098. Which is smaller: n or m?
m
Let t = 65465.1 + -65466.1. Let r = -29.9 - -33.16. Is r at most t?
False
Let d = 73 + -71. Suppose -d*n = -5*i + 32, -2*n + n - 2*i - 25 = 0. Let a be 1*((-66)/n + -1). Do a and 3 have the same value?
False
Suppose -6*j - j - j = 0. Suppose j = 12*b + 11*b + 46. Which is smaller: b or -25/14?
b
Suppose b + 78 = -2*o, -3*o + 96 = -6*o - 5*b. Is -41 smaller than o?
False
Suppose 3*r = -r. Let x be (-7)/(-1) - (6 - (-9 - -8)). Is x less than or equal to r?
True
Let s = 1140 - 7995/7. Let w = -131 - -133. Suppose 41*n + 84 = w. Is s > n?
False
Let q(l) = -l**3 - 16*l**2 + 17*l - 6. Let j be q(-17). Let u = -2 - j. Suppose 5*w = w + x - 2, -2*x = -2*w - u. Is -4/9 > w?
False
Suppose 0 = y - 7*y - 6. Let n be (-49 - -12)*y/1. Let l = n - 27. Is l bigger than 8?
True
Let v = -497 - -718. Let l = v - 196. Is l < 0.3?
False
Let h be 120035/(-13) - (-204)/442. Is -9233 bigger than h?
False
Let t = 37/39 - 931/858. Do t and 0 have the same value?
False
Let k = 5874 - 5874. Suppose 3*y - 2*o = -3*o + 121, -2*y + 64 = 4*o. Which is smaller: y or k?
k
Let s be 14/4*928/(-812) + 4413. Is s >= 4410?
False
Let x be ((-4)/(-14) - 108/(-14))*570/82232. Which is smaller: x or 0?
0
Let b = -44 + 44. Let k(j) = -14 + 9*j + j**2 + 7*j - 4*j. Let y be k(-13). Which is bigger: b or y?
b
Let d be ((-85816)/(-370))/(28/5 + -6). Let c = d + 580. Is 0 < c?
True
Let k = 0.0119 - -494.9881. Let n = k - 493. Is -116 greater than n?
False
Let a = -38 - -39. Let t be -104*a*(-33)/66. Is 52 greater than or equal to t?
True
Suppose 6*m - 29 = 7. Let f be ((-4)/(-7))/(m/(-21)) - -128. Is f less than 126?
False
Let c = 4221 - 4220. Is -4/1077 < c?
True
Let v be 32/240*-10*(-2)/(-4). Is v greater than -10/51?
False
Let x be (55/(-10) + 6)*2. Let z(a) = -12*a**3 - 2*a**2 + 2. Let s be z(x). Let i = 0 + 2. Which is smaller: s or i?
s
Suppose -528 = 53*h - 9*h. Which is smaller: h or 152?
h
Let o = 373026 + -26858431/72. Is o not equal to -9?
True
Let d = 4 - 2. Let t be (76/(-8))/((9 + -2)/(-14)). Suppose -6 = -w + d*x, -4*w + 2*x + t = -29. Which is greater: w or 15?
15
Suppose 9*k + 3*i = 6*k + 1464, 4*k = -i + 1970. Is k <= -4/3?
False
Suppose 6 = 2*v, 0 = 4*j + 3*v - 13 - 36. Let m be j*1/(-4)*-2. Suppose m*t + 50 = -65. Is t > -1?
False
Let v = -0.06 - -0.21. Let w = -15112 + 287126/19. Which is greater: w or v?
v
Let h be 74/26 - (4/(-26))/1. Suppose 0 = 4*u + 16, -s + h*s = -5*u - 22. Is s at least -2/125?
False
Let o be (18/8)/(2/(-8)). Suppose 54 = 2*i - 10. Suppose 4*t + 3*y = 7*y - i, -5*t - 64 = 3*y. Which is bigger: t or o?
o
Let y = 128 - 125. Suppose 4*u + 5*m + 29 = 6*m, -y*u + 2*m = 18. Is u <= -3?
True
Let s = -24 + 26. Let l be 2 - -2 - -4*s. Suppose -l*v = -3*v - 144. Is v != 15?
True
Suppose 1002*c = 1003*c + 2*h + 79, 0 = c + 3*h + 79. Which is greater: -44 or c?
-44
Let k = 0 - 0. Let n be (-1 + (-1)/84)*(-4)/(-2). Let v = n - -46/21. Is v at least k?
True
Let f = 38 - 25. Suppose 15*y - f*y = 36. Is 18 less than or equal to y?
True
Let n = 2.5 + -0.5. Let x(c) = 31*c**2 - 100*c + 100. Let b be x(1). Which is smaller: b or n?
n
Let i(j) = j**3 + 23*j**2 - 484. Let x be i(-22). Which is bigger: x or -1/12420?
x
Let d = 0.01929 - 0.10929. Does d = -8/17?
False
Let t be 0/((-1)/(-3) + (-4)/(-6)). Suppose t = -16*m - 36 - 108. Which is smaller: 11 or m?
m
Let x = -21643 - -21643. Is 18801 > x?
True
Suppose -3*i + 2*q - 18 = i, 0 = -4*i - 5*q - 11. Suppose -271*v = -266*v - 10. Suppose -3*z = 6*y - 10*y + 5, -v*z = -y. Is i greater than or equal to z?
False
Let j(f) = 336*f. Let x(n) = n + 2. Let h(o) = j(o) - 4*x(o). Let u be h(2). Is 656 greater than or equal to u?
True
Suppose -9*o + 4 = -32. Suppose 45 = -4*l + 5*g, 5*l + o*g + 90 = -g. Let t(s) = s**3 - 4*s**2 - 7*s - 4. Let x be t(5). Are l and x unequal?
True
Suppose -34*g - 9287 = -2268 + 5527. Is -369 smaller than g?
False
Let t be (-154)/(-10)*(-22 + (-2340)/(-105)). Which is greater: 4 or t?
t
Suppose -g - 2*z + 340 = 0, 2*g = -5*z + 653 + 29. Suppose 0 = 2*q - y - 222, 3*y + g = 3*q - 0*y. Suppose -2*b = -q + 10. Which is bigger: 51 or b?
51
Let p(x) = -6*x**2 + 86*x + 64. Let f be p(15). Is -143 != f?
True
Let i be 8218/(-4) - (-2296)/(-656). Which is bigger: i or -2057?
-2057
Let h = 4650 - 4651. Which is greater: -424 or h?
h
Let q = -1410.9 + 2118. Let p = q - 707. Is 690 <= p?
False
Let t = -2115 - -2115.1. Let k = -5.66 + 5. Do t and k have the same value?
False
Let t = 154.1 + -171.1. Let f = 566 - 525.9. Let w = f + -40. Which is smaller: w or t?
t
Let l be -291*(880/(-48) + 12). Is 1839 greater than l?
False
Let j be -3 + ((-713)/(-4) - (-9)/(-36)). Let u be 6 - 5/(j/196). Is 0.101 equal to u?
False
Let q = 169.37 - 173. Let s = q - -4.63. Is s <= -200?
False
Suppose 19*t + x = 18*t - 8, 4*t + 32 = -x. Let o(n) = n**3 + 9*n**2 + 4*n - 31. Let w be o(t). Which is smaller: w or -2/177?
-2/177
Let q be (4/8)/((-22)/26 - -1). Let a = q + -35/12. Let g = 52/11 - 29/55. Do g and a have the same value?
False
Let f = -15535 - -15534. Let y = -6 + -11. Let h = y - -11. Which is smaller: h or f?
h
Suppose -3*b - 66 = 2*n, -6*b + 132 = -4*n - 4*b. Let t = -11 - -9. Is t < n?
False
Let d = -237/2 + 1655/14. Is -116/15 not equal to d?
True
Let i(l) = -5*l**3 - 195*l**2 - l - 39. Let w be i(-39). Is -3/1303 at least as big as w?
False
Let x(c) = -81*c - 84. Let u be x(28). Let o be ((-32)/u)/(30/(-9) - -2). Is o < 0?
True
Suppose -w + 24 = 4*v, 2*v + 2*w - 23 = -v. Let d = -428425/4 + 107725. Let n = d - 613. Which is greater: n or v?
n
Suppose 16*j = 18*j + 204. Let c = -1123/11 - j. Which is bigger: 0.06 or c?
0.06
Let f = 718 - 645.1. Let y = 73 - f. Is -4.1 greater than y?
False
Let p be (-12)/9 + 212/(-6)*2. Let o = p + 87. Suppose 0 = -h - 5*t + 10*t + o, 4*h - 3*t + 8 = 0. Is -6 equal to h?
False
Let k = -45.5547 + 1.2047. Which is smaller: 0 or k?
k
Let q(w) = 51*w - 96. Let m be q(2). Let o be (-564)/279 - (-10)/m. Which is greater: 1 or o?
1
Let b = -109.93 - -109.03. Is -56 less than b?
True
Let i = 654.1 + -705.1. Let j = -707 - -8471/12. Let o = j - -4/3. Which is smaller: i or o?
i
Let g = -11938 + 11938. Which is smaller: g or -8/3225?
-8/3225
Suppose -1236 = -22*k + 10*k. Let c = k - 99. Suppose 5*b + c*p = -175, b - 14 = -5*p - 70. Which is bigger: -32 or b?
b
Let h = -1164 - -1073.1. Let b = -90.6 - h. Do b and -4 have the same value?
False
Let a(f) be the first derivative of -f**6/180 - f**5/20 + 11*f**4/24 - 17*f**3/3 - 29. Let v(j) be the third derivative of a(j). Let p be v(-7). Is -43 != p?
True
Let g(d) = 4*d**3 + 11*d**2 + 6*d + 7. Let j(n) = n**3 + n**2 - 1. Let u(h) = -2*g(h) + 10*j(h). Let r be u(7). Which is smaller: -48/5 or r?
r
Let n be (-9657)/(-185) - (-2)/(-5). Let t(i) = -i**3 - 5*i**2 - 2*i + 4. Let g be t(-6). Let l = g - n. Which is smaller: -1 or l?
-1
Suppose 3*y - 4*s - 27 = 0, -200*y + 199*y - s = 5. Let g = -9755/8138 - -31/26. Is y greater than or equal to g?
True
Let b(r) = -r**2 + 8*r + 110. Let q be b(-24). Which is bigger: q or -659?
q
Let s = -140 - -87. Let m = 53 + s. Is -2/459 greater than or equal to m?
False
Let d = -312 - -295. Let t(x) = 2*x**2 + 42*x + 58. Let f be t(d). Which is smaller: 2 or f?
f
Let f(t) = 4*t + 98. Let y be f(-15). Suppose 22 = -d - 13. Let b = d + y. Which is bigger: 17/5 or b?
17/5
Let k(d) = -8*d - 12. Let o be k(-2). Suppose 5*z + 5 = 0, -o*