than or equal to c?
True
Suppose 2*o - 9 = 1. Suppose -x + o*x = 0. Suppose x = 4*t + 4 + 12. Is -4 <= t?
True
Let q = 72/5 - 812/55. Is 1 smaller than q?
False
Let i = -29 + 13. Let b be (i/(-6))/(1/3). Let v be (2/b)/((-2)/(-3)). Is 1 at least v?
True
Let i = 0 + 2. Let u(c) = c**2 + 6*c - 1. Let g be u(-4). Let y be (-31)/(-18) - (-2)/g. Which is bigger: i or y?
i
Let a(w) = -7*w + 56. Let o be a(9). Which is smaller: -6 or o?
o
Suppose 0 = -m + c - 1, -3*m + 4*c = -0*c + 4. Let j be (6 - 3) + m - 5. Is j at least -2?
True
Let g be -4*1*(-6)/(-12). Let c(b) = -b**2 - 5*b - 1. Let x be c(-5). Which is bigger: x or g?
x
Let d be (-54)/72 - (-110)/8. Let x be 2/d - 32/208. Is x at least -2/21?
True
Let a = 21 + -30. Let z = a - -15. Let p = 6.2 - z. Which is greater: -0.3 or p?
p
Let w(h) = -h**2 - 10*h - 7. Let s be w(-5). Suppose a = 3*a - s. Which is bigger: a or 11?
11
Let a = 1 - 2.1. Let z = 0.8 + a. Let c = -0.2 - z. Is c smaller than 2/5?
True
Let l be (-12)/(-387)*(-9)/(-6). Which is smaller: -1 or l?
-1
Let v = -6 - -8. Suppose v*c + 51 = t + 4, 4*t = 4*c + 92. Let w be 2/c + 5/15. Which is smaller: w or 0.2?
0.2
Let l = -7 + -6. Let t = l - -13.4. Which is greater: t or 0.1?
t
Suppose 0 = 2*y - 2*k - 16, 23 = y - 4*k + 6. Let c be 0 + 0 - (2 + -8). Which is bigger: y or c?
c
Let w = 40 + -56. Let o = 15.8 + w. Which is smaller: o or 0.07?
o
Suppose -2*v = -6*v + 20. Let z be (-2)/6*(v - 2). Which is smaller: -5/4 or z?
-5/4
Let v = 0.09 + -8.09. Let s = v - -7.7. Let c = s - 0.7. Which is smaller: c or 1?
c
Suppose -3*w + 3 = -5*b - 2, -4*w + 4*b - 4 = 0. Suppose -2*x + 32 = -4*v, -v + 3*x - 26 = -2*x. Do w and v have different values?
True
Suppose -61 + 19 = 2*q. Which is smaller: -17 or q?
q
Let q = 12.9 - 13. Which is smaller: -6 or q?
-6
Let n = -28 - -29. Is 0.2 greater than or equal to n?
False
Let f be 1/(3/((-30)/(-2))). Suppose n + 2 = 0, -15 + 1 = f*j + 2*n. Let q = j - -3. Is q at most 2?
True
Let u = 165/14 + 1045/42. Which is greater: 37 or u?
37
Let a(g) = -g**3 + 3*g**2 + 5*g - 2. Let j be a(4). Let s be (-1)/j + 5/2. Suppose 0 = s*l + l. Does 2/7 = l?
False
Suppose 0 = 2*m + 5*i - 2*i + 3, -18 = -3*m + 3*i. Suppose -2*j - 23 = 2*j + m*q, 4 = 3*j - 2*q. Which is smaller: -1/2 or j?
j
Let j be (-2)/20 + (-27)/30. Is 8 greater than j?
True
Suppose 3*u + 4*m - 8 = 0, m = 7*u - 2*u - 44. Is 25/3 < u?
False
Let z = 1.3 + -1.4. Let n = 0.2 - z. Is 2/5 at most n?
False
Suppose 4*q + 16 = -3*r, 0*r = 3*q + 5*r + 12. Let l = 6 + q. Is 1/2 < l?
True
Let y = 2/6797 + 224261/135940. Let b = y - 5/4. Is -1 bigger than b?
False
Let q = -20 - -48. Which is smaller: -1 or q?
-1
Suppose 10*u - 9*u - 1 = 0. Are 2/7 and u non-equal?
True
Let x = 349 + -3487/10. Suppose -i + 0 = -1. Is i at most as big as x?
False
Let p(n) = n**3 - 5*n**2 - 11*n + 28. Let j be p(6). Which is bigger: j or 4?
4
Suppose 0 = -3*u - u - 120. Let z = u - -15. Which is greater: z or -16?
z
Let b(v) = v**3 - 3*v**2 - 3*v + 4. Let o be b(4). Let x be (-21)/12 + (-2)/o. Let u be x/(-9) + 145/(-45). Are u and -2 non-equal?
True
Let h(j) = -j**3 - 6*j**2 + 1. Let t be h(-6). Let k = -3 - -11/3. Is k > t?
False
Let s(d) = 2*d + 29. Let h be s(-15). Which is greater: -3/32 or h?
-3/32
Let o = 6788/63 + -734/7. Are o and 2 unequal?
True
Let r be 3/(-4) + 2/(-8). Let o(y) = y**2 + 11*y + 6. Let t be o(-10). Let q be -1 - ((-188)/36 - t). Are r and q non-equal?
True
Suppose -3*h - 56 = -2*z, 2*z = 5*z + 3*h - 69. Let u = -26 + z. Is u <= 8?
True
Let r = -9 + 8.88. Let y = 0.42 + r. Is y > 0?
True
Suppose -k = -2*k - 2*v - 3, 4*k + 2*v = -12. Suppose 0 = -2*s - 17 + 11. Is s at least as big as k?
True
Let n be (-68)/104 + (-2)/(-4). Let t(q) = 3*q - 4. Let k be t(1). Which is smaller: k or n?
k
Let t = 3/14 - -9/7. Let n = 1.1 + -0.1. Does t = n?
False
Let h be (11/(-4))/((-2)/(-8)). Let j = -6 - h. Suppose -b + 5*t + 16 = j, 4*b - 2*t = 8. Which is greater: b or 0.1?
b
Let b be (2718/(-3591))/(14/(-15)). Let d = b - 32/49. Do d and 0 have the same value?
False
Let p be (2 + -1)*-2 - -5. Let v(k) = k**2 - 2*k. Let a be v(p). Suppose 0 = 2*d - 6 - 2. Is d greater than or equal to a?
True
Let i = 178 - 178. Which is greater: i or 1.55?
1.55
Let r be ((-4)/3)/(1/(-3)). Suppose 4*k + 7*v - r = 3*v, -k + 3*v = -9. Which is smaller: 4 or k?
k
Suppose -3*m + 4*o = -18, -4*o = 2*m - 4*m + 12. Suppose -2*s = -m*s + 32. Suppose 0*z + s = -2*z. Which is smaller: z or -2?
z
Let l(a) = -7*a + 3 + 3*a - 2. Let p be l(1). Let q = 0 - p. Which is smaller: 2 or q?
2
Let z(n) = -n**3 - n**2 - 2*n - 1. Let k be z(-1). Is -4 smaller than k?
True
Let r = 233 - 2565/11. Let b = 2 - 5. Let h be (4 + -1)/b + 2. Which is bigger: h or r?
h
Let m be 15*1*168/60. Is m != 0.1?
True
Let f = 117 - 2692/23. Is 0.3 less than f?
False
Suppose 4*x - 3*q = 28, 2*x + 4*q - 3*q = 24. Let d be x/14*2/(-5). Let m = -13.8 + 14. Is d equal to m?
False
Let i = -3 + 0.2. Let w = i - -3. Which is smaller: w or -2/5?
-2/5
Let p = 27 - 27.5. Let i be 2 + (-2 - 0/(-1)). Is p not equal to i?
True
Suppose -6*v - 17 = 1. Is v not equal to -3?
False
Let i = -1 + 1. Suppose 2*o + 20 = o. Let s be ((-3)/28)/(5/o). Which is bigger: s or i?
s
Suppose 3*j = -1 + 4. Let k be ((-3)/(-6))/(j/(-2)). Let w be k/3 + 7/12. Is w not equal to 1/3?
True
Let s = -9 - -16. Is 6 != s?
True
Let l be (-24)/(-15)*5/2. Suppose -r = -0*r - l*h - 9, 0 = r + 5*h. Let k = 5 - r. Do k and -1 have different values?
True
Suppose 0*o = 5*h + 3*o + 12, 3*h - 16 = 4*o. Suppose 5*d = 2*g - 40, -d - 11 + 3 = -g. Let c be (d/18)/(2/3). Which is bigger: c or h?
h
Let q = 17 + -53/3. Let z = 0.07 + 0.03. Which is smaller: z or q?
q
Let o = 0.1 - 0. Let i be 3/12 - 481/(-12). Let q = 40 - i. Is q smaller than o?
True
Suppose 0 = x + 3*x + 44. Suppose 11*r - 21 = p + 8*r, -3 = -p - 5*r. Is x at most as big as p?
False
Suppose 5*v - r = 2*r + 35, -3*v - 4*r + 50 = 0. Suppose 0 = -3*k + k - v. Which is bigger: k or -4?
-4
Let r be 2/(-3)*(18 - 3). Let q be 38/20 - (-4)/r. Let f = -3 - -5. Which is smaller: f or q?
q
Suppose -5*s - 20 = 3*p, 0 = 2*p - s - 0 - 4. Which is smaller: 5/13 or p?
p
Let s = 0.73 - 0.7. Let g = 0.07 + s. Which is smaller: g or -0.3?
-0.3
Let a be 4 - 1*(-2)/2. Let i be (2/4 + -1)*(-8)/1. Which is smaller: i or a?
i
Suppose -5*x = 4*o + 106, -2*o + 3*x - 35 - 7 = 0. Is o <= -24?
True
Let p = -1.1 - -0.8. Let z = -0.2 + p. Let b = z - -0.4. Which is smaller: b or 0.1?
b
Let i(a) = a**2 - 9*a + 4. Let x be i(7). Let q be (-2 + (-738)/x)*1. Let m = q + -72. Is m bigger than 0?
False
Let j be 7/((-49)/(-18)) - 2. Let d = -0.1 + 0. Is j less than or equal to d?
False
Let f(z) = -z + 15. Let h be f(12). Which is bigger: 5 or h?
5
Let f = 43 + -10. Which is greater: -1 or f?
f
Let m be 10*4/(-60)*-6. Are m and 12 non-equal?
True
Let h(a) = -a**3 - 3*a**2 - 2*a. Let b be h(-2). Suppose -3*d + b + 21 = 0. Let j(g) = -g**3 + 6*g**2 + 8*g - 5. Let s be j(d). Which is bigger: 6/7 or s?
s
Let a = 0 - 2. Let v be ((-2)/(-10))/(a/4). Let r = -54 + 55. Is v equal to r?
False
Let p = 29 + -21. Let q(n) = -4*n**2 + 2 + 0 + n**3 + p*n - 5*n. Let k be q(3). Which is greater: 3/2 or k?
k
Let h be (-1)/3*-5*3. Is h greater than or equal to 23/6?
True
Let o = 306 + -309. Let q be 22/(-8) + 2/8. Are q and o unequal?
True
Let y = -41 + 79. Suppose y*h = 39*h. Which is smaller: h or 1?
h
Let u be 3/(0/(-3) - -1). Suppose m + u*m + 20 = 0. Let l be m/((-30)/16) - 2. Which is bigger: l or 1?
1
Let w be ((-21)/(-14))/(38/8). Which is greater: 1 or w?
1
Let t(q) = 3*q + 3. Let c(v) = -5*v - 6. Let p(w) = -4*c(w) - 7*t(w). Let n be p(0). Which is smaller: 4 or n?
n
Let x(d) be the second derivative of d**4/12 + 7*d**3/6 + 3*d**2 + 2*d. Let t be x(-6). Suppose 1 = -2*y + 3*y. Is t greater than y?
False
Suppose 3*j - 5*j = -8. Let n be -2*j/(-16)*2. Which is bigger: n or 3?
3
Let y be (-4)/(-6)*(-39)/(-26). Suppose -5*i + 25 = 0, -4*f + 8*f + 20 = 4*i. Let a = f + y. Is 3/4 at least a?
False
Let b = -14 - -25. Let n = b + -8. Let a = n + 5. Is a at least as big as 8?
True
Let t = 2.7 - 2.3. Let k = 17.9 - 18. Is t > k?
True
Suppose -6 + 3 = -z. Which is smaller: z or 1/4?
1/4
Suppose -c - 26 - 33 = 4*f, -c = -4*f - 69. Let n = -11 - f. Let d = -3 - -3.1. Which is sma