0.7 + t. Let l = k - -2. Which is greater: 0 or l?
l
Suppose 2*z + 4*d = 16, 0 = 3*z - 2*d + 5*d - 15. Suppose -4*k - 10 = z. Let l = -4 - k. Are l and -2 nonequal?
True
Suppose 7*r + 5 = 2*r. Which is smaller: -3.5 or r?
-3.5
Suppose 2*y + 6 = -2. Is -4 not equal to y?
False
Suppose -3*h + 60 = 3*z - 36, 0 = 3*z - 5*h - 64. Suppose 3*i + z = -i. Which is greater: i or -11/2?
-11/2
Let w = 1 - 1.04. Suppose 3*a = -4*c - 39, -4*a + 2*c + 22 = 52. Let t = -8 - a. Is t at least as big as w?
True
Suppose 4*i - w - 3 = 12, 5*i = 2*w + 18. Suppose i = -h + 9. Is h >= 6?
False
Suppose 5*t = 7*t - 2. Let w = 2.1 - 3. Is t less than w?
False
Let n(d) = -8*d - 2. Let v be n(-2). Is 14 at least as big as v?
True
Let p = 2 - 0. Suppose -3 = 3*j - 5*v, 3*j + 2*v = 18 - 0. Let x be p/(-12)*(-6)/j. Which is greater: x or -1/3?
x
Let u = 4 + -1. Is 2 greater than or equal to u?
False
Let y = 14 - 13. Is 4/9 bigger than y?
False
Let g = 0.4 + -0.3. Suppose 0*z - 4*z = -4. Which is smaller: g or z?
g
Let s = -35.07 + 35. Suppose 4*p = -3*i - p + 15, 4*i - p = -3. Which is bigger: s or i?
i
Let v(m) = -m**3 - m**2 + 3*m + 3. Let w be v(-2). Suppose -n + 15 = 4*n. Suppose 2*a - n*c + 4 = a, -4*a = -4*c. Is a at most w?
False
Suppose -a = -3 + 1. Let l be -3 - -3*(3 - a). Which is smaller: -2 or l?
-2
Suppose -j + 4*a = -14, -5*j - 5 = 2*a + 13. Let m be (1 - -5) + 1/(-1). Suppose 3*p = 0, m*h + 3*p = 2*p - 10. Is h at least j?
True
Let a = 11 + -8. Let j = 26 + -24. Suppose -2*s + j = -0. Do a and s have the same value?
False
Let f = 53 - 44. Is f equal to 19?
False
Suppose -7*r = -2*r - 35. Suppose -r*t + 8 = -3*t. Let m be t/10 - 16/30. Which is smaller: 1 or m?
m
Let a = -7 + 15/2. Let f be (-2)/7 + 4/14. Which is smaller: a or f?
f
Let r(a) = 2*a**2 + 6*a - 8. Let m be r(2). Is m >= 11?
True
Let s be (10/30)/((-2)/(-6)). Which is bigger: s or 10/7?
10/7
Let a = 8 - 9. Which is smaller: 3 or a?
a
Let v = 11.8 - 10.8. Is v less than 5?
True
Let q(j) = j**2 - 6*j + 2. Let z be q(7). Suppose 4*n = z + 11. Which is bigger: n or 6?
6
Let v = -1640 - -6469/4. Let a be (1 - 8/6)*69. Let b = v - a. Is b greater than or equal to 1?
False
Let j = -11 + 18. Let y be 1/(-70) + (-2)/j. Which is bigger: y or -2?
y
Let t = -69767369/26654316 + 1/436956. Let k = 3/61 - t. Are 2 and k unequal?
True
Let k be 2 + 0 + 2*-2. Suppose 0 = 4*h + 20, s - 13 = 4*h - h. Let l = s - k. Which is greater: -2/15 or l?
l
Suppose 2*s + s = 2*m + 68, s + 4*m = 32. Which is smaller: 23 or s?
23
Let k(s) = 21*s + 5 - 9*s + s**2 - 7*s. Let z be k(-3). Which is smaller: 1/8 or z?
z
Suppose 5*f - 4 = 1. Suppose 5*m = 6 - f. Which is smaller: -2/13 or m?
-2/13
Let u be 2 + 0 + -4 + 7. Suppose -u*l - r - 6 = 0, 0 = l + 4*r - 8 - 6. Is 6 bigger than l?
True
Let o(g) = g**3 - 5*g**2 + 3*g + 4. Let s be o(4). Let q(l) = l - 7. Let m be q(s). Does m = 0.1?
False
Suppose j + 1 = -1. Which is greater: -13/5 or j?
j
Let d(q) = -q**2 - 7*q - 7. Let i be d(-6). Let b be i/(-8)*(-4)/(-2). Let f = 3 - 3.1. Which is smaller: f or b?
f
Let y = 66 - 64. Do y and 1 have the same value?
False
Let j(q) = q**2 - 14*q - 2. Let i be j(14). Do i and -11/4 have different values?
True
Let c(p) = p**3 - p**2 - 3*p + 1. Let m be c(2). Which is smaller: m or -1/14?
m
Let c = -14.06 - -14. Let x = 0.04 + c. Which is greater: 2 or x?
2
Let c be 2/((-8)/276*-3). Which is smaller: c or 22?
22
Let u be -3 + (0 - 4/2). Let f be (20/(-8) - -3)*u. Is -2 greater than f?
True
Let a(i) = -i**3 + 3*i**2 + i. Let c be a(3). Let o = -12 + 9. Let u = c + o. Is -2/7 equal to u?
False
Let l be -2 - (2 + (-1032)/260). Is l <= 0?
True
Suppose 58 = -0*u + 2*u. Is u at most 30?
True
Let h be 7/(-1) + 4 - -2. Is h smaller than 2/151?
True
Let s(z) = z - 3. Let m be s(8). Suppose 4*b + 18 = -g, m*g = -0*b + 5*b - 40. Let i = -15 - g. Which is greater: i or -4?
-4
Suppose -4*s = -8, -c = -0*c - 3*s + 10. Is c at least -5?
True
Suppose 0 = 2*b + 3*b - 25, 4*b - 3 = -f. Suppose 3*k + 83 = -5*y - 0*k, -k - 17 = y. Is f at least y?
False
Let m be (1 - 12/6)*5. Is m smaller than -23/4?
False
Let w be 27/(-12)*(-48)/(-9). Let i be 1/6 + (-13)/w. Which is smaller: i or 1?
1
Let g(j) = -j**2 - 3*j - 7. Suppose 2*h = 3*h + 3. Let n be g(h). Is -8 bigger than n?
False
Suppose 0 = -5*c - c + 24. Suppose -4 = -2*b + y + 9, 13 = 5*b + c*y. Which is bigger: 3 or b?
b
Suppose -3*c - 4*u = -0*c - 25, 0 = 4*c + 4*u - 40. Is 14 at least c?
False
Suppose 4*t = -c - 65, 2*t - 14 + 132 = -2*c. Is c <= -58?
False
Suppose -1 - 3 = 4*l. Let k = 0 + -0.04. Let h = k - -2.04. Is h > l?
True
Suppose 11 = -2*d + 3*d + 4*q, -d + 3 = 2*q. Let n = d + 9. Let i be 21/(-49)*n/6. Which is greater: -0.2 or i?
-0.2
Let z = -560366 + 238155672/425. Let x = z + -16/25. Does x = 1?
False
Let t = 7 - 10. Let l = -3 - t. Suppose i = -l*i. Which is greater: i or 4/3?
4/3
Suppose -1 = 3*c - 2*r, -5*c - 4*r = -2*c + 7. Let v be (-95)/25 + c + 4. Which is smaller: -2 or v?
-2
Let h = 4 - 10. Suppose 9*v + 35 = 4*v. Is v <= h?
True
Suppose -3*k + 8 = k. Which is smaller: k or -1/53?
-1/53
Let a = 4081/4 - 24557/20. Let t = -207 - a. Which is greater: 0 or t?
t
Let c be (-8)/(-4)*2/2. Let x be (-96)/(-78) - c/2. Which is smaller: 0 or x?
0
Suppose -j = 2*j - 27. Let y be j/(-2)*4/3. Let z(b) = b**3 + 5*b**2 - 7*b - 5. Let q be z(y). Which is greater: -3/8 or q?
q
Suppose 1 - 3 = -h. Let b be (h*-4)/((-4)/2). Suppose -5*k - 8 = -3*l, -2*l + k = l - b. Is 2 smaller than l?
False
Suppose 5*h - 3*j - 22 = 0, -2*h - 4*j - 6 = 3*h. Suppose -5*s + b = -0*s + 2, 3*s - h*b = -4. Let m = 22 - 87/4. Which is smaller: m or s?
s
Let x = 0.13 + -0.33. Let v = -0.7 + -0.1. Let b = -1 - v. Is b greater than or equal to x?
True
Let r = -2 + 6. Suppose -r*z + 2*z = 0. Let t be 2*(1 - 6/7). Which is greater: z or t?
t
Suppose q + 16 = 3*f + 3*q, 2*f + 6 = 2*q. Suppose 2*g = 0, -f*g + 52 = 5*l + 2. Is l smaller than 10?
False
Let n = 10 - 26. Is -15 <= n?
False
Let g be (12/(-21))/(4/(-14)). Suppose -g*b - 2 = 12. Let p(c) = c**3 + 6*c**2 - 6*c + 8. Let l be p(b). Is l greater than -1/5?
True
Suppose 3*w + 22 = 5*v, 2*v + 2*w - 3 = 9. Are 5 and v equal?
True
Suppose -9*u = -4*u + 20. Let i be (36/30)/((-6)/20). Is u <= i?
True
Suppose -8*i - 10*i = 144. Which is greater: i or -6?
-6
Let b = 0.13 - 0.14. Let r = b + 0.21. Do r and -1/4 have the same value?
False
Let x(g) be the first derivative of -g**4 + 2*g**3/3 - g**2/2 + 1. Let f be x(1). Let a be 20/15*(18/(-12))/1. Which is smaller: a or f?
f
Suppose 5*v + 11 = -9. Let u(n) = n**2 + 3*n - 5. Let l be u(v). Which is smaller: l or 2?
l
Let t(y) = y + 4. Suppose 2*r = -5*b - 6, -2*r = -4*b + 6*b - 6. Let m be t(r). Is m <= 11?
True
Let b = 23/17 + -597/391. Let v = b + -34/69. Are v and -1 nonequal?
True
Suppose v - 2*w + 3 = 0, -2*v = -0*v + 5*w - 21. Suppose -3*m - 3*g = 3, m + 28 = v*m - 4*g. Let c = m + -2. Is c at most as big as 3/5?
False
Suppose -h + 0*h = -23. Let l = h + -23. Which is smaller: 4 or l?
l
Suppose 0 = 4*u + 3*o + 19, u + 3*u = 4*o - 12. Is u greater than or equal to -6?
True
Let t = -118 + 120.07. Let c = t + -0.07. Let g = c + -2. Is -4 less than or equal to g?
True
Let u be (6 + -5)*(0 - -3). Is u at least 3?
True
Let z = -0.9 - -0.9. Is -1/3 smaller than z?
True
Let n(x) = x + 3. Let h be (-2 + 1 + -2)*2. Let d be n(h). Let j be -3 - 1*(d - -2). Which is smaller: -1 or j?
j
Suppose 3*q + 2*x + 0*x = 1, -2*x = -2*q + 4. Let m be -1*q/2*10. Is -0.1 at least as big as m?
True
Let t(n) = n**3 - 7*n**2 + 5*n + 8. Let r be t(6). Suppose -r*j + 0 = -6. Suppose 5*w - j - 7 = 0. Which is bigger: 3/5 or w?
w
Suppose 3*j + 4*h - 4 = 0, h = 4 - 0. Which is smaller: j or -3?
j
Suppose 2*a + 3 = 3*m, -4*a + 3*a + 1 = m. Is 1 <= a?
False
Suppose 4 = -l + 8. Let r(n) = n**3 + 6*n**2 - n - 1. Let v be r(-6). Suppose -v = -d - l*d. Is d >= 1?
True
Suppose n + 11 = 3*w - 4, -5*n = 4*w + 37. Let x be 12/n*(-9)/6. Which is greater: 3/5 or x?
x
Suppose -3*d - 2*f + 8 = 0, -d - 4*f = d - 16. Suppose 0 = -2*n + 3*u - 4*u + 11, -n - 2*u = -13. Suppose -o - 5 = l - 0*l, -12 = n*o. Is l at least d?
False
Let w = -0.85 - -0.95. Let d = -36/455 - -2/91. Is w smaller than d?
False
Let x(u) = u**2 - 5*u - 4. Let d = -1 - -7. Let n be x(d). Let z be (6/4 - n) + 0.