?
0
Let a = -2265396/19 - -119267. Are a and 35 equal?
False
Let z = 139401/9224 + 14/1153. Let v be 16*(6/(-4 + 10))/1. Which is bigger: v or z?
v
Let x(c) = -c**3 - 5*c**2 + 6*c - 4. Let b be x(-6). Suppose -10*p = -0*p + 180. Let u be b*(2 - (-33)/p). Is u less than or equal to -7?
False
Let k be 4/(-15 + 11)*97. Which is smaller: k or -21?
k
Let q(x) be the second derivative of -7*x**5/120 + 5*x**4/24 - x**3 + 25*x. Let u(v) be the second derivative of q(v). Let k be u(7). Is k >= -44?
True
Let i = -4614.4 - -4615. Let a = -0.5 + -7.5. Is a at most i?
True
Let u = -269 - -271. Let h be 74/26 + u/13. Is h < -14?
False
Let f be (5/2805)/(2/(-4)). Let k = -67/1309 - f. Suppose -12 = 21*x + 6 + 3. Is k less than x?
False
Let g(h) = -2*h**2 + 2. Let k be g(-6). Let z = -75 - k. Suppose -4*t = t + 20. Which is bigger: t or z?
t
Let f(d) = -71*d + 2849. Let y be f(29). Which is smaller: y or 788?
788
Let a(y) = y**3 - 105*y**2 - 553*y + 136. Let x be a(110). Let f(h) = -h**3 - 17*h**2 - 17*h - 18. Let c be f(-16). Is c > x?
True
Suppose -48 = -14*k + 6*k. Suppose -k*j = -11 + 17. Which is bigger: j or 12/67?
12/67
Let f = 4832 + -4770. Which is bigger: 61 or f?
f
Let x be -4 - (8 - 180202/15015). Which is smaller: x or 1?
x
Let o(w) = -w**3 + 8*w**2 + 35*w - 4. Let f be o(11). Suppose 0 = -4*g + q - 28, g - f + 10 = 4*q. Is 5 < g?
False
Suppose g + w = -23, -7*w + 12*w + 75 = -3*g. Let r = -14 - g. Which is greater: 5 or r?
r
Let b(z) = 43*z - 4 - 11 - 40*z. Let a be b(11). Let s = 858 + -840. Is s <= a?
True
Suppose 68*k + 2890 = 238*k. Suppose -3 - 54 = 3*z. Let x be -2*(2 - z/(-2)). Which is greater: k or x?
k
Let q(d) = 1571*d + 7801. Let l be q(-5). Does -194 = l?
False
Let g = 7 - 3. Let c(o) be the second derivative of -o**5/20 + 8*o**4/3 + 61*o**3/2 - 3*o**2 + 49*o + 3. Let w be c(-5). Is g less than or equal to w?
True
Let p(h) = h - 4. Let m be p(7). Suppose -m*y = -0*y - 33. Let i(v) = -41*v - 2698. Let n be i(-66). Is n equal to y?
False
Let z be (-86)/(-7) - (-4)/(-14). Suppose 0*v - c - 187 = -v, 5*v + 4*c - 962 = 0. Suppose 11*j = -8*j + v. Which is smaller: z or j?
j
Let n(b) = 2*b**2 + 4*b + 6. Let o be n(6). Suppose -o = -7*m - 32. Suppose y = 56 - m. Is 89/2 equal to y?
False
Suppose 0 = -11*s + 13*s. Let b be -2 - (-183)/(-3 + s). Let o(z) = -z**3 - 9*z**2 - 8*z - 2. Let r be o(-6). Which is smaller: r or b?
b
Let d be (2/4*0)/1. Suppose 4*v + 362 = 5*p, -6*v - 68 = -p - 3*v. Let s be ((-8)/(-14) + 0)/(p/(-259)). Which is bigger: s or d?
d
Let j(h) = -h**2 + 15*h - 12. Let w be j(14). Suppose -3*a - l = -478, 0*l + w*l = -4*a + 640. Suppose 5*s - a - 97 = 0. Is s at most 51?
True
Suppose -3*k - 2*i + 4 = -4*k, 0 = k + i + 7. Let v be (-9 + 9 - k/2)/8. Is v smaller than -1/2?
False
Suppose -5*n + 48 = -4*s, -6*n - 18 = -7*n - 2*s. Suppose 3*u = -n*u + 3*u. Which is smaller: 1.8 or u?
u
Let i be -60*(6608/(-368) - -18). Is -4 at most as big as i?
True
Let c = 0.076 + -0.186. Let t = c + 0.01. Are t and -2/323 nonequal?
True
Let l(a) = 2*a**2 - 19*a + 1. Let j be l(15). Let n be 8 - (1 - j/(-22)). Is n less than 4.6?
True
Let g(f) = 18*f - 6 - 3*f**2 - f**3 + 11*f - 36*f + 11*f. Let p be g(-5). Suppose p*r - 19*r = 0. Is r less than 2/29?
True
Suppose 103226*q - 103242*q = 0. Let s be (3424/(-7371))/((-20)/(-6)). Let u = -4/455 + s. Is q < u?
False
Let t(c) = c**2 + 3*c - 13. Let b be t(-6). Let h(x) = -x**3 + 6*x**2 - 4*x - 3. Let y be h(b). Suppose y*m + q = 8, -3*m - q = q - 13. Is m bigger than 4?
False
Let t(m) = -m**3 - 3*m**2 + 3*m + 7. Let a be t(-4). Let w be ((-30)/(-24))/(1/(-12)). Let o be (w/(-45))/((-10)/(-354)). Is a <= o?
True
Let x be (-3 + 28/(-8))*20/10. Which is smaller: x or -288?
-288
Suppose -f = -2*d - 19, 2*d - 3*f + 10 = -5*f. Let w be d/(-14) - (-48)/14. Suppose -76 = -5*s + 2*b + 32, 4*s - 96 = w*b. Does 21 = s?
False
Let w = 0.2 + 0.8. Let z = 297 - 620. Let f = -372 - z. Is w > f?
True
Let a = 571781096/37963779 + -2/774771. Let m = -15 + a. Which is smaller: 1 or m?
m
Suppose 2*b - 2*d = 294, 0 = 2*b + 4*d - 227 - 85. Let x = b - 289. Which is smaller: -137 or x?
x
Let c be (1/(5/(-3)))/(-25 - 133/(-95)). Let l be (-2)/5 - 6/10. Is c smaller than l?
False
Let p = 14564 + -14564.045. Is p greater than or equal to 5?
False
Suppose 0 = -4*k + 45*o - 49*o - 44, -4*k + 2*o = 44. Which is greater: -42 or k?
k
Let t = -19271993/29162 + 11/4166. Which is greater: t or -661?
t
Let w be ((-6)/(-4))/3*3. Let j be (-2)/7 + (-421)/(-518). Let q = -1/37 + j. Are w and q equal?
False
Suppose y + 34 = 5*l - 1, 5*l = 3*y + 45. Let s be (-4)/(-10)*l/(-12). Which is bigger: 4 or s?
4
Let r be 42 - 214 - 2*(0 - 1). Let b be r/68*24/23. Which is greater: -4 or b?
b
Let z be ((-60)/50)/(4/(-10)). Let o be ((-6770)/(-210))/(1/z). Let g = -97 + o. Which is greater: g or 1/2?
1/2
Let v(u) = u**3 - 11*u**2 + 12*u - 14. Let n be v(10). Suppose 7*o - 4*o - 195 = 0. Suppose o = s + 57. Do n and s have the same value?
False
Let o(f) = -62*f - 1198. Let v be o(118). Is -8515 greater than v?
False
Suppose 9 = -2*w + 13. Suppose -o - 42 = -4*c, 2*o - c - w*c = -59. Which is greater: -17 or o?
-17
Let m be -3 + (1/((-1)/(-1)))/((-7)/4193). Which is smaller: -605 or m?
-605
Let w = 25 + 83. Suppose -2*f = -0*f - w. Let b be 12/f + 1/(-18)*13. Which is greater: -3/4 or b?
b
Let w = -487/20 - -95/4. Let b = -3 - -93. Suppose -86*q + b*q = -4. Which is smaller: w or q?
q
Suppose 50*p - 53*p = 837. Let r = p + 322. Which is greater: r or 42?
r
Let f(m) be the third derivative of 11*m**5/60 - 11*m**4/24 + 5*m**3/6 - 78*m**2. Let i be f(3). Is i at least as big as 69?
True
Let n = 903652426621/202886039 - 577/1051223. Let p = -4454 + n. Which is greater: 1 or p?
1
Let d be ((-2597790)/1300)/(6/(-20)). Is -0.1 smaller than d?
True
Suppose -5*r - x + 4*x = -10, 5*x = -r - 26. Let n be (r*(-27)/(-12))/((-3)/8). Let c be (6 - 42/9)*(-4)/n. Is -2 smaller than c?
True
Let d = -12.85 + 11.8. Let b = d - -0.95. Which is greater: -5/13 or b?
b
Let a = 7669.99536 - 7670. Is a at least 0.1?
False
Let y(z) = 96*z**2 + 958*z - 3824. Let x be y(4). Which is bigger: 6181/4 or x?
6181/4
Let s be -3*(-3)/((-18)/106). Suppose 0 = 4*n + 8*p + 184, -n - 1066 = -p - 1005. Which is greater: s or n?
s
Let p = 29.952 + 0.048. Let l = 29 - p. Is l less than -2/41?
True
Suppose -3*r = 6*h - 7*h - 17, 18 = 2*r - 2*h. Suppose 0 = -j + 4*q - 7*q + 6, r*q - 8 = 0. Let d be 37/140 - (-2)/(-8). Which is greater: d or j?
d
Suppose -4*a = -5*q + 23, -2 = -3*q - a + 5. Let t = 30 - 30.17. Let m = 0.27 + t. Is m > q?
False
Let j(m) = 41*m - 26. Let r be j(1). Let i(f) = -f**2 + f + 5. Let h be i(0). Suppose h*o + r = 8*o. Is o smaller than 19/4?
False
Let b be (-57 - 15/(-5))*2/(-4). Suppose 2*j - 33 = j - 5*t, -4*j = -t - b. Let h be 21/18 + 3/(-6). Is j bigger than h?
True
Let n(f) = -138*f**2 + f - 1. Let g be n(1). Let d = 139 + g. Let t be ((-13)/(-3) - 3)/14. Is t at least as big as d?
False
Suppose 2*a + 4*m + 26 = 4*a, 2*m = -10. Suppose 3*t = 2*k - 5, -a*t - 2*k = k - 15. Let p = 362 + -335. Is p less than t?
False
Suppose 3*p + 38*d + 698 = 30*d, 4*d - 266 = p. Let r = 5983/2 - 3238. Is r not equal to p?
True
Let f = -2414 + 2258. Is f not equal to -2640/17?
True
Let h = 835808/95 + -8798. Which is bigger: -0.1 or h?
h
Let u(f) = 2*f**3 - 2*f**2 - 19*f - 1. Let t be u(-3). Let y be 1151/40 + t/40. Which is greater: y or 27?
y
Let o(u) = u + 15. Suppose -3*i - 30 - 6 = 0. Let p be o(i). Suppose -3*j = 3*s - 6, p*j = -j - 3*s + 9. Is -10 != j?
True
Let j = 1776 + -1750. Which is greater: j or 22?
j
Let j be (-8)/(-6)*-3 + 8. Suppose j*x + d = x + 201, 134 = 2*x + 3*d. Is x bigger than 65?
True
Let g = -71675767/989 - -72473. Which is greater: g or -1?
g
Let b be (319 - 318)*(-4 - -3). Let h = -2183 - -137533/63. Which is greater: h or b?
h
Let f = 8312 + -8607. Which is smaller: f or -308?
-308
Suppose -4*m - 3*f = 51, -f + 54 = -3*m + 2*f. Suppose 10 = -2*o + 4. Let p be 8/12 + 2/o. Which is bigger: p or m?
p
Let d = -249 + 251. Let c(k) = -k**2 + 6*k - 5. Let j be c(4). Let q be 1/(d + (j + -2 - 4)). Is 0.3 at most as big as q?
False
Suppose 0 = 11*s - 6*s + 2*j + 26, 5*s - j = -32. Let o be 3 + s + 745/225. Which is smaller: o or 1?
o
Let i = 2.2 + 0.3. Let a