 greater: 1 or v?
v
Suppose 0 = 3*s - 2 - 4. Let r = s + -7. Is r < -4?
True
Let f = -17 + 37. Which is greater: f or -2?
f
Suppose 4 - 8 = -4*u. Suppose j - 2*j - u = 0. Which is greater: -2 or j?
j
Let v = -0.074 - 8.526. Let c = 0.6 + v. Which is smaller: 2 or c?
c
Let u = 4 + -4. Let c = u + 0.1. Let n = 0 - c. Is -2/7 less than or equal to n?
True
Let o(z) = 8*z**2 - 3*z + 7. Let r be o(3). Suppose 2*f + 38 = -2*j + 6*j, 5*j + 5*f - r = 0. Is j at least as big as -2/7?
True
Let f be ((-1)/2)/(3/(-12)). Let x be (f - 0) + 24/(-4). Let c = x + 0. Is -4 bigger than c?
False
Let a be 1/(-4)*2*0. Suppose 0 = -3*i + 4*i - 2. Suppose -3 = -5*c + 4*m + 14, 4*c + 2*m = -i. Which is smaller: c or a?
a
Let w be (-134)/(-8) - 21/28. Let y = w + -20. Which is smaller: y or 0?
y
Suppose z + 7*n - 3*n - 4 = 0, -3*z + 3*n = -12. Suppose -6*c + c = -2*o - 7, z*c = o + 5. Is -1/6 at most as big as o?
False
Let q be ((-3)/2)/(-5 + (-174)/(-36)). Which is bigger: q or 26/3?
q
Let a be 4*(-1)/(-44)*2. Let n = 6.8 - 7. Is a < n?
False
Let r be (-30)/1 + 0/4. Let q be ((-2)/15)/(r/25). Is 0 >= q?
False
Let j(p) = p**3 - 16*p**2 + 12*p + 11. Let m be j(15). Let t be (-98)/m - (11 + -8). Are t and -1 non-equal?
True
Let z = -6 + 6.1. Let t = 1 - 1. Which is greater: t or z?
z
Let g = 7 - 9. Do -1/2 and g have the same value?
False
Let j = -20/3 + 6. Which is smaller: -26 or j?
-26
Let c be 4/18 - (-49)/63. Is -2/5 at least c?
False
Let y = -117 - -89. Which is greater: -27 or y?
-27
Let w be 0/(-2) + 1/(-2). Suppose -4 = -2*d - 2*p, d - 3*p = 2 - 12. Is d less than or equal to w?
True
Let n = 289/15 - 115/6. Let r = -1 - 0. Which is bigger: r or n?
n
Let g = -1 + 0.9. Let k = -4.1 - g. Let h be (22/8 + -3)/((-14)/(-16)). Is k less than or equal to h?
True
Let a = -172/3 + 51. Let p = a + 139/21. Which is greater: 0 or p?
p
Let a(j) = -2*j - 43. Let h be a(-22). Which is smaller: h or 1/222?
1/222
Let u = -1.2 - -0.2. Are u and -5 nonequal?
True
Let b be ((-4)/(-5) - 0)/((-24)/(-40)). Is 0 > b?
False
Suppose 5*f - 25 = -0*f, 2*x - 3*f = -13. Let i = -32 + 35.3. Let z = 0.3 - i. Which is bigger: z or x?
x
Let r = -152/93 - 1/31. Which is smaller: -3 or r?
-3
Suppose -1 = -q + 3. Suppose 5*b + 0*u = -q*u - 15, -5*u - 21 = 4*b. Let c be -2 - b - 112/(-35). Which is bigger: c or 1?
1
Let t = -11/7 - -499/322. Which is bigger: 1 or t?
1
Suppose k + 8 = 4*m, 2*k - 5*k = 12. Are m and 1/4 non-equal?
True
Let g = 2572/7 + -368. Let t be (-6)/27 - 2/(-9). Which is greater: g or t?
t
Let n(v) = -v**3 + 6*v**2 - 4*v + 6. Let f be n(6). Which is greater: -2/3 or f?
-2/3
Let f(n) = -6*n + 3*n + 4*n. Let l be f(3). Suppose 5*v = -4*w - 17, w - 1 = v - l. Are v and 0 nonequal?
True
Suppose l - 23 = -5*w + 5, l - w = -2. Suppose -5*h + f - 3*f = 10, -l*h + 2*f + 10 = 0. Which is smaller: 2/17 or h?
h
Suppose 5 + 10 = -3*m, 2*t = 3*m + 19. Let x = 4 - t. Let o = 31 - 30. Is o bigger than x?
False
Suppose 40 = 5*v + u - 150, 2*v + 3*u = 89. Let d be (-22)/(-77) + v/(-7). Which is smaller: d or -4?
d
Let u = -32 - -31. Let n be (0/2 + -2)*-7. Are u and n nonequal?
True
Let a = -22/3 - -35/3. Is 3 smaller than a?
True
Let t = 18 + -17.9. Which is smaller: t or -1?
-1
Let o(w) = -5*w**2 - 4. Let a be o(4). Let f be 4/26 + a/39. Is -5/8 > f?
True
Let z = 6611/9 + -731. Is z less than 3?
False
Suppose -x + 6 = 3*n - n, 0 = 2*n + 4*x - 12. Suppose 5*f - 5 - 8 = -n*w, w = 2*f + 2. Suppose 2*d - w = -0*d. Is 1 greater than d?
False
Suppose -23 = 3*l + 2*m, 2*m = 3*m + 4. Let s = -14 + 10. Which is greater: l or s?
s
Let i = -6 - -8. Suppose 7*r = i*r + 35. Let u = -15/2 + r. Which is greater: u or -1?
u
Let p = -9.95 - 0.05. Let u = -9 - p. Does -2/15 = u?
False
Let q be (2/3)/(4/(-6)). Suppose -3*u - 33 = 3*v, -4 = 7*v - 3*v - 4*u. Let j be q - (3/1 + v). Do j and 2 have the same value?
True
Let d = -136 + 1770/13. Which is smaller: -2 or d?
-2
Suppose 3*f - 4 = -4*l, -l - 4*l - 3*f + 5 = 0. Let m = -1/140 + 569/1260. Is l >= m?
True
Let a = 155/3 + -51. Let z = a + -1/6. Which is greater: 2 or z?
2
Suppose -c + 3*c - 4 = 0. Suppose 12*x - 9*x = 12. Let g = c - x. Which is smaller: g or -3?
-3
Suppose 0 = 3*s + d + 91, 2*d - 44 = -5*s - 197. Is s less than or equal to -28?
True
Suppose -3*q = -26 + 14. Are q and 0.03 unequal?
True
Let q = 1.73 - 113.73. Are q and -1 nonequal?
True
Let h = 0.07 - -0.01. Let j = 0.22 - 0.2. Let g = h + j. Which is greater: g or 0?
g
Let u be 1 + (1404/294)/(-6). Is 1 bigger than u?
True
Let d be (0/(-3))/(-2 - -4). Is d less than or equal to 6/7?
True
Let i be (-52)/(-10) + (-2)/10. Suppose 0*d + d + c = 5, i*c - 25 = 0. Is 1 less than or equal to d?
False
Let s(m) = -m**2 + 24*m + 15. Let c be s(24). Are 15 and c unequal?
False
Let u = 0.35 + -0.74. Let s = 0.23 + u. Are s and 1 non-equal?
True
Let d(a) = a**2 - 6*a + 6. Let o be d(5). Let i(w) be the second derivative of -w**4/6 + w**3/6 + w. Let k be i(o). Which is smaller: k or 0?
k
Let h = 10 - 10. Is -2/9 less than or equal to h?
True
Let s(h) = -h**3 - 6*h**2 - 3*h + 5. Let r be s(-7). Let o = 677/9 - r. Do 1 and o have different values?
True
Suppose 11*w - 12 = 12*w. Is w greater than or equal to -12?
True
Let o be 5 + 632/(-78) - -3. Is o at most 1?
True
Suppose -4*a - g - 52 = 110, -5*a = 2*g + 204. Let x be 32/a*2/(-28). Are 1 and x unequal?
True
Let x(m) = m + 13. Let d be x(-9). Let c be 2/(-20) - (-2)/d. Which is greater: c or -1/3?
c
Let q be 4/3*21/(-7). Is q at most as big as -4?
True
Suppose -2*v + 10 = 4*q, q + 2 = 2*q + v. Let h = -163 + 168. Do h and q have different values?
True
Let q be (-98)/6 + (-2)/3. Which is greater: -3 or q?
-3
Suppose -2 = 2*m, 5*i + 8 = -3*m + 20. Let y be (13/8 + -2)/i. Which is greater: -1 or y?
y
Let s be (-8)/((-8)/3) - 7. Is s <= -32/9?
True
Suppose 0 = u - 2 - 1. Suppose s = u*s. Are s and -3/13 equal?
False
Let b be (7/((-21)/(-6)))/7. Suppose -l = -0*l + 1. Which is smaller: l or b?
l
Suppose -3*u + 76 = -4*g + 257, 113 = -2*u - 5*g. Are u and -58 nonequal?
True
Let t = -1 + -2. Let p = 2.9 + t. Are 0.2 and p unequal?
True
Suppose -4*f = -4*c + 20, -3*f + 25 = -4*f + 5*c. Let b be f/(1 + 0 + 0). Which is bigger: -6/7 or b?
b
Let n = 20 + -5. Suppose 2*v - n = -5*x - 0*v, 17 = 2*x + 3*v. Let q be -1 + 6/(x - -2). Is -2/7 at least as big as q?
False
Let d = -0.0962 + 4.9862. Let g = d - -0.11. Let o = -4 + g. Is o greater than 1/4?
True
Let q be 16/20 - (-4)/(-10). Let h = -2 + 4. Is h at most q?
False
Suppose 1 = x + 3. Is 0.1 smaller than x?
False
Let m = 5.5 - 6.5. Let s = -0.1 - -3.1. Let x = 8 - s. Which is smaller: m or x?
m
Let z be (-5)/(-2) + 4/8. Suppose -z*q + 4*q = 2. Is 2 at least q?
True
Let o(t) = -t**2 - 2*t + 3. Suppose -3 - 20 = 2*x - 5*d, -5*d + 35 = -5*x. Let s be o(x). Do -4 and s have different values?
True
Let c = 13 + -13. Is 2 greater than c?
True
Suppose -30 - 51 = 9*j. Let g(u) = -u**3 - u**2 - u - 10. Let k be g(0). Which is greater: k or j?
j
Suppose 1 = 3*c - 5. Suppose 2*w + 2*h = c, 4*h = 4*w - 0*h - 12. Let f(d) = d - 3. Let x be f(4). Do w and x have the same value?
False
Suppose -3*l = 2*a + 1, 3*a - 4*l - 17 = 7. Suppose -a*t + 2*t + 4 = 0. Is t != 14/5?
True
Let z(c) = c - 15. Let m be z(14). Suppose -12 = -4*x, -5*t = -4*x - 0 - 38. Let o be ((-2 + t)/1)/m. Which is smaller: o or 1?
o
Suppose 2 = -k + 2*v + 7, 2*k = -5*v + 10. Suppose -k*s = 2*z + 23, z + 5*s - s = -19. Let t be (-27)/48 - z/(-2). Which is bigger: 1 or t?
1
Let w be ((-18)/15)/((-1)/5). Let x = w + -6. Let p be 2/(-4)*x/2. Is 1/2 < p?
False
Let z(f) = -f**2 - 11*f - 12. Suppose -7*o + 20 = -2*g - 3*o, -5*o = -5*g - 50. Let u be z(g). Suppose -r = c + 1, -2*r - 4*c = -r + 1. Is r bigger than u?
True
Suppose 15 = -5*m, -5*m - 2 = 4*n + 9. Does 0.1 = n?
False
Suppose h = -2 + 9. Is h < 7?
False
Let f = -3478/25 + 139. Which is smaller: f or 1?
f
Let t = -344/15 - -23. Is t bigger than 1?
False
Let y = -0.61 + 0.32. Let v = 0.11 - y. Is v greater than 0.4?
False
Let y be (2/4)/((-3)/6). Is y at least 1/7?
False
Let n be (-7)/(-1)*3/(12/2). Suppose -x - x + 5*y + 15 = 0, 5*y - 10 = -3*x. Is n equal to x?
False
Let x(g) = g + 4. Let t be x(1). Which is greater: 13/3 or t?
t
Let o = -0.19 + 1.19. Which is greater: 0.1 or o?
o
Let i be (4/10)/((-3)/15).