be (32/12)/((-1)/3). Is -8 bigger than j?
False
Let t be (-8)/10*(-25)/10. Suppose -c - 2 = 2*c + t*g, -g = -2*c - 6. Let x be c/6 - (-4)/(-6). Which is greater: x or 1?
1
Let a = -6 - -5. Which is bigger: a or -4/9?
-4/9
Let m = -3 - -11. Let l = m + -10. Let q(b) = -2*b + 1. Let h be q(l). Is 6 at least h?
True
Let q be (5 + (-116)/24)*(-12)/(-9). Are q and 1 unequal?
True
Let p = -4.6 - -5.6. Which is smaller: -13 or p?
-13
Let k = 2 - 10. Let i(p) = p**2 + 9*p + 5. Let m be i(k). Is m bigger than -3?
False
Let y be (-6)/(-4) - 66/(-24). Which is greater: 4 or y?
y
Let b(p) = -9*p + 4. Let q be b(3). Does -22 = q?
False
Suppose 0 = -3*c + 5 + 4. Suppose c*r + 4 = -r. Let d = -81/140 + 5/28. Is d equal to r?
False
Let n(z) = z**2 + 14. Let k be n(0). Which is smaller: 15 or k?
k
Suppose -m + 2*f = -20, 5*m - f = -4*f + 165. Which is smaller: 29 or m?
29
Suppose 1 = f - 3, -30 = 2*z - 2*f. Which is smaller: 0 or z?
z
Let z = 479/190 + -2/95. Let a = -19/6 + z. Which is smaller: -2 or a?
-2
Suppose -3*k + 4*q - 2 = 14, -q = -2*k - 9. Is k < -3?
True
Let z be ((-6)/(-4))/(36/(-2)). Let s = -1/4 + z. Is 1 < s?
False
Let a = -1.98 - 0.02. Is -5 equal to a?
False
Let n = 41/6 + -73/12. Let q = n + -19/20. Which is bigger: q or -1?
q
Let s = 0.217 + 1.783. Let l = -0.1 + 0.17. Let c = l + -0.37. Which is smaller: c or s?
c
Let u(s) = 11*s**2 + 4*s + 4. Let i = -3 - 0. Let c be u(i). Let g = c - 545/6. Is 0 bigger than g?
False
Let k(z) = -z. Let c(t) = t**2 + 2*t + 4. Let h(i) = -c(i) + 5*k(i). Let y be h(-5). Suppose 2*s - 5*b = -6, 2*s = y*s + 3*b - 40. Is 7 >= s?
True
Let p = 2/11 + 5/33. Let o = -18 + 22. Suppose 3*y + 4 = -5*b, -o*y + 7*y = 4*b - 13. Which is smaller: b or p?
p
Let r be 14/4 + 18/36. Let w = 28 - 24. Is r <= w?
True
Suppose 13 = g + 2*c, 3*g - g + 1 = 5*c. Suppose 0 = -10*o + 14*o - 8. Suppose o*h - g*h = -10. Is 2 >= h?
True
Suppose -4*t - 3*s + 11 = 0, -5*t + 7 = -4*s + s. Let o be (1/t)/((-3)/(-2)). Let x = 7 - 7. Which is smaller: o or x?
x
Let n(j) = j**2 - 14*j - 16. Let u be n(15). Which is smaller: 1/19 or u?
u
Let y = 3 + -1. Let k be 1/2 - (-51)/6. Let u be (y + k/(-6))*-2. Do u and -1 have different values?
False
Let b be 1/(-3) + (-59774)/(-105). Let h = 569 - b. Let d(x) = x**3 + 6*x**2 + 6*x + 6. Let z be d(-5). Which is bigger: h or z?
z
Let i = 2911/26 - 112. Which is smaller: i or -3/7?
-3/7
Let n(i) = 2*i**3 + i**2 - 2*i + 1. Let h be n(1). Let f be (0 - 0) + (-372)/5. Let m = -74 - f. Is h >= m?
True
Let u be 16/(-556)*(-4)/(-8). Which is greater: 1 or u?
1
Let b = 11.533 - -1.527. Let o = -13 + b. Which is smaller: -1 or o?
-1
Let c = -15 - -4. Let t = -10.9 - c. Let h = -0.2 + 0.2. Which is greater: h or t?
t
Let m be (-376)/756*-6 - (3 + 0). Which is smaller: 1 or m?
m
Let z be (54/(-4))/(52/(-16) + 3). Is 55 > z?
True
Let c be (-1)/10 + (-3)/(-6). Suppose 7*l = 1 - 8. Which is smaller: c or l?
l
Let y = 17 + -22. Suppose -r + 0*r + 12 = 0. Let l = y + r. Which is greater: l or 8?
8
Let d(i) = i**3 + 9*i**2 + 8*i - 1. Let p be d(-8). Let u = 7 - 3. Which is bigger: p or u?
u
Let a be 1/6 - 305/30. Let m(b) = b + 10. Let g be m(a). Is g less than -2/11?
False
Suppose -3*p = -6*p + 6, -3*l + 553 = 5*p. Let o = -96 + l. Let s = o - 253/3. Is s less than 1?
True
Let p = 27 - 21.9. Let a = p + -5. Is 11 not equal to a?
True
Let u = -110 - -111. Which is smaller: 0 or u?
0
Let f = -0.15 - -0.35. Suppose -3*p + 157 = x, 112 = 5*p - 4*x - 178. Let q be 2/(-9) + 39/p. Is f at most as big as q?
True
Let c = -1/6 - 1/2. Is c <= 0?
True
Let u = 0.21 + 0.29. Let f = -1 - -2. Which is bigger: f or u?
f
Suppose 0*o + 25 = 5*o, 4*c - 3*o = 45. Is 8 greater than c?
False
Let f(y) = y**2 + 10*y + 6. Let r(g) = g**3 + 10*g**2 + g + 2. Let h be r(-10). Let d be f(h). Is d > -9?
False
Let n(d) = -d**3 - 10*d**2 + 10*d - 3. Let f be n(-11). Let h = -6 + f. Suppose -v - 17 = h*v + 4*m, 4*v + 11 = -3*m. Which is smaller: v or 0?
0
Let p = 4/11 - 23/33. Which is smaller: -2 or p?
-2
Suppose m = -38 + 46. Is m not equal to 11?
True
Let t be 6*(-10)/52 + 1. Suppose -3*r + r - 5*j = 39, -2*r = 2*j + 48. Let c = 26 + r. Is c less than t?
True
Let v be 2/3 - 12/9. Let i be 4 - 5 - (-19)/(-5). Let q = i - -5. Is q less than v?
False
Suppose -h + 6*h = 0. Let d be (h/(-1))/(9/(-3)). Is d greater than -1/4?
True
Let u(r) = -r**3 - 6*r**2 - 4*r + 3. Let d be u(-5). Let q = d - -3. Let f be 15/(-20) + q/(-4). Is 0 at most f?
False
Let w = 0.5 + -6.5. Is w > -2/7?
False
Let q be (-5)/(-3) - (-4)/(-6). Let v be q/4 - 19/(-4). Let g = 6 - v. Is 3/2 at most g?
False
Let y = -583 - -352. Let l = y + 147. Let m be (-4)/18 + l/(-135). Are m and -1 equal?
False
Let a = 0.005 + -0.865. Let q = a + -0.14. Suppose -2*o + 4 - 2 = 0. Which is smaller: o or q?
q
Let t be (1*(-4)/12)/(3/(-9)). Suppose -2*w - w = -6. Let i = w + 2. Which is greater: t or i?
i
Let h(w) = 2*w - 1. Let o be h(-1). Let i(t) = -t + 3. Let s be i(4). Let u be (-2)/(-3)*3/s. Which is greater: o or u?
u
Suppose -2*c = -4, t = -t + 3*c + 8. Suppose -2*k + 10 = -t*k. Is k at least -1?
False
Suppose -2*k + 3*k = 20. Suppose 0 = 2*y - 5*t + 11 - 4, 2*y + 4*t = k. Is 4 at most y?
True
Let u be ((-10)/14)/(12/(-14)). Which is bigger: 2 or u?
2
Let m = 5 - 2. Let t be ((-1)/m)/(2/18). Let k(n) = n + 2. Let b be k(t). Which is bigger: 1/8 or b?
1/8
Let m be (-2)/6*-3 + -1. Is 6/29 >= m?
True
Let m(s) = -2*s**2 - 5*s + 6. Let p(l) = -l**2 - 4*l + 5. Let b(i) = 2*m(i) - 3*p(i). Let o be b(3). Let v be 5*((-15)/o + -3). Which is smaller: -2 or v?
v
Let g = -5 + -1. Let k be 10/(-15) - (-14)/g. Which is bigger: -4 or k?
k
Let r(n) = 6*n + n**2 - n - 3*n + 2 - n**3. Let j be r(-1). Are 2 and j non-equal?
False
Let m = -0.09 - -0.09. Let v = -2 + 1.7. Let o = 1.3 + v. Which is greater: o or m?
o
Suppose -5*d - 6 = -s - 30, 2*s - 12 = -5*d. Let v be ((-50)/d)/5 - -3. Is -0.2 at most as big as v?
True
Let b = -0.72 + 0.6. Let c = b + 0.12. Which is smaller: 2 or c?
c
Let f = 98 - 143. Let x = 21 - f. Let z = x + -460/7. Which is bigger: 4 or z?
4
Let g = -19.4 + 18. Let l = g - -0.4. Suppose -3*z = 2*f, -z + 2*z + 2*f = 4. Are z and l non-equal?
True
Let l(h) be the second derivative of -h**3/3 - 3*h**2/2 - 2*h. Let u be l(-3). Suppose -u = 3*i - 0*i. Which is smaller: 0 or i?
i
Let s(j) = j - 11. Let m be s(9). Let v be -2*((-3)/m - 2). Which is greater: 8/5 or v?
8/5
Let u = 4 - 3.8. Let m = 0.1 - u. Let t = m - 0. Is -0.1 equal to t?
True
Let y be ((-34)/(-6))/(3/(-9)). Let u be (0 - -50)*y/12. Let g = -71 - u. Is g at least as big as 1?
False
Let b be ((-2)/6)/((-1)/6). Suppose 0 = m + m - b. Is m > 1?
False
Let n(c) = -c**3 - 8*c**2 - 8*c - 6. Let y be n(-7). Which is smaller: y or 1/23?
1/23
Let n = -1 - -0.9. Let i = -3 - -2.5. Let l = i - -0.4. Is l greater than or equal to n?
True
Let n be 2/6 + 2/(-6). Let j = -50/3 - -16. Which is bigger: j or n?
n
Suppose 3*c + 5*n = -47, c - 23 = 4*c - n. Is -41/4 at most c?
True
Let c be (-228)/50 - (-5 - (-5 + 4)). Is -1 greater than c?
False
Let h be (-3)/(-5) - (-18)/(-30). Is -6/5 <= h?
True
Let d(n) = n**3 - 6*n**2 - 8*n + 3. Let r be d(7). Let g be -2*1/r*0. Is -2 at least g?
False
Let f(l) = -l**2 - 12*l + 2. Let y be f(-12). Which is smaller: 3 or y?
y
Suppose 0*l - g = -l - 3, -17 = 4*l - 5*g. Which is greater: 11 or l?
11
Let d = -3 + 3. Which is bigger: d or 2/31?
2/31
Let d = -1 - -1. Let t(z) = -z**2 + 3*z - 2. Let h be t(2). Suppose 3*a + d*a = h. Which is greater: a or -1?
a
Suppose -21*b + 22*b = 3. Which is bigger: b or -3?
b
Let i be ((-32)/1)/(-4) - 1/(-1). Is 10 at least i?
True
Suppose 3*r = -1 + 4. Let k = r - 0. Is k equal to -1/9?
False
Suppose 1 = -2*w + 7. Is 3 at most w?
True
Suppose 117 - 13 = 4*g. Suppose -5*u + g = 6. Which is greater: u or 6?
6
Let g = -9.99 - -10. Let u = -0.09 - g. Which is greater: u or -2?
u
Let k be (-4 - -1)/((-3)/(-2)). Let d be k/(8/14)*-2. Suppose 5*s + d = -2*l, 3*l + 1 - 4 = -3*s. Do -3 and s have the same value?
True
Let i = 22.61 - -0.39. Which is smaller: i or -1?
-1
Suppose 0 = -2*f - 0*f. Let b = -2/189 + 416/3591. Is f at least as big as b?
False
Let n be (1/5)/((-84)/(-15)). Is n greater than -1?
True
Let f(n) = 2*n - 5. Let r(a) = -3*a + 10. Let t(v) = -5*f(v) - 2*r(v). Let l b