z). Let p = -20 + m. Which is bigger: p or 6?
6
Let v be (-2)/((-4)/12 - -1). Let h be (9*v)/(0 + 1 - 0). Which is bigger: -26 or h?
-26
Let r = -50.5 - -181.1. Let z = 130.7 - r. Let m = -0.11 - -64.11. Is m < z?
False
Let j = -262 - -164. Let s = -96 - j. Suppose -20 = s*w - 4. Is -50/7 < w?
False
Let r(q) = -213*q - 1021. Let f be r(29). Does -7198 = f?
True
Let q = 444 + -428. Let j be (q/24)/(210/(-9)). Which is bigger: j or 1?
1
Let d(p) = p**3 + 8*p**2 - 2*p. Let i be d(-8). Suppose -m - 4*u = 4*m + 1434, 4*u = i. Is -289 at least m?
True
Suppose 4*a = -0*a + 4*j - 960, 2*a + 3*j + 505 = 0. Let n = 772 + a. Let m be (n/(-68))/(3/(-2)). Which is smaller: 5 or m?
5
Let d(a) = -10*a - 7. Let v be 5 + (2 - -1) + -7. Let q be d(v). Let j(k) = -k - 18. Let p be j(q). Is -6/7 at least as big as p?
True
Let g = -16564 + 16569. Which is bigger: 67/19 or g?
g
Let s = -11.417 + 11.34. Is s < -1/12?
False
Let q = 1880815799/9769 + -192529. Is q greater than or equal to 1?
False
Suppose -12*b = -5*y - 13*b + 10, -13 = 4*y + 5*b. Suppose 0*p - p - 4*v - 38 = 0, -p + y*v = 3. Is -18 greater than or equal to p?
True
Let j be (-266)/77 - -4 - (-164530)/55. Is 2993 at least j?
True
Let b be (8*30/(-80))/((-1)/(-13)). Suppose 3*o + 176 - 55 = 2*s, 3*s + 72 = -2*o. Is b at least o?
True
Let u = -43 + 70. Suppose c = -r - 8, -3*r - u = 4*c - 7. Let m(i) = i**3 + 19*i**2 - 18*i + 30. Let d be m(-20). Is d != r?
True
Suppose -81*s - 117 = 23*s + 13*s. Is s <= -37/291?
True
Let p(c) = c**3 - 9*c**2 - 32*c + 13. Let h be p(-3). Suppose 0 = -5*z + 1 - 11. Let j be -2*(3 + z) + h. Which is smaller: -2.9 or j?
-2.9
Let a(p) = 19*p**2 - 43*p + 88. Let o be a(2). Do 84 and o have the same value?
False
Let h = -2.9 + -10.1. Let l = -225 + 226.2. Let f = -1 + l. Is f less than or equal to h?
False
Let i(r) = 2*r**2 - 30*r - 64. Let x be i(17). Suppose -x*m - 112 = -20*m. Which is bigger: -11 or m?
m
Suppose 5*j + 106 + 79 = 0. Let a be (118/(-30) - 0) + j/(-111). Which is smaller: a or -5?
-5
Let b be (-382)/134 + -4*(-66)/88. Which is bigger: -2 or b?
b
Let q be (5706/54 + 5)*(14/(-40) + 2). Which is greater: q or 183?
183
Suppose 4*d - 21 = f, 0 = 2*f + 28*d - 33*d + 30. Let h = 3.2 - -1.8. Let c = -5 + h. Which is greater: f or c?
c
Suppose 5*n - 260 = -5*x, -x - 5*n + 36 = -0*x. Which is bigger: 847/15 or x?
847/15
Let r = 122 - 216. Let v = 100 + r. Let f be 1392/(-36)*v/(-4). Is f smaller than 0.1?
False
Let w be 2257/754 + (-14)/(-42)*-9. Do 0 and w have different values?
True
Let n = 6.461 - 6.5. Let w = 0.131 + n. Let z = w + -0.072. Is z <= 0.02?
True
Suppose 15 = -17*z - 2. Let l be 40/75*(z + 81/84). Let f be 4/14 + 4/(-14). Which is greater: l or f?
f
Let c = 0.02476 + 1.17524. Which is greater: c or 54?
54
Let o = -0.061 + 0.806. Let k = 0.88 - o. Let q = k + -0.115. Which is smaller: 0.4 or q?
q
Let i(t) = -t**3 - 8*t**2 - 14*t - 50. Let x be i(-7). Let z = 501/5363 - 5/173. Do x and z have the same value?
False
Let m be (-21*34/(-5593))/(3/74). Which is smaller: m or 2?
2
Let w = 10.292 + -5.292. Which is greater: w or -8/11?
w
Let x = -109 - 86. Let c(n) = -23*n**3 - 2*n**2 - 12*n + 21. Let l be c(2). Is l at least x?
True
Let m be 6/15 - (512/(-20) - -2). Let j be (2 + -3)*-2 + m. Let g = j - 76. Which is smaller: -52 or g?
-52
Let x = 1.1 + -0.8. Let a = 0.4 - x. Let t be (2 - -4)*24*2/(-9). Is t less than a?
True
Let c = -41.1 - -38.1. Let q = 62.6 - 62. Which is smaller: c or q?
c
Suppose -27 + 35 = 8*v. Let s be ((-300)/(-18) - 16)/((-566)/6). Which is smaller: s or v?
s
Let j(i) = 10*i - 8. Let h be j(2). Let u(m) = m**2 + 3*m + 36. Let z be u(0). Let c = z - 27. Which is greater: h or c?
h
Let y(h) = -2*h**2 + 43*h + 204. Let g be y(-4). Does g = 60/151?
False
Let b = -2793 - -2849. Which is smaller: -47 or b?
-47
Let w = -74/5 - -2289/155. Let f be 1956/(-5859) - (-1)/(-7). Let d = w - f. Is d != 0?
True
Suppose -11*h = -13*h - 20. Let z(w) = -w - 11. Suppose -3*u - 3 = 3*f - 0, 4*f + 2*u = -6. Let o be z(f). Is o smaller than h?
False
Let t(v) = -7*v**3 - 50*v**2 + 30*v - 24. Let n be t(-8). Is n bigger than 7?
True
Let v be 72/34 + 28/(-238). Let u(k) = -17*k**3 - 4*k**2 + 14. Let r be u(v). Which is bigger: r or -141?
r
Let p = -3641 - -3279. Which is smaller: p or -3?
p
Let k be 34/12 - 18/(-108) - (-1 + -86). Which is bigger: k or 811/9?
811/9
Let c be 579867/(-169) - (-52)/338. Let d = -3431 - c. Which is greater: 0 or d?
d
Let l = -0.228 + -18.972. Let o = -25 - l. Let k = -4.8 - o. Which is smaller: -14 or k?
-14
Let b = -15175/1422 - -193/18. Let q(c) = c**2 + 4*c - 22. Let z be q(-7). Is b greater than z?
True
Let d = -2115.5 + 2097. Which is greater: d or -0.3?
-0.3
Suppose -3*f + 3 + 6 = -b, 0 = -5*b - 4*f + 12. Let y be (-13 - 10137/(-806))/((-2)/(0 - -2)). Which is greater: b or y?
y
Let g = 0.975 + -1. Let s = 0.075 - g. Is s at least 39?
False
Suppose 4*h + 48 = -3*r, -17*h - 3*r = -12*h + 60. Let f = -13 - h. Is f < -1/79?
True
Let r(f) = f**2 - 15*f - 202. Let l = 791 - 800. Let j be r(l). Is 15 greater than j?
True
Let q = -12 - -4. Let o = -6 - q. Suppose -33*y + 47*y + 14 = 0. Is o greater than y?
True
Let p(g) be the second derivative of -5*g**3/3 - 17*g**2 - 63*g. Let v be p(-8). Is v greater than or equal to 47?
False
Let r(g) = -2*g**2 + 16*g + 17. Let y be 481/52 - (-1)/(-4). Let l be r(y). Is l greater than -3/55?
False
Let c(w) be the third derivative of w**6/120 - 17*w**5/60 + w**4/24 - 17*w**3/6 + 103*w**2. Let v be c(17). Which is greater: 16 or v?
16
Let o be ((-392)/(-74))/((-1444)/6498). Is o at most as big as -23?
True
Let a = 1143 + -1156. Is 0.85 greater than a?
True
Suppose 4*o + 17 = w, 3*o - 6 = 4*w - 35. Suppose 8*j + w = 3*j. Which is smaller: 2/331 or j?
j
Let a be 6*(114/(-18) + 7). Suppose 4*g = 5*i + 24, a*i - 8 = -5*g - 19. Which is smaller: g or -54?
-54
Let l = 1917 - 1908. Let q be 24/18*3/2. Suppose q*n - 4*n + 22 = 0. Is l greater than or equal to n?
False
Let c = 315 - 182. Suppose 92*w - 1888 - 1646 - 8518 = 0. Which is smaller: w or c?
w
Suppose 18*o + 9 + 27 = 0. Let f be (-28)/(-6)*(o - -11 - 6). Suppose 35 - 5 = 2*v. Which is smaller: v or f?
f
Let b = 1.66 + -0.69. Let c = 0.67 - b. Is c greater than 0.22?
False
Let y be (8/(256/5352))/((-3)/(-1)). Suppose -3*j + 319 = 148. Which is smaller: y or j?
y
Suppose y - 23*m + 21*m = -10, -4*y + 3*m = 45. Are 810 and y nonequal?
True
Suppose -3*m - 5*n = -1 + 2, -2*m + 26 = -2*n. Let y = 12 - m. Suppose 0*o - y*o - 4*j + 16 = 0, -4*j + 20 = 0. Is -2/21 at least as big as o?
True
Let o = 214 - 175. Suppose 5*c = -44 + o, -3*c = -2*m + 41. Are 0 and m unequal?
True
Let f = -646 - -655. Let i be (-900)/132 + (f - 0). Is i less than 1?
False
Let t = 149 - 715. Let h = t + 575. Which is smaller: h or -0.11?
-0.11
Suppose 0*c = c + 2. Suppose -775*b = -780*b + 215. Let a be (b/2 + c)*(-12)/(-63). Does a = 4?
False
Let i be (18/(-27))/((-4)/(-6))*33. Let u = -2599/2 - -1268. Is u less than i?
False
Let q = -2309.00885 + 0.00885. Let c = 2327.54 + q. Let d = 0.46 + c. Which is smaller: d or -1/3?
-1/3
Let m = -1811 + 1971.1. Is m > 1/7?
True
Let a = -4.948 + 3.009. Are 0.1 and a non-equal?
True
Let o = 1852 - 1853. Which is bigger: o or -12/1229?
-12/1229
Let u be 3/(-6) + (-7)/(-2). Suppose -3*i = u*i + 6. Let v(b) = -b + 15. Let m be v(14). Which is bigger: i or m?
m
Suppose 0 = 5*i - 7*i - 24. Let r be 638/(-77)*7/i. Let t be (5 + 0)*(-4 + 5). Which is smaller: r or t?
r
Let d be (607*5/(-60))/(-1 + -1). Let n = d + -93/8. Is n at least as big as 14?
False
Suppose i + 1684 = 1802. Let k be 130 + -13 - (-6)/2. Is i >= k?
False
Let l = -1850 + -2684. Which is bigger: -4533 or l?
-4533
Let a(k) = k**2 + 7*k - 18. Let s be a(-8). Let t(y) = y**3 + 10*y**2 - 8. Let v be t(s). Let z be 3/(-4) - -6*(-1)/v. Is -14/11 <= z?
True
Let w be 21/(-3) - (-135276)/190. Let c = -705 + w. Do c and 0 have the same value?
False
Let s = 0.14 + -6.14. Let y = 9 + s. Let p = -173909 + 173908.97. Which is bigger: p or y?
y
Suppose -5*a = -9992 + 10807. Is -3 less than or equal to a?
False
Let u(d) = d - 20. Let c = -175 - -193. Let o be u(c). Which is smaller: o or -199?
-199
Let u = 4 - 6. Suppose 6*s - 38 + 158 = 0. Let b be 71/s - 276/(-345). Do u and b have the 