u?
u
Let f = 683 - 666. Let q(t) = t**2 + 4*t - 4. Let v be q(-5). Which is bigger: f or v?
f
Let j be (-6)/(-15) - 80/75. Which is greater: 2/3 or j?
2/3
Suppose 1 = -5*s - 4*k, -k - 2*k - 12 = 0. Is 0 less than s?
True
Let z(k) = -8*k**2 + k**3 + 17*k**2 - 5*k**2 + k + 4. Let n be z(-4). Which is smaller: -2/3 or n?
-2/3
Let s(c) = -c**2 + c - 4. Suppose -3 = -5*i - 3*a, 0 = 6*i - 2*i + a - 1. Let m be s(i). Is m at least as big as -5?
True
Let f(q) = -3*q**2 + 51*q - 11. Let z be f(15). Is z equal to 79?
True
Suppose 25 = -3*m + 31. Is m less than 3/2?
False
Let r = 54 + -55. Is r greater than -2/67?
False
Suppose 0 = -0*i + 9*i - 18. Do -1 and i have different values?
True
Let y = 58 - 96. Is y not equal to -75/2?
True
Let g = -33 - -34. Which is smaller: g or 1/23?
1/23
Let p be (-16)/108*6/(-4). Which is smaller: 0.1 or p?
0.1
Let f(p) = 3*p**3 + p**2. Let k be f(-1). Let n be (-1*2)/(k - 4). Let h = 0.6 - 0.5. Which is smaller: h or n?
h
Suppose -v = 1 - 2. Let b(c) = -c - 25. Let t be b(-28). Is t at least v?
True
Suppose x = -3*v + 16, -3*v + 5*x = -8 - 2. Is 6 at least v?
True
Let m be (-2 - 1)/((-1)/5). Let n = m - 14. Which is greater: 1/4 or n?
n
Let l = -1 + 1.16. Let g = l - 2.56. Let n = -0.4 - g. Which is smaller: n or 0.1?
0.1
Suppose -2*l - 2*l = -8. Suppose -4*v = 2*x - 6 + 2, -2*v + 2*x + l = 0. Suppose 7*m - 2*m = 10. Do m and v have the same value?
False
Let j be (-1)/(-1) - 2 - -1. Let t be (-6)/(-27) + 13676/(-32868). Let y = -1/83 - t. Which is smaller: y or j?
j
Suppose 0 = 5*d + 33 - 93. Let l(u) = -u + 2. Let b be l(-3). Suppose -d = -b*f - 2. Is 1 at least f?
False
Let a = 11 + -15. Let g be (-8)/10*1/a. Let c = 4 + -4. Which is smaller: g or c?
c
Suppose 3*q = -5*o - 34, -3*q + 4 - 26 = -o. Is q bigger than 1?
False
Let k = 1433/9 + -159. Let i = 6 + -4. Let c = i + -3. Which is smaller: c or k?
c
Let u = -2 + 1. Let x = u - -3. Let o = 10.3 - 10. Is o > x?
False
Let z = 27 - 25. Is -2/27 less than z?
True
Suppose 6 = 5*k + 1. Is k bigger than 2/5?
True
Let l be (9/6)/((-21)/28). Is -6 <= l?
True
Let j = -88 + 790/9. Suppose 16 = 5*c + 16. Which is smaller: j or c?
j
Let a(p) = -p**3 - 12*p**2 - 9*p - 19. Let k be a(-11). Which is smaller: -40 or k?
k
Let t(g) = 2*g - 3. Suppose -5*z + 10 = -0. Let u be t(z). Is u at most as big as -2/5?
False
Let n = 20 + -13. Is n equal to 4?
False
Let w be 2/6 + 1927/6. Let o = 16093/50 - w. Let g = 1/25 + o. Which is bigger: 1 or g?
1
Let u be (1 + -1 + -1)*-1. Suppose 0 = 2*z + 13 - u. Let f = 4 + z. Is -1 less than f?
False
Let q = -3 - -6. Suppose q*u = u. Which is smaller: -1/3 or u?
-1/3
Let c = 9 - 9.1. Does c = -3/4?
False
Let r = -67/14 - -2/7. Is r bigger than 0?
False
Suppose 0 = -p + 2, -j + 6*j - 21 = -3*p. Let i = 0 + j. Suppose 4*g = -i*a - 2 + 24, 2*g = a + 6. Which is greater: g or 2?
g
Let d = 127/6 - 41/2. Which is greater: d or 2?
2
Let u = 25 + -38. Suppose 15*z - 12*z - 5*q = -5, -1 = 4*z - q. Which is smaller: z or u?
u
Suppose -4*p + 0*p + 4 = 0. Let g be (p/((-3)/18))/(-2). Is g less than or equal to 1?
False
Let b(v) = -65*v - 11. Let r be b(5). Let n = r - -4378/13. Which is bigger: 2 or n?
2
Let y = 1/28 + -31/84. Is 1 smaller than y?
False
Let t = 2 + -2.1. Let d = -4 + 3. Which is smaller: t or d?
d
Let t = 122 + -362/3. Is t != 10?
True
Let x = 322/1003 + -12/59. Suppose -15 = 3*n - 3*s, 20 = 3*n - 2*n + 4*s. Is n at least x?
False
Let y = 6 - 4. Let k be 2*(3 - 25/2). Let n = k + 39/2. Which is greater: y or n?
y
Suppose 0 = -15*v - 449 - 421. Is v less than -59?
False
Let k be 2/6*(11 - 8). Suppose 2 = -5*h + a - 2, -2*h = -4*a - 2. Let v be h + 0 + 1 + 2. Which is smaller: v or k?
k
Let t = 40079/21 + -1909. Which is bigger: 0 or t?
0
Let d = 2 + 0. Suppose 8 + 1 = -3*u. Let q = -1 - u. Is d < q?
False
Suppose 5 = 3*g - 13. Let y(l) = l - 3. Let i be y(g). Suppose d + 8 = 2*f, i*d + 2*d - f + 13 = 0. Are -3 and d unequal?
True
Let c = 124 + -117.9. Let s = c + -6. Which is bigger: -2/39 or s?
s
Suppose 5*x = 3*n + 28, 3*x - 3*n = -0*x + 18. Let k be 1/(x + 1 + -3). Which is bigger: k or -1?
k
Let t = -0.13 + -1.47. Let u = t - 0.4. Which is smaller: u or 1?
u
Suppose 3*c = c. Let f(r) = 2 - 1 - 2*r**2 - 4*r + c*r**2. Let m be f(-3). Which is smaller: m or -6?
-6
Let p = 18 - 9. Let y = p + -1. Let c = y - 8. Is 1 less than c?
False
Let s = -11/9 - -5/9. Which is smaller: s or -1/3?
s
Suppose 5*m + 123 = 4*h, 6*m - 42 = -2*h + 2*m. Is h < 29?
True
Let d = -13 + 12.8. Which is bigger: -4 or d?
d
Suppose 2*i + 18 = 4*d, 4*i + 1 = -0*i + d. Let u be (-10)/(-14) + (-4)/(-14). Are u and i equal?
True
Let v = 6 + -7. Let y = v + 0.9. Is y equal to -2/7?
False
Let q = -40 + 29. Let d = 16 + q. Suppose -3*v + d = -1. Which is smaller: 3 or v?
v
Let w = 6 + -5. Let q = -3 + w. Which is bigger: q or -2/3?
-2/3
Let j be (12/(-10))/(5/(-50)). Suppose -j = -4*n + n. Do n and 3 have the same value?
False
Let f = 166 - 133. Is 2 greater than f?
False
Suppose -8*b + 3*b = 0. Let k be 4/2 - (-91)/(-42). Is b less than or equal to k?
False
Let u be (-4)/(-10) - (-63)/(-45). Let x = 288 - 205. Let g = x - 251/3. Is u bigger than g?
False
Suppose -2*o = -9 - 5. Let p(m) = m**3 - 8*m**2 + 7*m - 2. Let f be p(o). Which is bigger: -3 or f?
f
Let u(j) = j**3 + 8*j**2 + 7*j - 2. Let z be u(-7). Let g be ((-6)/4 - -2)*z. Let k = 0 - 1. Do k and g have different values?
False
Let r = -0.6 + 0.7. Let y = -0.2 + r. Let j = -4.93 + -0.07. Is j bigger than y?
False
Suppose 3*m = -4*x - 28, 5*m = -5*x - 50 + 10. Let q be -7 - 6*(-3)/6. Is x at least q?
True
Let z = 447/5 + -89. Let d(l) = -l + 3. Let u be d(4). Which is bigger: z or u?
z
Let h = 9 + -9. Suppose -l = -2*l + 5. Suppose l*z - 2*z = j + 12, -8 = -4*j - 2*z. Is j bigger than h?
False
Let c be 5/2*3/(-6). Suppose 7 + 3 = -5*q. Is c > q?
True
Suppose -3 = -5*z + 2*o + 3, -5*o = 3*z - 16. Suppose -6*u = -u + 5. Let n = u + z. Is 1 equal to n?
True
Let h(m) = -2*m**2 - 4*m - 2. Let c be h(-2). Which is bigger: -3 or c?
c
Let n = -35/12 - -8/3. Suppose 3*k - 2*s + 5 = 10, 2 = -2*k - 4*s. Which is bigger: k or n?
k
Let l be (-75)/(-4)*14/(-6). Let n = -44 - l. Let i be (-4)/(-14) - (-20)/(-21). Is n greater than or equal to i?
True
Let k = -2 - -4. Suppose -3*y - 4*z = 32, -4*y - k*z - 5 - 21 = 0. Which is smaller: y or -2?
y
Let h(p) = -2*p - 3. Let x be h(-3). Let r be 1/x*(-9)/6. Which is smaller: r or 0?
r
Let o(v) = v**3 + v**2 - 2. Let l be o(0). Let b be 0/(l*(-2)/(-4)). Suppose b = -11*h + 6*h - 20. Is h not equal to -2?
True
Let p = 100 - 128. Is -30 at most as big as p?
True
Let x = -10 - -9.8. Let j = 3/5 - 14/15. Is x equal to j?
False
Let k = 1 + 3. Is 0.1 less than k?
True
Suppose -k - 12 = 2*k. Let q = k - -1. Let a = 2 + q. Which is bigger: -3/2 or a?
a
Let g(r) = -2*r - 9. Let m be g(-7). Let q = 6 - m. Is q at least as big as 2?
False
Let a = -2 + 1.95. Let r = -6.05 + 6. Let x = r + a. Is x bigger than -0.2?
True
Let o be (-2)/3 - (2 + 16/(-6)). Are 11 and o unequal?
True
Suppose 0*x - 6 = -x. Let t = -2 + x. Suppose v = -3*v + t. Which is bigger: v or 2?
2
Suppose 0*m + 15 = -3*m, 3*b + 4*m = -137. Which is bigger: -38 or b?
-38
Let b = -1.9 + 2. Which is smaller: b or -15?
-15
Suppose 0 = -2*f + f - 4*g - 11, 0 = 4*f + 3*g + 5. Is f less than 2?
True
Let p = -5.5 + -0.5. Let v = p - -7. Let b = -0.1 + 7.1. Which is greater: v or b?
b
Let t be (6/16)/((-21)/(-28)). Is -1 greater than t?
False
Let a(b) = b**2 + 21*b - 19*b - 1 - 2*b**2. Let i be a(3). Let f be 2/i - (-3)/(-6). Do -1/8 and f have the same value?
False
Let g(t) = t - 2. Let y be g(4). Let p = -4.7 - -0.7. Let r = -2 - p. Are y and r non-equal?
False
Let i be 0 + 0 - (-2 - -5). Let q be 0 + 1 + i + -1. Is q smaller than -2?
True
Suppose -2*s = 3*y - 0*s - 23, 3*y - 28 = -s. Is 12 < y?
False
Let i = 9 + -3. Suppose -5*d + 2*l = -25, -4*d + 4*l + 10 = -10. Which is smaller: d or i?
d
Let k = -111 + 112. Which is smaller: -2/227 or k?
-2/227
Suppose -5*j - 2 + 12 = 0. Which is greater: 30/13 or j?
30/13
Let c = 1/9 + 25/18. Is 3 at least c?
True
Suppose 22 = -2*x - 2*n + 6*n, 5*n - 23 = x. Let q be (-3)/(-6)*42/(-3). Let v(g) = -g - 9. Let o be v(q). Does o = x?
False
Let m = 0.1 - 2.1. Let l = m - -5. Which is greater: l or -1?
l
Supp