
x
Suppose 11*f = -6 + 226. Let v be (32/f)/(110/25). Is 0 < v?
True
Let h = -365 - -401. Do 31 and h have the same value?
False
Let b = -20.118 + -0.282. Which is bigger: 2/3 or b?
2/3
Let r(h) = -2*h**3 - 8*h**2 - 10*h + 11. Let l be r(-4). Which is smaller: 52 or l?
l
Let g = 631 + -630.88. Which is smaller: g or -2/7?
-2/7
Let j = -27 + 29. Let l be (-54)/84*(0 - j). Suppose -6 = -5*t + s, 0*t - 2*s + 4 = -2*t. Which is bigger: t or l?
t
Suppose 0 = -3*r - 5*b - 29, -21*b + 20*b = -5*r - 11. Let c be (12 - (-3)/(-3)) + 1. Suppose 4*k + c - 4 = 0. Is k >= r?
True
Let u = 1 - -5. Suppose 0 = -4*d - 2 - u. Let r(n) = n**2 - 2*n - 1. Let m be r(2). Which is smaller: d or m?
d
Let v be (3/(-6))/(5/10). Let z be v - 51/12 - -5. Which is bigger: z or -24?
z
Let y be (117/3798)/13*-1. Is y at least 0?
False
Let w = -8 + 2. Let k(b) be the first derivative of b**4/4 + 7*b**3/3 + 5*b**2/2 + 2*b - 6. Let y be k(w). Which is bigger: y or 7?
y
Suppose 0 = 7*a - 8*a - 1, -4*y - 5*a = -51. Is 5 less than y?
True
Let t = 274274/101 - 869414543/320170. Let k = -2/317 + t. Which is smaller: k or 0?
0
Let l(q) = 2*q**2 - 53*q + 36. Let y be l(23). Is -126 less than y?
True
Let f = 1278 + -1302. Is -31 smaller than f?
True
Let n = -378/143 + 489040/184899. Which is smaller: n or 1?
n
Suppose 0 = -4*o - 4, 0*b = -b - 5*o - 3. Suppose -3*n = -6, -b*k - 2*n - n + 30 = 0. Let z be ((-16)/k)/(14/(-3)). Which is smaller: 0 or z?
0
Let r be -10*((-2)/(-9) - (-170)/(-360)). Is -5 less than r?
True
Let l(k) = k**3 + 7*k**2 + 7*k - 1. Let t be l(-5). Suppose 0 = -5*a + 2*j - 35, -2*a = -0*a - 5*j + t. Let r = 42 - 49. Is a smaller than r?
False
Let y = -1298 - -1265. Suppose 132 = -3*j - j. Is j <= y?
True
Suppose -18*h - 30 = -21*h. Suppose 7*r + 17 = h. Let v be (-2)/(-8) + 42/(-8). Which is bigger: v or r?
r
Let f = 1940 - 1940. Is f <= -72/89?
False
Let z be (1533/(-35))/((-1)/22). Let b = -11821/10 + z. Let s = b + 223. Are s and 5 equal?
False
Let p be (585/(-135))/(1/((-30)/(-2))). Which is greater: p or -63?
-63
Let x = 1160.078 - 1160. Which is greater: x or 0?
x
Suppose 0 = -5*d + d. Suppose -2*j - 3*j + 20 = d. Let s be 6*3/(-18)*j. Which is smaller: s or -5?
-5
Let g be (-4)/(-80) - (-1654)/(-1880). Which is smaller: g or -1?
-1
Let r be (-374)/18 - (-6)/(-27). Let w be (-15)/r + (0 - 0). Let x(g) = -g**2 + 10*g - 7. Let k be x(9). Which is smaller: w or k?
w
Let b = 77853/25 - 3115. Which is bigger: b or -2?
b
Let o = 2288/41265 - -2/1179. Suppose 0*b = 2*b. Suppose 0 = 2*d + 5*j + 2, -4*d + j + 3*j - 4 = b. Which is bigger: o or d?
o
Suppose -2*s - 19 = -c, -3*s - 3*c + 2 = 26. Let f = s - -12. Suppose 15 = 2*o - f. Is 8 greater than o?
False
Suppose 0*g + 5*g - 2*m - 103 = 0, 3*g - 4*m - 59 = 0. Let o(s) = -s**2 + 22*s - 18. Let t be o(g). Which is smaller: 0.2 or t?
0.2
Let k = -983 - -988. Is k at most as big as -9?
False
Let a(d) = -d**3 + 12*d**2 - 12*d + 15. Let i be a(11). Suppose -4*q - 5 = -2*h - 3*q, -h - i*q - 20 = 0. Which is greater: h or 21?
21
Let l(o) = 3*o - 5. Let u be l(-8). Let p = -88/3 - u. Let i be (-4)/10*10/(-8). Is i < p?
False
Suppose -82 = -37*o + 177. Let y(w) = -3*w - 5. Let m be y(-5). Which is bigger: m or o?
m
Suppose -4*c = 3*h - c - 9, -4*c + 7 = -h. Let f(d) = -9*d**2 + 43*d - 15. Let n be f(4). Which is greater: n or h?
n
Suppose 2*z - 4*a = -210, 2*z + 3*z - 5*a + 550 = 0. Let c be ((6/3)/(-4))/z. Let v = -1843/690 + c. Which is smaller: -4 or v?
-4
Let t be 8/3*(0 - 3) + 2. Let q = 7 - -10. Suppose -18 = 5*x + q. Which is smaller: t or x?
x
Let m(i) = -i**2 + 5*i + 37. Let t be m(9). Which is bigger: t or -1/17?
t
Let j(c) = -11*c - 30. Let i be j(-7). Let h = 44 - -2. Is h at most as big as i?
True
Suppose -3*k = 3*b - 24, 4*b - 8 = 2*k + 24. Suppose s - 4*p - 7 = -17, -s = -3*p + b. Do -5 and s have the same value?
False
Let c be 3217/60 - (-6)/(-8). Let t = c + -53. Which is smaller: t or -1?
-1
Let m be (2*-4)/(-4)*2. Suppose -2*l - l + m*a - 14 = 0, 2 = l + 2*a. Let v = l - -6. Is v not equal to 4?
False
Suppose 3*l - 12 = l. Let m(j) = j**3 - 5*j**2 - 5*j - 1. Let u be m(l). Suppose -5*q = 3*b - 2*b - 1, 0 = -4*q - 4. Which is bigger: b or u?
b
Let r = 11 + -8. Let m be (4 + -8 + 8)*2. Let j = m - 4. Which is bigger: j or r?
j
Let t = 2.99 + -3.07. Is -0.08 bigger than t?
False
Let y be -2*(-9)/(-6)*-1. Suppose 10 = h - y. Is 11 equal to h?
False
Let n = 5053/362626 - 5/1166. Which is greater: 1 or n?
1
Let b = -30.96 - -30. Let t = b + 0.26. Let p = 0.3 + t. Which is greater: 3 or p?
3
Let a = -1746 + 1648. Do 3 and a have the same value?
False
Let a(b) = -7*b + 35. Let g be a(11). Let y = g - -71. Which is smaller: y or 28?
28
Let v(t) = -6*t**3 - 3*t**2 + 11*t - 8. Let u(r) = 5*r**3 + 2*r**2 - 10*r + 8. Let c(h) = -5*u(h) - 4*v(h). Let i be c(3). Which is smaller: i or 2/35?
2/35
Let n be (2 - -1)/(46/(-46)). Let i be (2 - 0)*7/(-2). Which is greater: i or n?
n
Let i = 97157/2204 - -596/551. Let d = i + -1389763/4756. Let g = d + 247. Is 0 equal to g?
False
Let v(d) = d - 5. Let f(r) = r**3 + 8*r**2 - r - 4. Let a be f(-8). Let w be v(a). Let z = -93 - -1393/15. Which is bigger: w or z?
z
Suppose -o + 10 + 2 = 2*z, -28 = -2*z + 3*o. Let x = z + -26. Let n be (-1)/2*-38*-1. Is n at most x?
True
Let b = 154.67 - 154. Let z = b - -1.33. Is z greater than or equal to -5?
True
Let z = 102 + -97.7. Let n = z - 4.2. Which is bigger: 1 or n?
1
Suppose 81 = -2*g - 5*h, -8*g = -6*g + h + 101. Is -272/5 greater than or equal to g?
False
Let i be 1/((-4)/29) - (-11 - -4). Is 11.86 greater than i?
True
Suppose -18*w + 10*w = -8. Is 51 equal to w?
False
Let z be ((-838)/826 - -1)/((-245)/343). Is z greater than or equal to 0?
True
Let j = -824261/10 - -82559. Let i = j + -133. Does 0 = i?
False
Let n = -2.1 - -2. Let i = 15.962 + -16. Let q = i - 0.962. Which is smaller: q or n?
q
Let v = -2673 + 16073/6. Let k be (12/5)/6 + (-56)/(-10). Do v and k have the same value?
False
Let l be ((-30)/(-12) + -4)/(3/(-4)). Suppose -2*u - 29 = -l*o - 5*u, u = -2*o + 23. Is o bigger than 4?
True
Suppose 3*j = 2*w - 19, -5*w + 0*j - j + 5 = 0. Suppose -n = w*n - 21. Suppose 2*l = -s + 5*l + 20, 20 = -5*l. Which is smaller: n or s?
n
Suppose -o - 32 = 5*q, 4*o = -q - 1 - 13. Let k be (q/(-9))/(1/(-48)). Which is smaller: -31 or k?
k
Let t be 6/(1 - (-93)/(-102)). Suppose 5*d + 0*i + 56 = -i, -2*i = -5*d - t. Let s = -332 - -322. Which is smaller: d or s?
d
Let l = -0.228 + 0.294. Are l and 2 nonequal?
True
Suppose 517 + 258 = -25*g. Is -63/2 at least as big as g?
False
Let s = 3540223/10626 - 1999/6. Which is smaller: s or 0?
s
Let h = 66 - 67. Let n(c) = c**2 - 8*c + 5. Suppose -3*d + 0*d + 21 = 0. Let j be n(d). Is j < h?
True
Let a be 6/(-21) + 3/(21/2). Suppose a = 4*x + 8 - 0. Let j = 11 + -19. Which is bigger: x or j?
x
Suppose 0 = t - 14 - 18. Suppose -3*o = o + t. Suppose 4*a + 19 = -5. Which is smaller: a or o?
o
Let r(i) = -i**2 - 5*i + 2. Let c be r(0). Suppose 105 = -c*h - h. Are h and -36 non-equal?
True
Suppose 10 = -h - o + 5*o, -4*o - 120 = 4*h. Suppose 3*s = 4*s + 28. Are h and s nonequal?
True
Let r be ((-30)/(-36))/((-2)/2). Suppose 0 = -v + 1 - 2. Which is bigger: r or v?
r
Let v = 3/5533 - -630561/370711. Is 2 at most v?
False
Suppose -2*g - 2*u = 338, g + 4*u + 847 = -4*g. Is g smaller than -172?
False
Suppose 2*u - 2*u = 2*u. Let h be -3*2/219 - u/(-6). Which is smaller: h or -1?
-1
Let c = -42 - -41.07. Let q = c + -0.07. Let s = q - -3. Which is greater: s or 3?
3
Suppose -b - 2*p - 59 = 0, 4*p - 179 = 5*b + 46. Let z = b - -99. Suppose 3*i - z = 8*i. Which is greater: -11 or i?
i
Let h = 5.309 - 0.009. Let s = -4.9 + h. Which is bigger: 4 or s?
4
Let a = 1297.2 + -1289.2. Let g = 0.26 - -0.04. Are g and a unequal?
True
Let a = 661.9 + -655. Which is bigger: -2/5 or a?
a
Let b = -89/2 - -1331/30. Let d = -7 - -8. Which is bigger: d or b?
d
Let k = -126.6 + 102. Let f = -3.6 - k. Let m = -22 + f. Are m and 1/5 nonequal?
True
Let h = 0.4 - 0.58. Let j = -15.72 + h. Let v = 16 + j. Is v less than -13?
False
Let w = 38 + -87. Let x = w + 49. Let j = 0.2 - 1.2. Which is smaller: j or x?
j
Let h = -8.9 + 1.8. Which is smaller: -3 or h?
h
Suppose 13*o = 15*o + 2. Is o <= 0.16?
True
Let f(y) = 6*y - 1. Let m be f(1