2 or j?
j
Let s(q) = 7*q - 2*q - 3*q**2 + 4*q**2 - 3. Let r be s(-6). Let y(t) = -t**3 + 4*t**2 - 3*t - 2. Let o be y(r). Is -2/3 at least o?
True
Suppose -4 = -4*k + 4. Suppose -k*f = -f + 7. Is -6 smaller than f?
False
Let a be 32/24*(-2)/2. Which is smaller: 9 or a?
a
Suppose 0*s = 2*s - 4. Suppose 5 = s*o - 1. Do 3 and o have the same value?
True
Suppose 2*c - 6 = 4*c. Let u be 2/(-2) - (6 + -4). Is c <= u?
True
Let o be 12/16 - 57/60. Which is smaller: 0 or o?
o
Let s = -466 + -379. Let b be s/(-3475) - 1/5. Let d = b - -357/1390. Which is smaller: d or 1?
d
Let v = -0.032 + -0.068. Which is bigger: -9 or v?
v
Let c = 0 - -4. Suppose -5*a - 9 = -c. Let n = -60 + 241/4. Is a at least as big as n?
False
Let a be (-1)/62*(-7 + 3). Which is smaller: -1 or a?
-1
Suppose -4*u + 5*l - 10 = -3*u, 2*l = -4*u + 70. Let q = u - 14. Which is smaller: 0.4 or q?
0.4
Let q = -32 + 23. Let f = 9.05 + q. Which is greater: f or 1/2?
1/2
Let d be (-5 + 3)/(3/6). Let w be (6/d)/(3/(-32)). Suppose -2*y - 6 = -4*y, -s = -4*y + w. Is s <= -2?
True
Let a = 4 + -3.99. Let m = 0.11 + 0. Let f = m - 0.11. Which is bigger: a or f?
a
Suppose -5*m + 54 = m. Let s be (-2)/m - 42/54. Is -2/33 at least s?
True
Let a = 317 - 2211/7. Which is bigger: 2 or a?
2
Let g = 125 + -503/4. Which is greater: 0.11 or g?
0.11
Let y = 22 + -15. Let k = -13 + y. Which is greater: 1/4 or k?
1/4
Suppose 0 = 3*k - 8 + 2. Suppose k*j = -5*v + 20, 2*v + 0 + 1 = j. Suppose -s + 5*x = -3*s - 14, 4*s = j*x + 32. Does s = -2?
False
Let f = -1 - 1. Which is smaller: 9 or f?
f
Let v(c) = -105*c**2 - c. Let j be v(-1). Let a = j + 726/7. Which is bigger: 1 or a?
1
Let c be (1/(-1))/(7/(-2)). Let v be (-4)/(-3) + 4/(-12). Which is greater: v or c?
v
Suppose -4*q + 0*q = 0. Suppose 5*s - 8*s + 9 = q. Which is smaller: s or 0?
0
Suppose 3*n - 19 + 3 = o, -5*o - 3*n = -10. Which is smaller: -1/9 or o?
o
Suppose -2 + 10 = 4*z. Let f be z/(-7)*298/(-572). Let n = f + 3/91. Is 0 equal to n?
False
Let z = -79.1 - -79. Which is smaller: 51 or z?
z
Suppose -p + 2 = -0*p. Let x be (2/6)/(1/9). Which is bigger: x or p?
x
Suppose 3*n + n = 2*a + 22, -2*n + 21 = -3*a. Which is smaller: a or -7?
-7
Let z be (-89)/13 + 2/(-13). Let m be (1 + 0)/((-4)/28). Is z <= m?
True
Let j be 0/(2*1 + -3 + 3). Is -7/5 greater than j?
False
Let z = -7 - -7.6. Let w = z + -0.1. Is w less than 1?
True
Let t = 21 + -28. Is -7 less than or equal to t?
True
Let l = 3 + -2.9. Let g = 3 + -1.4. Let k = g + 0.4. Which is greater: k or l?
k
Let j be 1/3 - (-30)/(-9). Let u be (-1)/((j/(-18))/1). Is -5 >= u?
True
Let r = -8.26 + 1.56. Let p = 7 + r. Which is smaller: 1 or p?
p
Let z be 2 + ((-376)/(-84))/(-2). Let p = -33/2 + 695/42. Let o = z - p. Is 0 smaller than o?
False
Suppose -80 = u - 11*u. Let q(o) = 2*o**2 + o + 1. Let j be q(-2). Is u > j?
True
Let r = -1487/1935 + -2/215. Which is smaller: r or -2?
-2
Let d = 82/147 + 1317/245. Let x = d + -19/3. Let r = -1 - -2. Is x greater than or equal to r?
False
Let n be (-5)/(-15) - 46/3. Let t be ((-22)/(-8))/(n/60). Is t at most -10?
True
Let y = -2.21 + -0.73. Let b = -0.06 + y. Let x = b + 3.3. Which is bigger: x or -1?
x
Let i = 314 + -314. Let c = -8/11 + 27/22. Is c equal to i?
False
Suppose -3*g - 6 = -0*g. Let h be 46/14 + 4/(-14). Suppose -4*f - 4*r + 4 = 0, -2*f + r + h*r = 22. Are f and g equal?
False
Let m = -0.06 + -1.14. Let r = 1 + m. Let z(w) = -2*w + 20. Let q be z(10). Which is greater: q or r?
q
Let m(k) = -k - 6. Let n be m(-6). Suppose n = 4*q - 9*q - 90. Let a be (-2)/6 - (-12)/q. Which is smaller: a or 0?
a
Suppose -3*v = -0*v. Suppose 10 = -v*i - 2*i. Which is greater: i or -4?
-4
Let x = 6.7 + -6. Let b = -0.6 + x. Is b greater than 0?
True
Let y = -401/18585 - 3/295. Are 0 and y equal?
False
Suppose -6*c + 6 = -0. Is -2/19 >= c?
False
Let m(x) = x**3 - 11*x**2 + 11*x - 5. Let j be m(10). Suppose j*b + 2*n - n - 9 = 0, 16 = 4*b + 3*n. Is 6/7 greater than b?
False
Let x = -2 - -6. Suppose 2*h + x = 4*h. Let a = -4 - -6. Is a bigger than h?
False
Suppose -3*a - 3*b = 12, 0 = 5*a - 10*a - b. Which is smaller: -4/13 or a?
-4/13
Let u(d) = -2*d**2 + 34*d - 12. Let q be u(14). Is q less than or equal to 72?
True
Let h = 2/15 + 1/5. Let x = 6 - 5.9. Is h > x?
True
Let z = 2.5 - 3.55. Let w = z - -0.05. Which is greater: -2 or w?
w
Let l = -8 + 14. Let c = -41/7 + l. Let k = 0 - -1. Is c smaller than k?
True
Let m(o) = -6*o**3 - o**2 + o. Let t be m(1). Which is bigger: -5 or t?
-5
Let w = 1944/18107 - 2/953. Is -1 >= w?
False
Let j be ((-16)/3)/(2/(-3)). Let p(g) = 2*g - 10. Let v be p(j). Are 4 and v non-equal?
True
Let l = 2476/7 + -350. Is l equal to 3?
False
Let f(n) = -n**3 - 3*n**2 + 3*n - 3. Let c be f(-4). Let y be (-3)/(189/(-96))*-3. Let z = y - -281/63. Does c = z?
False
Let r be ((-2)/10)/((-24)/15). Suppose 4*z + 0*z = 16. Let y be 3 + -1 - 4/z. Do r and y have the same value?
False
Let g(o) be the second derivative of -o**5/20 + o**4/2 - 5*o**3/6 + 3*o**2/2 - o. Let w be g(5). Suppose 0*y + w*y = 0. Is 1 >= y?
True
Let r be 39/(-52) + 4/5. Which is smaller: -1 or r?
-1
Let z be (16/(-18) - -1)*2. Let g(v) = v - 5. Let t(j) = j**2 - 6*j - 1. Let o be t(7). Let d be g(o). Which is smaller: z or d?
z
Suppose 2*r + 73 = -5*y, -4*r + 3*y - 83 = -2. Let m be (-16)/33 - r/36. Is m > 1?
False
Let k = 138.04 - 143. Let m = k - -5. Is m != -1/4?
True
Let m be (2/6)/((-2)/3). Suppose -3*q = -0*q. Suppose q = -3*k - 0*k - 3. Which is bigger: k or m?
m
Let c = -1 - -9. Suppose c = 5*y - 2. Let n(a) = -a**2 - 5*a - 3. Let o be n(-4). Which is bigger: o or y?
y
Let h(x) = 9*x - 11*x + 2*x**2 + 0*x**2 + 0 + 1. Let o(r) = r - 4. Let g be o(5). Let z be h(g). Is z > -2/3?
True
Let f = -0.123 + 0.023. Is 46 smaller than f?
False
Let s be ((-7)/3)/((-1)/(-3)). Let q be 3*(0 + s/60). Let f = q + 3/4. Is 1 != f?
True
Let v = -10.62 + 11.6. Let p = -0.3 + 0.28. Let f = p - v. Which is greater: 2/5 or f?
2/5
Let b be (-1 - 2)*-1 - -2. Let c = 8 - b. Do c and 5/2 have the same value?
False
Let r be (-14)/(-4) + 2/4. Suppose 3*s = 7*s - r. Let x be -1 + (-1)/(1/(-2)). Is s greater than x?
False
Let z(m) = -m + 2. Let b be z(-2). Let o be (-1 - (-2 + b))*-1. Let j be (-3)/((1 - o)/(-2)). Is -3 <= j?
True
Let v = 22779 - 1571803/69. Let b = v - -2/23. Is 2 at least as big as b?
True
Let x = 0.9 - 0. Let g = x + -1. Let f = g + 0.5. Which is greater: f or 0.1?
f
Suppose -5*s + b - 28 + 3 = 0, 3*s = 2*b - 8. Let o = -9 - s. Suppose -a + 2*m = 4*m - 4, -3*m = -9. Does a = o?
False
Suppose -4*a - 7 = g + 10, 0 = 5*g + 5. Let d = 18 - 45. Let o = 23 + d. Is o greater than or equal to a?
True
Let s = 5/19 - 179/247. Which is smaller: -1 or s?
-1
Let g = -1 + 1. Let u be g - 2/(2 + -4). Let x = -9 + 11. Is u at most x?
True
Suppose -16 = -r + 5*p, -4*p + 6*p = -5*r - 1. Which is greater: 2/27 or r?
r
Let g = -81 + 133. Which is greater: g or 51?
g
Let q = -71 + 67. Which is greater: -0.03 or q?
-0.03
Let d = -9 + 6. Is d smaller than -3?
False
Suppose -2*d + 5*i - 21 = 0, 3*d + 3*i - 27 + 6 = 0. Is 6/7 greater than d?
False
Let i = -17 + 15. Which is greater: i or -8/13?
-8/13
Let p(v) = -v**3 - 12*v**2 - 7*v + 43. Let o be p(-11). Is o less than 2?
True
Let p = 167 + -1840/11. Let d = -32/77 - p. Is -1/4 > d?
False
Let k be 4/((-4)/((-6)/(-3))). Let f be k + 5 + 9/(-3). Is -2/9 >= f?
False
Suppose -3*m = -c - 7, 5*m - 2*c - 11 = -0. Is 5 equal to m?
False
Let f = -7 - -9. Let z = -365/4 + 92. Is z less than f?
True
Let u = 3419/14 + -244. Is u at least 0?
True
Let q = 37 - 36.92. Are 2/7 and q non-equal?
True
Let k = 2 - 3. Let h = k - -0.9. Is 0 >= h?
True
Let h(x) = 2*x + 13. Let y be h(-6). Let i(j) = -2*j + 1. Let k be i(1). Is y less than k?
False
Let u be 0 - 57*5/60. Are u and 1 non-equal?
True
Let m = 373 + -1859/5. Let f be -2*(-1 + 0/2). Let v = 2 - f. Is v less than or equal to m?
True
Let i(g) = 5*g**3 - g**2 + 6*g. Let x(c) = -c**3 - c. Let k(a) = i(a) + 6*x(a). Let s be k(0). Suppose -o + s - 3 = 0. Is o less than -2/3?
True
Let c(z) = z**2 - 5*z. Let i be c(6). Let a be -1*(i/3 + -4). Suppose 0 = a*x - 5 + 3. Which is greater: x or 3/4?
x
Let n = -31 - -46. Let x = 69 + -54. Is x bigger than n?
False
Let d = 11.6 - 12. Which is smaller: d or -5?
-5
Suppose 0 = -4*t 