ich is smaller: v or c?
v
Let f = 149 - 160. Is 3 >= f?
True
Let w = -1031 - -1030.9. Let b = -10.5 + -2.5. Which is smaller: w or b?
b
Let k(i) = 2*i - 5. Suppose -4*u = -2 - 10. Let o be k(u). Is 1/5 less than o?
True
Let j be 4 + (-20)/5 + 5. Suppose 3*o - j*s - 24 = -9, -4*o - 4*s = 12. Let m = -105 + 1364/13. Is m >= o?
False
Let i = -674 + 36. Is i at most -638?
True
Let w = -87 + 412. Is w smaller than 324?
False
Let l = 14.6 - -151.5. Let w = 178 - l. Let b = w + -12. Which is bigger: b or 10?
10
Suppose 0 = 5*d + v - 28, 34 - 3 = 5*d + 2*v. Let r(s) = s**2 - 6*s + 10. Let t be r(d). Suppose 2*y = -c - 11, -4*c + 3*c = -t*y - 38. Are y and -8 nonequal?
True
Let v = 27 - 15. Let p = v - -18. Which is smaller: p or 29?
29
Let j = 0.03 + 0.05. Let v = -14 + 5. Let y = v - -10. Which is smaller: y or j?
j
Let i be 2*-3*-1 + -2. Suppose -p = -5*p - i. Let d be 0 + 2/(-3)*3. Is p > d?
True
Let f = 2 + 54. Which is smaller: f or 62?
f
Let z be (-375)/(-20)*(-12)/(-9). Which is smaller: 118/5 or z?
118/5
Let b = 30.3 + -27. Let j = -1 + b. Let x = j - 2.4. Which is smaller: 4 or x?
x
Let j = 1010 - 1364. Is j < -353?
True
Let j = 116 + -114. Suppose j*c = -5*u + 7*c - 60, 0 = 2*u + 5*c - 4. Is -11 greater than or equal to u?
False
Let d(r) be the second derivative of r**5/20 - r**4/3 - 2*r**3/3 - 5*r**2/2 + 42*r. Let m be d(5). Which is bigger: m or -4/21?
m
Suppose 90 = 2*p - 3*k, 4*k = -4*p + 7*k + 186. Let j be 6/p + 30/16. Suppose m - 4*m = 12, 3*u + 11 = -j*m. Is -2/39 != u?
True
Let a be -1 + (-2)/3 + (-304)/(-168). Suppose 0 = -4*m - 4. Does m = a?
False
Suppose 4*i - 4 = 8. Suppose -i = 25*v - 22*v. Are v and 6 equal?
False
Let h = -6 - -12. Let c(y) = 7*y**2 - 2*y + 2. Let n be c(0). Do h and n have different values?
True
Let p = 0.03 - 6.03. Let z = p + 3. Let g = 9 + -9.1. Is g at least as big as z?
True
Suppose -31*r + 8*r = 0. Are r and 1/332 equal?
False
Let d be (-30)/(-3)*(-22)/(-55). Suppose x = -x. Which is smaller: d or x?
x
Let s = 0.165 - -0.535. Let x = -0.09 + 0.09. Is x > s?
False
Let a = -72 + 123. Let f = 50 - a. Which is smaller: f or -1/14?
f
Let s = -413 - -414. Is s at most as big as 5/9?
False
Let t = 6 + -5.2. Let n = 0.04 + -0.049. Let a = -0.009 - n. Is a != t?
True
Let m(h) = h**2 + 5*h + 4. Let t be m(-4). Suppose -3*f + t = 21. Let c = 1467 - 1465. Which is greater: c or f?
c
Let x(o) = 3*o - 9. Let u = 16 - 10. Let n be x(u). Let v be 3/22*(7 - n). Is v less than 1?
True
Suppose -a = -3, 3*i = -2*i + 4*a + 48. Is 1 not equal to i?
True
Let t be (14/(-5))/(4/(-30)). Let j = -19 + t. Is j at least -1?
True
Let d(l) = l**3 + 2*l**2 - 1. Let o be d(-1). Let j = 0 - 0. Suppose -3*u = -3*i + 21, j = -u - 5*i + 2*i - 27. Which is smaller: u or o?
u
Suppose 4*h + 58 = 310. Let q be ((-9)/6)/(h/24). Let v be ((-1)/(-2))/(1/(-4)). Are q and v non-equal?
True
Suppose -w + 4 + 12 = 0. Let d = 7 + -37. Let o = -13 - d. Which is bigger: w or o?
o
Let v = 466 - 476. Is v equal to -1/18?
False
Suppose 2*w + 4 = -22. Let m = -46.9 - -47. Are m and w non-equal?
True
Let v = -9/86 + 841/8858. Is 1 greater than or equal to v?
True
Let v = 0.4 + -0.5. Let x = 26 + -17. Let s = x + -8.98. Is v greater than s?
False
Suppose 2*q = f - 21, 5*f - 20 = -5*q - 35. Is q <= -18?
False
Let b = 257 + -234. Which is bigger: b or -11?
b
Let c = -1.36 + -0.24. Let r = c - -1.6. Is r less than or equal to -0.01?
False
Let m(c) = -4*c**2 - c**3 - 2*c + 5*c**3 + 0 + 3 - 5*c**3. Let f be m(-4). Which is bigger: f or 9?
f
Let g = 5 - 6. Which is greater: g or -4/73?
-4/73
Suppose 10*m - 3*m - 7 = 0. Let t be (m/3)/(5/(-10)). Which is greater: t or 0.2?
0.2
Suppose -4*a + 489 = -a. Let t = a + -655/4. Is 0 < t?
False
Let b be (-1*2/(-8))/(72/(-2208)). Let w be (-4)/(-9)*(-177)/(-10). Let m = w + b. Is -0.12 equal to m?
False
Let s be -4 + 10 - 6/2. Suppose 3*y - 24 = s*g, 6*g - 3*g + 26 = y. Which is smaller: -8 or g?
g
Suppose -5*m + 20 = -35. Let o = m - 14. Let s be 3/(-6)*(3 + o). Is s <= -1?
False
Suppose -165 - 99 = 44*d. Which is smaller: d or -2?
d
Let y be 164/((-16)/120*-10). Does 122 = y?
False
Let z be 0/(5/20*-4). Is z smaller than 9/40?
True
Let u = 2278.6 - 2273. Which is smaller: 7 or u?
u
Let p be 14*3 + 136/(-17). Is 34 >= p?
True
Let z be (5 - (-6)/(-6)) + (3 - 10). Is z equal to -35/8?
False
Suppose -3 = -3*d - 0*d. Let c be d/(-1) + 1 + 3. Let t = c - 8. Is -5 at least as big as t?
True
Suppose -101 = 5*f - 3*k, -3*k - 1 = 4*f + 69. Let b = -19 - f. Is b less than -2/273?
False
Let k = -858.9 - -859. Are k and -28/25 equal?
False
Suppose -3*f = p - 3*p - 7, 4*f - 11 = 3*p. Let i = 0.29 + 0.61. Let g = i - 0.9. Which is bigger: g or f?
g
Let r = -1 + 4. Suppose -3*i = -r*f - 36, 0 = -4*f - i + 4*i - 46. Let z be -2 + 3 + -13 + 2. Are f and z nonequal?
False
Let f = -0.3 + -0.7. Let q = -3.5 + 1.8. Let h = q - -6.7. Which is greater: f or h?
h
Let a be (1*(-1)/15)/(183/(-610)). Is 12 smaller than a?
False
Suppose 0 = -8*b + 2 + 38. Suppose b*q - 11 = -5*f + 14, 0 = -5*q - 2*f + 19. Is 4 less than q?
False
Let n be (-6)/10 + 13/30. Let h = 165.1 + -177. Let u = h - -12. Is n at most as big as u?
True
Let j = -1980 + 1673. Is j < 1/2?
True
Let q = 149 + -84. Let z = 67 - q. Is z > 2?
False
Let r(a) = a + 1. Let c(x) = -2*x**2 + 7*x + 6. Let m(u) = -c(u) + 6*r(u). Let j be m(0). Which is greater: j or 2/35?
2/35
Suppose -5*u - 3 = -53. Suppose -5*l + 5*y + 25 = 0, 5*l = y - 4 + 9. Suppose 2*x - 5 - 13 = l. Is x greater than or equal to u?
False
Let k = 165 + -306. Let x be (k/(-10))/((-30)/(-25)). Is 12 at most x?
False
Let c be 441/6*32/(-12). Which is bigger: c or 0?
0
Let g(p) = -4*p**3 - p**2 - p. Suppose 3 - 8 = 5*v. Let u be g(v). Let a = 8 + u. Which is bigger: a or 10?
a
Suppose 4*l = 3*x - 10, -x - x + 3*l = -7. Suppose 4*j - r = -15, -x*r = -5*j - 21 - 0. Which is bigger: -26/9 or j?
-26/9
Suppose -22*j = 591 + 15711. Is j less than -740?
True
Let c = 2290 - 4685/2. Which is smaller: c or -54?
-54
Let b(z) = -2*z**2 + 3*z + 4. Let w be b(-1). Are -3/26 and w unequal?
True
Let g = 191 + -275. Let y = g + 89. Which is greater: y or 7?
7
Let q = 0.1 - -0.04. Let k = -3 + 2.98. Let b = q + k. Which is smaller: b or 1/3?
b
Let t = -1.5 - 1.9. Let y = 1.4 + t. Let a = -0.2 - -0.3. Which is smaller: a or y?
y
Let a = -0.25 - -0.3. Let o = 5.95 + a. Let v = o - 2. Which is smaller: v or -2/5?
-2/5
Let c = -605.436 - -605. Which is bigger: 0 or c?
0
Let n = -0.24 + 0.14. Let d be 13/10 + 3/(-6). Are d and n non-equal?
True
Let x = 34 - -20. Let j(y) = y - 43. Let p be j(25). Let k be 42/x + (-4)/p. Which is smaller: 2 or k?
k
Suppose -81*f + 80*f = 765. Is -764 greater than or equal to f?
True
Suppose 566 = -114*v - 7984. Which is smaller: -74 or v?
v
Let u(f) = 9*f - 15. Let s be u(-1). Is s bigger than -2?
False
Let b = -3606819301/290541888 - -151825/15424. Let w = b - 2/2691. Which is greater: -2 or w?
-2
Suppose 6*y - 5 = 5*y. Let n(k) = k - 1. Let a be n(y). Suppose -2 = h - a. Are -1 and h nonequal?
True
Let w(k) = -13*k - 2. Let c be w(-3). Suppose c = -4*o + 5*s, s = 3*o + 5*s + 51. Suppose 218*x + 12 = -h + 221*x, 0 = -2*h + 3*x - 24. Are h and o unequal?
True
Let r be 8/(-12) - -12*7/(-63). Which is greater: r or 3/95?
3/95
Let o = 1076 + -939. Let v(z) = z. Let t be v(1). Is t less than o?
True
Let a = 1560 + -45234/29. Let x = -68 - -68.1. Which is greater: a or x?
a
Let g = -143 - -142.88. Is 10/9 equal to g?
False
Let m be (-138)/(-23)*17/15. Is m less than or equal to 8?
True
Let l = 38.86 - -12.24. Let m = l - 51. Which is greater: -11 or m?
m
Suppose 0 = 19*f + 4*f - 713. Is f greater than 31?
False
Let c = 130 + 35. Is -0.1 less than or equal to c?
True
Suppose -5*r + 94 = -3*r. Suppose 5*h - 101 = -2*a - 2*a, 5*a = 2*h - r. Do h and 21 have different values?
False
Suppose 0 = 3*z - 3*h - 21, 73*h + 23 = 5*z + 70*h. Let f = -6 - -31/6. Which is bigger: f or z?
z
Let h be (13 - (-372)/(-24))/(278/(-12)). Which is smaller: 1 or h?
h
Let g be -93 - 3/((-12)/20). Let x be (-42)/(-12)*g/14. Suppose 5*j = 3*o + 91, 2*o - 5*o - 4*j = 46. Is x at least as big as o?
True
Let l = 13.09 - 0.09. Let w = l + -20. Let s = -6.7 - w. Is s != -1?
True
Let d = 15 + -5. Suppose 0*r - 52 = 4*r. Let f = r + d. Which is bigger: