j. Is i smaller than 4?
False
Suppose 2*c - 13 = -v, 9*v - 9 = 4*c + 4*v. Let s(y) = y**2 - 3*y + 1. Let k be s(c). Which is smaller: 4 or k?
4
Suppose -4*g + 2*g - 8 = 0. Let j = g - -4. Let d be ((-6)/(-20) - 0)*4. Which is bigger: j or d?
d
Let q be 150/(-12) + (-1)/(-2). Let i = q - -15. Let c be (-2)/(-2 + 2 + -1). Which is greater: c or i?
i
Let o = 20 - 10. Which is smaller: o or 1?
1
Let b(t) be the second derivative of t**3/3 - t**2 - 3*t. Let x be b(3). Let d(m) = -m**3 + 6*m**2 - 5*m + 3. Let q be d(5). Which is bigger: q or x?
x
Let c(m) = m**2 - 5*m - 6. Suppose 2*a + 18 = 5*a. Let i be c(a). Let u = -2/11 + -3/44. Is u < i?
True
Let z = 0.1 - 0.1. Let d = -12.6 - -5.4. Let m = -7 - d. Is m > z?
True
Let g = 1 + 3. Let n be g/(1 + (-1 - 1)). Let k be (1 - -2)/(6/n). Which is greater: k or -1?
-1
Suppose -2*l + 5*f + 25 = 9, 5*l - 25 = 5*f. Let x be (-8)/l - (-8 - -6). Is x > -3?
True
Let x = 0.21 - -4.99. Let q = x - 5. Is q greater than 0.1?
True
Let u = -13 - -12.76. Let o = -0.1 + 0.14. Let c = o + u. Is 1 >= c?
True
Let t = 18 + -16. Is 2 equal to t?
True
Suppose 3*u = 5*u - 8. Let s = -1 + u. Let j be 3/9 - (-5)/s. Is -1 less than or equal to j?
True
Let z be (-62)/(-4)*(-2)/(-3). Let h = -2753/234 - 8/117. Let v = h + z. Which is smaller: v or -2?
-2
Let r(n) = -n**2 - 8*n - 7. Let t be r(-7). Suppose -2 + 1 = -i. Which is bigger: i or t?
i
Suppose 5*l = -5*s + 5, 5*s = -3*l - 0 - 5. Is -4 greater than or equal to s?
True
Let s = 0.29 + 1.71. Are -1 and s equal?
False
Let p be -9 + 9 - (-72 - 1). Is 72 > p?
False
Let l = 1 - 2. Suppose 0 = q - 1 + 5, 3*i - q + 2 = 0. Let u = i - l. Which is greater: 0 or u?
0
Let m(l) = -l - 5. Let n be m(-4). Let u be (6/48)/(n/6). Is u at most as big as -2?
False
Let p(i) = 2*i**3 + i**2 + i. Let u be p(0). Do u and 0 have the same value?
True
Let h be (613 - -4)*(-24)/(-46). Let s = 322 - h. Let c(i) = -i**3 + 3*i**2 + 3*i + 5. Let v be c(4). Is s less than v?
True
Let a(t) = -t**2 + 13*t - 13. Let j be a(12). Which is greater: j or 0?
0
Let d = -24 + 36. Which is smaller: 13 or d?
d
Suppose 2*u - 4 = u - 5*i, 2*i - 39 = 3*u. Let v = u + 9. Is v at most -2?
True
Let l = 1.98 + 0.02. Do -2/9 and l have the same value?
False
Suppose -q + 3*v + 1 = -0, -13 = -q - 3*v. Is 8 at most q?
False
Suppose 4*u + 13 = 3*g, 2*u + 18 = 3*g - u. Suppose 0 = -3*s + 3*o + 30, 0 = -0*s + s + 2*o - 13. Is g less than or equal to s?
True
Let x = 1.64 - 2. Let s = x + -0.04. Let h = -0.5 - s. Is 2 equal to h?
False
Let d(b) = -2*b + 3. Let o(t) = t - 1. Let f(n) = 2*d(n) + 5*o(n). Let k be f(-7). Is -7 greater than or equal to k?
False
Let f be -24*(-3)/((-18)/(-4)). Let l be (-10)/(-30) - f/3. Which is smaller: -1 or l?
l
Let s = -0.25 + -14.75. Let l = 8 + s. Which is bigger: l or -0.1?
-0.1
Suppose -3*g = -2*g. Let x be 0 - (-3)/(-42)*-8. Is g at most as big as x?
True
Suppose 3*v + 5*g + 16 = 0, 2*g + 5 = 2*v + 37. Is v != -11?
True
Let v be (3 + 0 + 1)*1. Let m = 1 - v. Let i be (20/(-225))/(2/m). Which is smaller: 1 or i?
i
Let t = -0.67 + 15.87. Let d = t - 15. Is -0.2 less than or equal to d?
True
Suppose -f - 71 = u, 0 = -3*u - 0*f + 4*f - 248. Is -76 at most u?
True
Let u = -4 + 4. Let g = u - -1. Let s = 2.4 - 2. Which is smaller: s or g?
s
Let x = 4 - 3.9. Is x at least as big as -3/2?
True
Let x = -0.01 + 0. Let d = -0.49 + x. Let i = d + 1.5. Which is smaller: 0 or i?
0
Let u = -28 - -30. Does u = 3?
False
Let m = -7 - -12. Suppose 0 = 3*g + 5 - 17. Is m at most as big as g?
False
Let i = 68 - 50. Is 16 at most i?
True
Let o = 1 + -53/55. Is o equal to 1?
False
Let o = 19 + -9. Which is greater: o or 6?
o
Let l be 1/(-21) + (-2)/7. Let r = -24/7 + 79/21. Are r and l nonequal?
True
Suppose -3*s + 2*n - 1 = 6, -5*s - 2*n - 1 = 0. Is -1/124 smaller than s?
False
Let m = -9 + 11. Let t be (m/(-39))/((-2)/(-6)). Which is smaller: t or 0?
t
Let i be ((-1)/(-3))/(5/90). Let h(r) = -2*r + 10. Let d be h(i). Let t be (-8)/(-18)*6/(-2). Which is bigger: t or d?
t
Let o be ((-5)/20)/(1/(-17)). Is 4 bigger than o?
False
Let d = 5791/7 + -829. Is d less than -0.1?
True
Let q(r) = -4*r - 1. Suppose -5*o + 9 = -6, 4*g + 2*o = -18. Let x be q(g). Let s = -93/4 + x. Which is bigger: -1 or s?
s
Suppose 3*v - 3*n - 7 = 8, -2*v = n - 13. Which is smaller: 12 or v?
v
Let p = 166 - 50. Let o be p/8 + (-1)/(-2). Let z be (-16)/(-5) - 3/o. Which is greater: z or 1?
z
Suppose 22 = -5*x + 67. Let l be ((-3)/5)/(3/x). Let y = l + 6/5. Which is smaller: y or -1?
-1
Suppose 40*g - 12 = 42*g. Let d be (-1*1)/((-1)/4). Let z = g + d. Which is bigger: 0 or z?
0
Let c = -9/10 - -53/70. Suppose -4*x + l + 2 = 0, 0 = 4*x + l + 2. Which is greater: c or x?
x
Suppose 0 = 2*s - 2, n - 110 = s + 29. Let z = n + -2102/15. Is 0 less than or equal to z?
False
Let w be ((-5)/(-24))/((-7)/28). Suppose 0 = 2*k - 3*k - 1. Does k = w?
False
Let o = -2 + -1. Let g = -1 - o. Which is bigger: g or 0?
g
Let k = 3 + -3. Suppose -3*w + 6*w = 36. Let i be ((-1)/2)/(3/w). Is i smaller than k?
True
Let q = 37 + -119. Which is smaller: -81 or q?
q
Let f be ((-2)/4)/((-3)/(-120)). Let t be ((-16)/f)/((-2)/(-20)). Suppose -h = -5*h - t. Is h at least -2?
True
Let l be (2/136)/(4/8). Which is greater: 1 or l?
1
Let i(v) = -v**2 - 6*v - 1. Let n be i(-7). Let j = 2 - 10. Is j at most as big as n?
True
Let t be (-2)/58*-83 + 8 + -11. Which is smaller: 0 or t?
t
Let r = 345 - -4716. Let n = r + -20123/4. Let c = 30 - n. Which is smaller: 0.3 or c?
c
Suppose 8*o - 5*o = -6. Is o smaller than -2?
False
Suppose 4*p + p - 4 = 3*g, -4*p = -3*g - 2. Let b be (-6)/p - -1 - -2. Which is smaller: b or -2?
-2
Suppose -7*w = -3*w + 20. Is w greater than or equal to -1?
False
Suppose -5*r = -4*h + 2, -4*h = -r - 6*h + 8. Suppose 2*v - 4 = -14. Let a = 8 + v. Is r at most a?
True
Let b(n) = 3*n - 14. Let t be b(6). Let s be 2*-1 - -1*7. Let m = s - t. Are 2 and m unequal?
True
Let h be 1/5 + 553/(-1190). Let y = h - -267/238. Is y equal to 1?
False
Let c be 4/(-14) + 55122/(-182). Let t = 303 + c. Which is smaller: 0 or t?
t
Suppose 3 = 5*z - 72. Let l be (-6)/(-15)*1*z. Is l <= 5?
False
Let o be (-1)/4 - 60/16. Suppose 12 = -2*c + 3*m, 5*c + 4*m = 3*m - 13. Which is smaller: c or o?
o
Let j = 271 - 286.9. Let r = -16 - j. Is r at most 3/2?
True
Let d(x) = -4 - 1 - x + 12. Let i be d(6). Suppose 0 = -0*m + m + i. Which is smaller: 0 or m?
m
Let g be (13 - 15)/(1 + -72). Is -1 less than g?
True
Suppose -5*v - 6*f = -3*f + 7, -2*v - 2*f - 6 = 0. Suppose -13*l = -12*l. Let w be (l/(3/(-3)))/v. Is w <= -3/4?
False
Let z = -801/11 + 73. Let c(h) = 5*h**2 - 9*h + 1. Let d(m) = -9*m**2 + 17*m - 2. Let v(p) = -11*c(p) - 6*d(p). Let b be v(-3). Which is smaller: z or b?
z
Let k = 3 + -3.1. Let u = -11 - 10. Let q be (-3)/u - (-23)/(-63). Is q bigger than k?
False
Let o be (-4)/(1 - (-7)/(-3)). Suppose -o*t - x = -9, -4*x + 13 - 3 = -t. Is 3 bigger than t?
True
Suppose 0 = -2*x + 3*x. Let y be x*(15/6)/5. Is y less than 1?
True
Let g(d) = -2*d + 2*d + 4*d. Let a be g(5). Suppose a + 8 = -4*v. Which is bigger: v or 1/2?
1/2
Let u be (-12 - -6)*1*2/(-6). Which is greater: u or 10/3?
10/3
Let c be (-2)/5*1 - 11/(-15). Which is smaller: 36 or c?
c
Suppose 2*f - 2*z + 5*z + 10 = 0, z = 0. Let c(a) = -a - 8. Let n be c(-5). Let d = f - n. Which is greater: -1 or d?
-1
Let d = -4 + 4. Let a = 3 - d. Suppose 1 = l - 1. Which is bigger: l or a?
a
Let q(s) = -s + 4. Let d be q(3). Let o = 230/9 + -26. Which is smaller: o or d?
o
Let m be -12*(4 - 1)/(-9). Suppose 0 = -m*t + d + 5, -2*d = -2*t + 6*t - 2. Is 1 at least t?
True
Let q be 18*(14/24 - (-9)/12). Is 26 greater than q?
True
Let m = 42 + -41.42. Which is smaller: m or -2/7?
-2/7
Suppose 0*x + x - 4 = 0. Suppose -3 = -g - x. Is g < -1/3?
True
Suppose 0*m + 1 = m. Are m and -2 equal?
False
Let d = -18 - -27. Let a = 3 - d. Is 0.1 less than a?
False
Let z = 0 + 4. Let d be (-5)/6*z/(-10). Suppose 3*c + f = 1, 4*f = -4*c - 1 - 3. Is c greater than or equal to d?
True
Let h = -5 + 5. Suppose 0 = 3*q - h*q. Is q != -2/13?
True
Let f = -7 - -10. Let j be 2*(6/(-4))/f. Which is smaller: 0 or j?
j
Let c = -2.09 + 0.09. Is -1/18 bigger than c?
True
Suppose x - f = -2, 3*f = -5*x - 0*f + 6. Is x greater than -3/5?
True
Let a be (1/(-1))/((