t s = 19 - -59. Let h = 45 - s. Let u = h - -34. Which is bigger: u or -0.7?
u
Let i = -495 + 12372/25. Which is bigger: -2/9 or i?
i
Let r be (-5 - 9)*36/2400. Which is smaller: r or -1?
-1
Let f = 860/7 - 122. Let w(j) = -30*j + 2. Let n be w(1). Let r be 8/n + 10/35. Is r bigger than f?
False
Let s be (-1)/((-6)/(-14))*(-24 - -42). Which is bigger: s or -40?
-40
Let m be -184 - (6/4)/(27/72). Is -2/9 < m?
False
Let f(y) be the first derivative of y**2/2 + 10*y + 6. Let m be f(-10). Suppose 0*u - 2 = -u, -2*p + 5*u - 8 = m. Is -1/9 at least p?
False
Let k be (180/21)/((-85)/(-70)). Is 8 at least k?
True
Let a be (1 - -2)*(8 + (2 - 9)). Are a and -1 equal?
False
Suppose -2*g = 2*g + 16, 24 = -4*o + 3*g. Let j be (1/1)/(o/(-9)). Suppose 2*i + j = -1. Does -2/15 = i?
False
Suppose 33 = 5*s - 3*d, 0 = -4*s + d + 2*d + 24. Let o be (-6)/s - (-5)/3. Is o smaller than 3?
True
Let f = 0.2276 + -0.2276. Is -159 equal to f?
False
Suppose 69*q + 60 = 65*q. Which is smaller: -14 or q?
q
Let d = 24 + -22. Let g(p) = p**3 + p**2 - 3. Let r be g(d). Is 1 != r?
True
Let c = 1526 - 1528. Suppose 8*n + 5 = 3*n. Which is greater: n or c?
n
Suppose 0 = 7*u - 3*u - 5*t - 83, u = -3*t + 25. Which is smaller: u or 4?
4
Let u(r) = r**3 - 8*r**2 + 13*r + 7. Let d be u(3). Is 1/505 <= d?
True
Suppose -24 = 25*m - 22*m. Let v = 0 + m. Is -25/3 != v?
True
Suppose 2*h + 2 + 2 = 0, 4*w + 110 = -3*h. Let j = w - -236/9. Is j <= -11?
False
Let u = -11 + 6. Let h be (2/(-16))/((-4)/168). Let z = h + u. Is 0.2 > z?
False
Let g be ((-3)/12*0)/1. Let o be 19/(-38)*(-12)/(-47). Which is smaller: g or o?
o
Let c be -1*(-41)/(-9) - -3. Let s(t) = t**2 - 4*t - 4. Let p be s(6). Let l = 6 - p. Is l <= c?
True
Let x(d) be the second derivative of d**3/6 + 25*d**2/2 - 45*d. Let f be x(-9). Let g(u) = -8*u - 1. Let w be g(-2). Which is greater: w or f?
f
Let y(l) = -l**3 - 7*l**2 - l - 7. Suppose -5*s = -4*z - 36, 4*s - 28 = z + 2*z. Let f = s - 11. Let w be y(f). Is 1 less than or equal to w?
False
Let l = 0.17 - 8.17. Let o = -23.5 + 22. Let k = o - -0.5. Is k smaller than l?
False
Let t(q) = 2*q - 1. Let k be (-4 - -3 - -1)/(-1). Let p be t(k). Do 2/19 and p have the same value?
False
Suppose -40*g = -46*g + 30. Which is smaller: -2 or g?
-2
Let k = 896.7 + -890. Which is greater: k or 0.2?
k
Let i be ((-1062)/27)/(4/(-6)). Which is smaller: i or 293/5?
293/5
Let p be 326/10 + (-6)/10. Let f be 0 + (-1)/(4/p). Let g be 7/1*-1 + 2. Is f at most g?
True
Suppose 0 = 4*y + 7 - 19. Suppose -v - 2 = y. Are v and -5 non-equal?
False
Suppose -4*g + 5*g = -3*y - 73, 4*y = 5*g - 129. Which is bigger: y or -25?
-25
Let v(q) = q. Let z be v(2). Suppose s - z*s = -7. Let t = -41 - -46. Which is greater: t or s?
s
Let w = -0.22 - -25.22. Let x = -25.25 + w. Let i = 0.35 + x. Is i at least as big as -13?
True
Suppose 5*d + 4*g - 41 = 6, -15 = -3*d + 2*g. Let z = d + 3. Is z less than 8?
False
Let s be ((-22)/(-6))/(2/6). Suppose -6 = 2*n - 30. Is n not equal to s?
True
Suppose -11*u + 9*u + 1360 = 0. Let b be (-212)/u + 4/10. Is b at least -1?
True
Suppose 4*x = 16, -j + 3*x = -0*x + 30. Let u be j/12*(-479)/(-15). Let f = 97/2 + u. Is 0 equal to f?
False
Suppose 31*y - 112 = 17*y. Let m(f) = -f**3 - 4*f**2 - 3*f - 4. Let z be m(-4). Is y less than z?
False
Let c(h) = -h**3 + 19*h**2 + 6. Let r be c(19). Suppose r = 7*o - 6*o. Which is smaller: o or 7?
o
Let j be 1/(1422/(-939)) + (-4)/(-6). Let h = j + 629/474. Is h greater than 2?
False
Let b = 1.84 - -7.06. Let n = -9 + b. Let j be (-2)/8 - (-3)/6. Which is greater: n or j?
j
Let w be ((-20)/5 + 2)*7. Which is bigger: 5 or w?
5
Let x(j) = 3*j**3 + 23*j**2 + 25*j - 16. Let f(r) = 5*r**3 + 45*r**2 + 49*r - 32. Let b(v) = 4*f(v) - 7*x(v). Let a be b(20). Is 4 > a?
False
Let r = -12707/18 - -706. Let l(x) = 5*x**3. Let g be l(1). Suppose 3 = -g*b - 2. Is b bigger than r?
False
Suppose -3*q + 20 = -q. Let c be (-260)/(-26) - (-48)/(-5). Which is smaller: c or q?
c
Let j be 6/(-21)*(-896)/80. Which is greater: j or 5?
5
Let m be ((-2)/(-3))/(2/(-36)). Let x = -6 - -10. Let t(i) = -2*i - 4. Let y be t(x). Do y and m have different values?
False
Suppose 0 = -p - 0*p + l + 1, 8 = -2*l. Let i be 1/p + (-6)/9. Let w = -91/3 + 30. Is w at most i?
False
Suppose 0 = -4*k + 2*k + 4. Suppose -j = k*j - 30. Let m = j - 14. Is m >= -6?
True
Let w(u) = -5*u**2 + 40*u - 36. Let g be w(7). Let k be -2*(2 - (-1)/(-2)). Which is smaller: k or g?
k
Suppose 0 = -2*z + 3*i + 30, 3*i = -z - 4*z + 33. Let l = 49 - 46.8. Let q = l + -3.2. Which is greater: z or q?
z
Let m be (-15)/(-6) + (-1 - (-9)/6). Suppose -3*o - 19 = -5*x + m*x, 2*x = o + 9. Which is smaller: o or -9/2?
o
Suppose -19*d = 278 - 259. Which is bigger: -5/63 or d?
-5/63
Let n = -2/703 - 4913/2812. Let x(d) = -d**3 - 9*d**2 - 7*d - 65. Let m be x(-9). Are m and n equal?
False
Suppose -3*g + 342 = b - 755, -3*g = -b + 1097. Is 1097 smaller than b?
False
Let x be -1*((-4)/4 - 0)/1. Is 4/13 not equal to x?
True
Let x be 22/(-286) + (1 - (-3879)/(-4160)). Is 0 smaller than x?
False
Let v = -700.9 - -701. Is 3 <= v?
False
Let j = -96 + 153. Let f = 1862 - 1805. Is j at least f?
True
Let x be 1/(-3) + 5756*1/17340. Which is smaller: x or -1?
-1
Let o(n) = -30 + 2*n + 92 - 29 - 35. Suppose 6 = 5*a + 1. Let u be o(a). Which is smaller: 2 or u?
u
Let m(t) = -t + 3. Let g be m(4). Let v = g + -6. Let u be v/42*(-2 + 9). Is u smaller than -1?
True
Suppose -4*z = -3*m - 17, 5*z = 5*m + 43 - 13. Which is greater: -4 or m?
-4
Suppose 3*m + 72 = 3*f + f, 5*f = 3*m + 72. Let y be (-2)/(-6) - (-32)/m. Let j = 14500/19 + -763. Is y greater than or equal to j?
False
Let v = 95.8 + -95.9. Do v and 2/39 have different values?
True
Let u = -24 + -34. Let j = u - -26. Is j < 2/5?
True
Let n(d) = 3*d + 1. Let z be n(1). Suppose -2*t + 4*t - z = 0. Let i be ((-28)/(-18))/t - 1. Is i > -3/4?
True
Let k = -111 - -7. Let u be k/78*(-6)/20. Is -16 greater than u?
False
Let g = -17 + 17.1. Let u be (-1626)/144*(-1 - -15). Let v = u - -158. Which is smaller: v or g?
v
Let i = 104 - 104. Suppose 17 = 5*x + 5*a + 2, 4*x = a + 7. Suppose -x*z + 34 = 2*d, 3*d + 5*z - 54 = 3*z. Is d at most i?
False
Let a be (2/(-10) - 1/(-5))/(-1). Is 0 > a?
False
Let l = 0.7479 + 0.0521. Which is smaller: l or -3/10?
-3/10
Let n be (0 + -1)*2/7. Let f = 0.073 + 0.027. Which is greater: f or n?
f
Suppose -4*n + 16 + 32 = 0. Suppose n*u - 36 = 15*u. Is -11 at least as big as u?
True
Let s(v) = -7*v - 4. Let g be s(3). Suppose -158 + 37 = 5*p - 2*x, 101 = -4*p + 3*x. Which is smaller: g or p?
g
Let n = 1029.2 - 1029. Is n > -23/5?
True
Let k = 2/279 - -80623/1116. Is k at least 72?
True
Suppose 8*b - 15*b = 0. Is b < -1/92?
False
Suppose -3*b = -32 - 43. Let s be ((-30)/b)/((-9)/30). Suppose 0 = -s*v + 8 - 24. Do v and -3 have the same value?
False
Suppose 3*m - 10 = 14. Let j be (2 - m/6)*3/(-11). Let y(i) = -i - 8. Let k be y(-7). Is j less than k?
False
Let w be 6/(-15) - 1446/(-15). Let k be (-124)/w - 12/(-9). Which is greater: 1 or k?
1
Let y = 209 - 209. Is 2/813 at most as big as y?
False
Let v be 12/(-14) + 2639/(-637). Which is greater: v or -68/13?
v
Let v = -2.9 - -4.2. Let d = v + -0.3. Let j = 1.98 + 0.02. Which is greater: d or j?
j
Suppose 3*d - y + 7 = 2*d, 4*d = 3*y - 23. Suppose -5*h + k - 31 = 0, -2*k = h - 6*k - 9. Is d at most as big as h?
False
Let u = 80 - 76. Suppose 0 = 2*z - 5*w - 2, u = 3*z - w + 1. Are -1/7 and z unequal?
True
Let m(t) = t**3 - 6*t**2 + 5*t + 2. Let i be m(5). Let g be 5 - (i + 2) - -3. Suppose 5*q - w + 7 = 0, -2*q - 3*w + 0 = -g. Which is smaller: -1/7 or q?
q
Let u = -67 - -75. Let l = -8 - -17. Is u > l?
False
Let t = 22 + -11. Let a = 24 + -11. Let n = t - a. Which is smaller: -1 or n?
n
Let g = -33 + 31. Suppose 2*c - 12 = -4*m, 3*m - 3*c - 11 + 2 = 0. Suppose -2*t = -3*t - m. Which is smaller: g or t?
t
Let k be 3/1 - -3 - 330/8. Are k and -35 unequal?
True
Let r(q) = q**3 - 6*q**2 + 6*q - 6. Let k be r(5). Let a be (-6)/(-336)*-1082 - 1/4. Let z = 773/42 + a. Is k at most as big as z?
False
Suppose 3*d + 141 = -3*p, -4*d - 121 - 39 = -3*p. Is d at most -43?
True
Let g = -29 + 23. Let m be g/240 - 4/(-10). Which is smaller: m or -2?
-2
Let u be (0 + 0 + 7 + -8)*-2. Is u equal to 11/9?
False
Let p be (