+ v**2. Let l be o(11). Let y be 6/l - (-3)/12. Is 1 equal to y?
True
Let s = 57 - 53.7. Is s greater than -1?
True
Let q be (96/(-18))/((-2)/(-12)). Let z be (-9)/(-27) + q/6. Is z greater than -3?
False
Suppose 3*t = -0*j + 2*j - 4, 4*t - 8 = 0. Suppose -4*u - 2*b + j = -7*b, 3*u = -2*b - 2. Let f = -23/124 + -2/31. Is f at most as big as u?
True
Suppose 9 = b + 16. Which is greater: 2/7 or b?
2/7
Let i be 2/(-6) + (-466)/(-2667). Let n = i + 2/127. Is n greater than 1?
False
Let j = -0.2 - -0.21. Let z = 0.69 + j. Let u = z - -0.3. Which is smaller: u or 1/5?
1/5
Suppose 2*v = -2*f - 2, -2*f - 26 = -4*v - 0*f. Suppose -v*i = -4*g, -4*g = -5*i - 3 + 4. Which is smaller: i or -4?
-4
Let c be 12/(-3)*(-2)/(-4). Let p be c/8*-2*-2. Which is smaller: 1/5 or p?
p
Let z = 39 - 37. Is z at most 2?
True
Let i be ((-9)/45)/(2/(-10)). Which is bigger: i or 3/13?
i
Let k(o) = o**2 - 4*o - 7. Let u be k(6). Suppose 0 = 3*h - u - 4. Suppose h*w - t - 8 = 0, 5*w + 5 = -0*w - 2*t. Is 2 less than w?
False
Let o(l) = -l**3 - 4*l**2 + 3. Let j be o(-4). Let z be -2 + (0 - -1)/j. Is z at most -3?
False
Let j be 648/(-513)*(-2)/(-6). Is 1 at most j?
False
Let f be -2*2*1/(-2). Suppose -3*b + 3*t = 2*b + 14, -6 = f*b - t. Let l = -5 - b. Which is smaller: l or 0?
l
Suppose 2*p = 2, 12*y - 4*p = 16*y + 176. Which is greater: y or -43?
-43
Suppose h = -1 - 0. Is h less than 2/9?
True
Suppose -g + 4 + 15 = 0. Do 21 and g have the same value?
False
Let x be ((-1)/2)/(180/1064). Let q = x + 23/9. Is q < -0.02?
True
Suppose j - 7*j = -12. Which is smaller: 3 or j?
j
Suppose -3*s - 3 = -0. Is -2 at least as big as s?
False
Suppose s + 5*x = -15, 3*s - 3 = -s + x. Suppose l = 5*v + 32 - 5, s = l - 2*v - 12. Is -2 not equal to l?
True
Let x = 6 - 6. Which is smaller: -14 or x?
-14
Let r = 141 - 135. Let s be 4/(-35)*(-5)/2. Is s at most as big as r?
True
Let v(s) = s**3 - 11*s**2 - 7. Let i be v(11). Is -7 greater than or equal to i?
True
Let l = 1.22 + 0.18. Is l greater than -1?
True
Let f = 61 + -65. Let y = -2 - -3. Which is smaller: y or f?
f
Let x = 3/26 - -5/13. Which is smaller: 3 or x?
x
Suppose 0 = l - d - 3, -l + d = 4*d - 3. Suppose -l*n = -n - 12. Suppose -3*z - 12 = 0, 0 = -t + 5*z - 3*z + n. Which is smaller: t or 2/7?
t
Let h(i) = i - 5. Let d be h(9). Let b(z) = 3*z - 3. Let x be b(2). Let m = d - x. Which is smaller: 1/4 or m?
1/4
Let c(z) = z**3 - 6*z**2 - 2*z + 8. Let v be c(6). Let p be (-9)/6*v/(-6). Which is bigger: p or -2?
p
Let k = -21 + 21.22. Let v = 0.22 - k. Which is greater: 0.1 or v?
0.1
Suppose p + 2*p + 35 = -u, -37 = 3*p + 2*u. Is p <= -1/8?
True
Suppose -10 = -5*i + p, 5*i - 5*p = 24 + 6. Do i and 2 have the same value?
False
Let h = -2330/11 - -212. Let l be 2 - (-2 + 10/1). Let k(i) = i**2 + 6*i + 1. Let n be k(l). Is n < h?
False
Let a be (-2)/(-3 - -2) + -3. Let x = 121/4 + -30. Does x = a?
False
Let u(d) = -2*d**3 + 3*d**2. Suppose -5*k + 9 = -2*j + 3*j, k - 5*j = 7. Suppose -k*w = w - 6. Let a be u(w). Is -3 at most a?
False
Let t = -50 - -12. Which is smaller: 0 or t?
t
Let a be -2 + (-1)/(-2 - -1). Let c be a/(-3 - -5)*0. Which is bigger: -1/2 or c?
c
Let s be (-4)/6 + 420/9. Suppose r - 17 = -3*u + 5, -4*u + 8 = -4*r. Let c be s/(-132) + 1/u. Is -1 equal to c?
False
Suppose 0*g - 3*k + 18 = 2*g, 0 = 2*g + 5*k - 26. Suppose 2*n + 1 = 5. Let h be (-1)/(-3)*(7 + n). Is g <= h?
True
Suppose -34 = -n + 10. Which is greater: n or 45?
45
Let h(j) = -4*j**3 - 2*j**2 + 1. Let m be h(-1). Which is smaller: 3/2 or m?
3/2
Let m = 0.4 - 0.3. Let w be (-1)/(-1) - 3/(-6). Which is greater: m or w?
w
Let p = -20 + -4. Let o be ((-3)/p)/(1/(-6)). Which is smaller: o or 2?
o
Let x = -13 - -12.2. Let o = -1.2 + x. Which is smaller: o or -1?
o
Let g = 227/5 - 45. Let n = 0.4 + 0. Let l = -0.7 + n. Is g less than l?
False
Suppose -3*n - 10 = -k, -5 - 1 = -3*k + n. Let l be -5 - -4 - k/(-1). Is l not equal to -2/5?
True
Let o = 1 + 3. Suppose 3*r + o = -r. Which is smaller: r or -3?
-3
Let m = -961/12 - -81. Let h = -61/60 + m. Which is greater: 0 or h?
0
Let k be 24/(-27) + (-2)/(-3). Let a be (-1)/4 + 26/8. Let m be (4/(-3))/(5 - a). Is m at most as big as k?
True
Let f be 55/1*10/25. Let g = f + -27. Is g != -3?
True
Let w be 4/(-4)*(3 - (4 - 2)). Is w <= -2/49?
True
Let x = -7 + 16. Suppose -4*n - 5*f - x = 0, -6*f - 5 = -f. Which is smaller: n or -13?
-13
Let t(l) = l**2 + 15*l + 13. Let a be t(-14). Is -1/35 at least a?
True
Let a = 0.02 + -0.42. Let g = 1 + a. Let b = g - 0.7. Is b < 2/9?
True
Let n = -4.8 - -5. Let w = 0.4 - n. Let x = 0.96 + 0.04. Which is smaller: w or x?
w
Let n = 0.039 - 0.139. Which is greater: 1.11 or n?
1.11
Suppose 2*g + 2*g = -20. Let l(x) = 5*x**2 - 12. Let t(p) = 4*p**2 + p - 11. Let v(u) = 3*l(u) - 4*t(u). Let d be v(-6). Is d smaller than g?
False
Let f = -0.4 - -0.5. Let s = -1.1 + f. Is -1/2 > s?
True
Let g = 37 + -26. Let f = 12 - g. Let j = 0.3 + -0.32. Is j smaller than f?
True
Suppose 0 = -c - 2*c. Let g(z) = z**3 - z**2 - z - 6. Let d be g(c). Which is smaller: d or -7?
-7
Let a(y) = 9*y**3 - y**2 + 13*y - 8. Let d(q) = 5*q**3 - q**2 + 7*q - 4. Let p(v) = -6*a(v) + 11*d(v). Let n be p(5). Let m = n + 1. Is m bigger than -3/5?
True
Let o(i) = 2*i - 2. Let l = 4 + -8. Let w be o(l). Let j = w + 7. Which is greater: j or -4?
j
Suppose 0 = 24*k - 37*k - 130. Which is smaller: 6 or k?
k
Let a be (24/15)/((-6)/(-15)). Suppose 3*d = a*d. Which is greater: 1 or d?
1
Let r = 0.04 + -0.44. Let f = -0.4 - r. Is f bigger than -1?
True
Let t = -3 + 3. Let i = -0.1 - -1.1. Let c = i - t. Is 2/7 bigger than c?
False
Let f = -12 - -13. Which is greater: 1/5 or f?
f
Let p = 9 + -3. Suppose 2*a = -3*m + 145, 4*m = m - 4*a + 155. Let f be 306/m - 1/(-5). Are p and f equal?
False
Let s be -3 + 2/4 + (-2590)/(-1020). Is s less than 0?
False
Let i = -1 + 1. Let a(u) be the third derivative of -u**6/120 - u**5/15 + u**3/3 - 3*u**2. Let l be a(-4). Is i smaller than l?
True
Suppose 5*k = 2*k - 9. Is k equal to 0.2?
False
Let h = -43 - -53. Which is bigger: 9 or h?
h
Suppose -5*m + 4*i = 3*i - 67, -i - 39 = -3*m. Let j be 4/m - 48/21. Let v = 5/3 + j. Which is greater: 1 or v?
1
Suppose 8*g - 3*g = 0. Which is smaller: -3/19 or g?
-3/19
Suppose -3*h = w - 12, w = 6*w - h + 4. Suppose 4*v + v + 35 = w. Is 0 less than or equal to v?
False
Suppose 0 = 3*f - 6 - 75. Which is greater: 25 or f?
f
Let t = 28 - 20. Let s be (-1 - 0) + t + -7. Which is bigger: 3 or s?
3
Suppose 12*g = -g + 260. Which is bigger: 21 or g?
21
Suppose 2*p + 1 = 9. Suppose 1158 = -p*v + 5*d + 483, -2*d = -4*v - 678. Let m = 1363/8 + v. Is m equal to 0?
False
Suppose -d = 2*d + 27. Let v be 1 - 2/((-6)/d). Is -3 smaller than v?
True
Let a = -8 + 11. Are a and 5 non-equal?
True
Suppose -5*n = -0 + 30. Is n at most as big as -7?
False
Suppose -2*u = 2 + 10. Is -6 > u?
False
Let u be 6 - 1/(3/3). Suppose 0 = u*j - 5. Is j less than or equal to 3/11?
False
Suppose 0 = s + 1 - 2. Which is smaller: s or 18/11?
s
Let m be (-6)/(-15) - (-4)/(-10). Suppose 2*j = 6*j. Let u = j + m. Are 1 and u unequal?
True
Let m(t) = t - 3. Let q be m(7). Let s = 0.3 - -0.7. Let j = -1 + s. Which is bigger: j or q?
q
Let w = -17 + 17. Which is bigger: 1/4 or w?
1/4
Let a(b) = -b**2 - 4*b - 6. Let t be a(-4). Let p = t - -6. Let x be 2/(-2 - p/2). Are -2/17 and x unequal?
True
Suppose 0 = 8*w - 26 - 222. Does w = 32?
False
Let g = -27.8 + 15.1. Let d = g + 13. Is 2 at most as big as d?
False
Let j = 10 + -5. Suppose 2*s = q + 9, 0 = -0*q + j*q + 5*s. Let w = -31 + 29. Is w smaller than q?
False
Let r = -11 + 21/2. Is -15 at least as big as r?
False
Suppose -5*c + 8 - 31 = -4*t, 5*t - 25 = 5*c. Let u be (-2 - 33/c) + -2. Suppose u*p = 2*p - 25. Which is bigger: p or -4?
-4
Let n(d) = 2*d + 9. Let z be (-44)/77 + 38/(-7). Let y be n(z). Which is smaller: y or -2?
y
Let a be (-10)/12 - -2*4/(-48). Are a and -1/80 unequal?
True
Let s(p) = p**3 + 7*p**2 - 6. Let k be s(-6). Let j be (36/k)/((-1)/10). Let v be 4/6 + (-4)/j. Is 2 greater than v?
True
Let w(d) = -d - 5. Suppose 0 = 4*k + 16 + 16. Let h be w(k). Suppose s = 3*q - 9, -3*s - 2*s = -2*q + 6. Are h and q nonequal?
False
Let r = 8 + -5. Suppose 2 = v + 2*t, -r = -5*v + 2*t - 5. Is v at least -2/11?
True
Let z be 3/2 + 2/4. Supp