 t + -1/15. Which is greater: 1 or v?
1
Let x(b) = -2*b**2 + 6*b + 9. Let h be x(4). Is h > -4/19?
True
Let b(a) = 3*a**2 - 1. Let s be b(-1). Let n be (-10)/(-25) - 3/(-30). Which is smaller: s or n?
n
Suppose -k - 3*k + 3*x + 15 = 0, -4*k = 4*x + 20. Let q be 2/(-7) - (-13)/(1820/96). Which is smaller: k or q?
k
Suppose 0 = -4*j + 5 + 3. Suppose 0 = j*c - 1 - 9. Suppose -2*k - 23 = -c*q, -3*q - 2*q = -k - 19. Is -3 >= k?
True
Let d(q) = -q**2 + 2*q + 3. Let h be d(3). Suppose 4*a + a = h. Suppose v + v = a. Is v at least 1/9?
False
Let s = -37 + 40. Is 4 bigger than s?
True
Suppose -h = -2*v + 2, h + 2*v - 14 = 4*h. Is -1 >= h?
True
Suppose 5*h + 12 = -8. Let z be 1/(h/6)*-2. Which is smaller: 2 or z?
2
Let w = -7.3 + 7. Let t = -120 - -125.1. Let j = -5 + t. Is w greater than j?
False
Let b = -85450 - -14013743/164. Let l = 4/41 + b. Suppose 3 = c + 2. Which is smaller: c or l?
l
Let a be (-24)/468*(-22)/4. Let m = 8/13 - a. Is 1 at most m?
False
Suppose -3*i = 2*i + 25. Let f(p) = -p**2 - 6*p - 7. Let y be f(i). Let l = 1 - 2. Which is smaller: y or l?
y
Let b = 9 - 10. Let h = b + 2. Suppose 5*n - 15 = -5*k, -19 = 5*n - 2*k + h. Which is bigger: n or -2/3?
-2/3
Let n = -0.013 - -7.013. Let g = -20 + 11. Let h = g + n. Is 1/5 greater than or equal to h?
True
Let q = -8 - -24. Which is smaller: q or 18?
q
Let q be (1 + (3 - 2))/(-17). Let c be (0 + 0 - 1)*-1. Which is smaller: c or q?
q
Let j(i) = 5 + 8 + 12*i - 14*i. Let z be j(6). Is z greater than -1/8?
True
Let f = 33/10 + -14/5. Suppose -6 = 3*z - 5*c + 4, 8 = z + 4*c. Does z = f?
False
Let q = 24 - 15. Let v = q - 4. Which is greater: -1 or v?
v
Let h(c) = -c**3 - 16*c**2 - 13*c + 20. Let y be h(-15). Which is greater: y or -9?
-9
Suppose 0*r - 12 = 3*r. Let g be (1/3)/(r/12). Is -4 >= g?
False
Let t be ((-578)/(-1105))/(1/5). Is t at most as big as 4?
True
Suppose -3*s - 20 = -2*c + 3, -4*c + s = -41. Let x = c + -7. Is x less than 3?
False
Suppose 48 - 8 = -4*f. Let h = f - 0. Which is greater: h or -9?
-9
Let i = 0 + 0. Suppose 5*b + 5*j = 0, 3*j + 6 = 3*b - i*b. Let v be (b/(-2))/((-1)/(-2)). Which is greater: 0 or v?
0
Let g = -2.2 - -3.3. Let i = g - 0.1. Suppose 0 = -4*c + 20, -3*c + 6 + 10 = n. Is n bigger than i?
False
Let i(v) = -v + 7. Let x be i(3). Let z be 15/(-10)*(2 + -4). Does x = z?
False
Let m = 0.29 - 0.3. Let f = m - -0.01. Which is smaller: 5 or f?
f
Let g(o) = -o**2 + 7*o. Let w be g(3). Let j be (4 - -11) + -2*1. Is w greater than or equal to j?
False
Let i = -13 + 12. Which is smaller: i or 0?
i
Let t be (-7430)/(-468) - 8/52. Let l = t + -31/2. Which is greater: l or 1?
1
Let d(x) = -4*x + 0*x**2 + 2*x + 5 - x**2 - 2*x. Let h be d(-5). Do h and -1/5 have the same value?
False
Let t(d) = -d**2 - 20*d + 1. Let h be t(-21). Is -20 at most as big as h?
True
Let l be 10/7*12/(-6). Are -3 and l unequal?
True
Suppose 5*o - 15 + 5 = 0. Let u(l) = l + 7. Let r be u(-6). Is o > r?
True
Let r = 2.1 - 2. Let i = -9.7 + -0.3. Let b = i - -10.5. Is r > b?
False
Let l = 0 - -1. Let r = -443/4 + 112. Is r greater than l?
True
Let b be 9/3 + (-6)/2. Suppose -3*d + 16 = -4*r - 0*r, -5*r - 20 = -d. Is b less than or equal to d?
True
Let q be (-2)/(3 - 2 - -1). Let f = -2 - q. Which is smaller: f or -1/2?
f
Let g = 144 + -58. Which is smaller: g or 1?
1
Let u(l) = l - 11. Let s be u(9). Let r = -24/13 + 194/91. Do s and r have different values?
True
Let p be -1 + (-2 - -6) - 0. Let m(c) = c**2 - 2*c - 2. Let a be m(p). Let g = -16 - -33/2. Which is bigger: g or a?
a
Let u = 0.903 + -0.703. Let q = 59 - 39. Let l be ((-2)/q)/((-2)/(-8)). Which is smaller: u or l?
l
Suppose -13 + 1 = 3*r. Let i(o) = o**3 + 5*o**2 + 5*o + 2. Let n be i(r). Is -11/5 < n?
True
Let p be (-1)/((-36)/28) - (-4)/18. Is 2/183 at most p?
True
Suppose 4*z + 4*s - 12 = 0, -2*z + 24 = -3*s - s. Let q(u) = u**3 - 6*u**2 - 7*u + 5. Let i be q(7). Is i at most as big as z?
True
Let j = 30 - 31. Which is smaller: j or 2/51?
j
Let y(t) = -4*t - 3. Let w(z) = z - 10. Let m be w(8). Let d be y(m). Is d <= 4?
False
Suppose 3 = a + 13. Let i be (-45)/a*(-1)/3. Which is smaller: i or -1?
i
Let z be 1/(-15) + 5/(-15). Suppose 20 = 5*b + 5*t, b = -5*t + t + 7. Suppose -3 + 0 = b*n. Which is smaller: n or z?
n
Suppose 2*w - 12*w = -340. Are w and 34 equal?
True
Let j be -1*0/(1 + 1). Suppose -1 + 6 = 5*y. Suppose 2*w + y = -3*o - 8, 0 = -2*o - 2. Which is bigger: w or j?
j
Let n = -82 + 82. Is n not equal to -4/11?
True
Let q = -1.28 + 0.18. Let h = 1 + q. Let m = 2 - 4. Which is smaller: h or m?
m
Let s be 8/(-10) + (-1)/(-1). Let c = -79 - -79. Are s and c equal?
False
Let c(v) = v**3 + 6*v**2 - 6*v - 2. Let b be c(-7). Let t be 2/9 + (-25)/b. Is t greater than 4?
False
Let v be (-12)/(-66) - (-24)/(-11). Is -1 >= v?
True
Let y be (-1)/(60/(-28) - -2). Let k = -11 + y. Is -5 less than k?
True
Let z = -0.2 - -1.2. Is -7 equal to z?
False
Let j be 2*(-1 + -11)*-1. Suppose 8 = g + 2*u, 2*g + u = j - 2. Let d be 1 + -1 - 3/g. Which is smaller: d or 1?
d
Let d be (0 + 4)/(1/2). Let v = d + -8. Suppose 4*m - 2*m - 4 = v. Is 3 > m?
True
Suppose -6*z = 21 + 75. Which is smaller: -17 or z?
-17
Let q = -14 - -13. Which is smaller: q or 4?
q
Suppose -4*o = -o - 5*g - 9, 2*g = -o + 14. Let l be (1 - 7) + 1 + 0. Let a = o + l. Is 3 < a?
False
Let s = -53 + 54. Is s at least as big as 0.6?
True
Let z be (-4)/14 + (-80)/(-35). Do 2 and z have the same value?
True
Let l be ((-6)/9)/((-8)/(-18)). Let f be 2 - -1 - (-4)/3*-3. Is f equal to l?
False
Let l = -3 + 5. Let p(z) = z**3 - 4*z**2 - 5*z + 2. Let g be p(5). Suppose -3*f + g = -l*f. Which is bigger: 3 or f?
3
Let c = -0.4 + 42.4. Let f = c - 43.9. Let b = f - -2. Is b bigger than 0.1?
False
Let d = 5 + -3. Let h = 123/115 - -3/23. Is d != h?
True
Suppose 945 = g + 2*g. Let y = 2200/7 - g. Is -1 >= y?
False
Let c be -3*-1*(-3)/9. Let t be (3/(-9))/c*9. Let g be (6/(-9))/((-1)/3). Which is bigger: t or g?
t
Suppose 0*u = 5*u - 5. Let z(t) = t**3 - t. Let x be z(u). Which is smaller: x or -5?
-5
Suppose h - 1 - 2 = 0, 106 = 5*f + 2*h. Let m be 3/(-5) - 28/f. Suppose 4*g - 10 = 3*a, 2*g + 4*a = -1 - 5. Which is smaller: g or m?
m
Let u = -15 - -16. Is -0.1 > u?
False
Let c(h) = 3*h - 8. Let d be c(4). Suppose 13*j + d = 11*j. Is j at most -6/7?
True
Let i = 1 + 1. Suppose 4*c = i*f + 14, 2*f - 2*c + 0*c = -4. Let l be (-6)/(-9) - (-4)/f. Is 3 less than l?
False
Suppose 0 = -3*d + 3*c + 5 + 118, -4*c - 4 = 0. Suppose -j + d = j. Let f be (j/7 - 1) + -2. Do 1 and f have different values?
True
Let r(b) be the third derivative of b**5/60 + 5*b**4/24 - b**3/6 + 3*b**2. Let s be r(-5). Which is smaller: s or -2/3?
s
Let c(s) = 4*s**2 + 39*s - 7. Let o be c(-10). Is o less than or equal to 46/13?
True
Let r = -42 + 41. Is r <= 1?
True
Suppose 5*j = -13*j. Is 0 >= j?
True
Let p = -18 - -18. Suppose 14 = 2*i - 3*u - 13, 4*i = 2*u + 34. Let c = i + p. Which is greater: c or 7?
7
Let u be 4/((-32)/30)*-4. Let t be ((-4)/(-6))/((-52)/u). Let y = 97/234 + t. Is 0 less than y?
True
Suppose -2*n - 2*n - 60 = a, -n + 4*a = 15. Let j be (-4)/(-2) - (-3 + 0). Let o be 2/j + (-4)/n. Which is smaller: 2 or o?
o
Let f(n) = n - 4. Let s be f(-6). Let r = s - -12. Is r > -2/5?
True
Let d(f) = f**3 - 2*f**2 + 4*f - 3. Let h be d(2). Let c = h - 3. Suppose 0 = 5*s - 4 - 1. Which is smaller: s or c?
s
Let w = -71 - -57. Is -13 bigger than w?
True
Let p(t) = -t + 2. Let m be p(3). Let u = 1572/7 + -225. Is u > m?
True
Let t = -3 - -1. Let u = 0.022 + -2.122. Let i = t - u. Is i bigger than -2/5?
True
Suppose k + 3*i + 5 = 3, 2*k - 6 = -i. Is k at least as big as -3?
True
Let m(k) = k - 2. Let g be m(5). Let f be g - -38*1/(-14). Let w = 0 - -0.1. Are f and w nonequal?
True
Let c = 2 + 1. Suppose -4*s = -7*s + 3. Let x be ((-1 - 0) + c)*s. Is x bigger than 2?
False
Suppose 15*v = 19*v + 72. Which is bigger: v or -16?
-16
Let g(q) = q**3 + 2*q**2 + 2*q + 1. Let r be g(-2). Let f(c) = -c**3 + 5*c**2 - 1. Suppose -7*p = -3*p - 20. Let u be f(p). Is u < r?
False
Let i = 8 - 14. Let r be (-10)/(i/3) + -2. Suppose 4*y - c = 14, 5*y + r*c = -1 + 10. Is y at least as big as 3?
True
Suppose -3*l = -2*l - 108. Let y be (-9)/l*(-64)/(-6). Which is greater: -1 or y?
y
Let c be 4 - 3*41/30. Which is smaller: 0 or c?
c
Le