oes x = 118?
True
Let t = 2106 + -2103. Which is bigger: t or -90?
t
Let o = -7 + 14.4. Let f = o - 7.1. Is f greater than 20?
False
Suppose -168*j - 576 = -171*j. Which is greater: j or 191?
j
Let i = -45 - -21. Suppose 333*t - 13 = 320*t. Is i at least t?
False
Let a be (0/23)/(1/1). Is -2/295 less than or equal to a?
True
Let y = -19.28 - -0.28. Let l = 65 + -54. Let i = y + l. Is -1/3 less than i?
False
Let l = 26885104236/875 - 30725864. Let d = l - -214/7. Does 1 = d?
False
Let f = 5.6 - 0.6. Let q = 0 + f. Let k = 648.5 + -648. Is k greater than q?
False
Let z = -5.9 - -6.9. Let i = -4.08 + 2.75. Let m = i - -1.4. Which is smaller: z or m?
m
Suppose -2*d - 125 = -413. Which is smaller: d or 136?
136
Suppose 0 = -2*x + 4 - 0. Let h(d) = d**3 - d**2 - 4*d + 3. Let a be h(x). Is a >= 3/5?
False
Let z = -1.43 - -0.43. Let s = -11 - -9.8. Let r = z - s. Is 0.01 <= r?
True
Let d(l) = -205*l**3 + 4*l**2 - 2*l. Let u be d(1). Which is greater: -202 or u?
-202
Let p = -5.1 + 5.16. Let f = p - 1.06. Which is smaller: f or -7?
-7
Let n(a) = -a**3 + 4*a**2 + 3*a - 5. Let y be n(4). Let f(j) = -j**3 + 5*j**2 - 5. Let l be f(2). Is y > l?
False
Suppose 0 = -14*a + 713 + 729. Let h = a + -218. Is -115 not equal to h?
False
Let k be 2/14 - (-13)/(-91). Suppose k = 9*b - 10*b - 12. Which is smaller: -10 or b?
b
Suppose -2*g - 153 = -4*b + 5*b, 0 = 4*b + 3*g + 622. Let w = b - -174. Which is bigger: w or 15?
w
Let l = -528 + 527. Let d be 4/6 + (-3)/9. Is d > l?
True
Let m = 303 - 282.1. Let c = -21 + m. Let u(z) = -z**3 + 6*z**2 + z - 4. Let b be u(6). Is c <= b?
True
Let r(b) = -b**2 - 11*b - 15. Suppose 5*w + 45 = -l, -4*w - l = -3*l + 50. Let h be r(w). Which is greater: -25/6 or h?
-25/6
Let a be (-310)/(-18) + -1 + 42/54. Suppose 7*q - a = 88. Does q = 13?
False
Let u be -3 + (-2)/4*62/(-1). Which is smaller: 107/4 or u?
107/4
Let o = -13643 - -13631. Let t(a) = -3*a - 8. Let c be t(-6). Suppose 0 = m + c + 4. Do o and m have different values?
True
Let u be 18/((-26)/10 - -3). Suppose 0*n - u = 3*n - 3*z, -2*z = -4. Is -13 < n?
False
Suppose 4*z + 106 = 5*c, -2*z - 46 = -4*c + 5*c. Let a = z + 42. Is 19 at most as big as a?
False
Let v = -32 + 35. Suppose 3*t + 2*c + 10 = 0, -10 = 5*t - v*t + 2*c. Is 2 greater than t?
True
Suppose 3*j + 3*o - 119 = 7*o, 169 = 4*j + 5*o. Suppose 4*r + 2*i = 18, 6*r = 9*r - 4*i - j. Is 10 at least r?
True
Let h be 492/3 + (-3)/(-3 + 4). Let r = 4187/26 - h. Which is smaller: 0 or r?
0
Let w(z) = 3 - 75*z + 76*z + 8. Let n be w(-13). Let a be 5*(36/(-15) - n). Is -3 greater than or equal to a?
False
Let m = 2484 - 2072. Which is smaller: -2/3 or m?
-2/3
Let u = 411758/6165 - -68/685. Which is smaller: u or 68?
u
Let r be 0 + 2 + 0/1. Let j be ((-8)/(-6) - 2)/(3/(-9)). Suppose j*s + 0*a + r*a = -2, 3*a - 2 = 2*s. Is s less than 2/9?
True
Let g be ((-184)/(-30))/(-2)*-3. Suppose 37 = 5*p + 4*u, 2*u = -0*p + 5*p - 49. Is g at most p?
False
Let h = 863999/6 + -144590. Let c = -593 - h. Is -2 greater than c?
True
Let y = -85/9 + 1294/117. Is y at least 2?
False
Let h be (-15)/(-5)*1/3. Let t be h/(-1)*(-8 + 6 + 3). Is -1/41 not equal to t?
True
Let v(c) = -c**2 + 11*c - 20. Let b be v(9). Let f(j) = -4*j**2 - j + 3. Let s be f(b). Which is smaller: -10 or s?
s
Suppose 5*s + 5*g - 10 = 0, 5*s - g - 10 = -0*g. Let c(u) = u**3 - 7*u**2 - 9*u + 16. Let j be c(8). Suppose -j = -s*w - 2*w. Which is greater: -0.1 or w?
w
Let p = -0.045 + 13.445. Let g = p + -12. Let h = 2.4 - g. Is 9 > h?
True
Let k be 19 - 1 - (-1 + (-9)/(-3)). Which is bigger: 180/11 or k?
180/11
Suppose 5*h = 3*m + 20, 5*h - 4*m = -7 + 32. Which is greater: h or -2/1197?
h
Let c = 5031/235 - 132/47. Is c smaller than 18?
False
Let l be 24 + -22 - 14/8. Is -0.006 <= l?
True
Suppose 6*n = -0*n + 12. Let a = 10 + -10. Suppose 0*q - 2*q + 6 = a. Is n less than q?
True
Suppose 8*z - 42 = 7*z. Is 42 != z?
False
Let x = -0.96 + -0.04. Let v = 2 + x. Let w = -45 + 44.92. Is v equal to w?
False
Let k = 29 - 28.74. Let c = -0.13 + k. Let i = c - 0.03. Which is greater: i or 3?
3
Suppose 5*o = 296 - 301. Let n = -74 + 668/9. Is n less than or equal to o?
False
Let f = 2 - 3. Let j be (-2*(-1988)/(-120))/(-3). Let h = j - 100/9. Which is bigger: f or h?
h
Let b = 28 + -25. Suppose -5*a + 3 = -x - 6, -a = x - b. Is -2/7 greater than x?
False
Let f(h) = 3 + h**2 + h**2 + 4*h - h**2. Let t be f(-3). Let x be 8/(-30)*12/32. Which is smaller: x or t?
x
Let b = 97/205 - 3/41. Suppose -8 = -w + 3*w. Are w and b equal?
False
Suppose 11 = 6*p - 1. Let k be (-9 + p)/(5/45). Let f be (-39)/k - (-1)/(-3). Is f > 0?
True
Suppose 0 = -g - c + 3, 3*g + 1 = 6*g - 5*c. Suppose 14 = -5*v + g*i, 4*v - 3*v - 4 = -3*i. Let q be (5 - 7)/(1 - 0). Is v < q?
False
Suppose 2*a - 13 = -3*t - 30, -5*a - 2*t - 15 = 0. Let u be (-1)/(-2)*640/90 + -4. Is u bigger than a?
True
Suppose 5*g + 2*y - 233 = -1183, -3*y = 2*g + 391. Is g > -188?
False
Let j(m) = -6*m**2 + 15*m - 28. Let w be j(4). Which is greater: -2/11 or w?
-2/11
Suppose -4*s + 3*g - 23 = 0, 4*s - 9*s + 3*g = 31. Which is bigger: s or -9?
s
Let a = 4 - 18.2. Which is smaller: a or -0.1?
a
Suppose -2*y - 4*z + 173 = 21, -364 = -5*y - 2*z. Let b = 75 - y. Do b and 1 have the same value?
False
Suppose 0 = -3*k + 4*k - 8. Let b be (-1*k*-1)/(-2). Is b smaller than -4?
False
Suppose -12*u + 2*u = -60. Let n be -2 - (-4)/u*48/(-2). Does n = -18?
True
Let d(q) = q**2 + 21*q + 23. Let v be d(-20). Let z = 1/40 + 37/20. Which is smaller: v or z?
z
Let l be (1/1450)/(15/25). Is -1 at most as big as l?
True
Let o be (-1280)/84 - 12/(-18). Which is greater: o or -14?
-14
Let s = -1.734 + -0.266. Let i = 6 + -5. Which is greater: i or s?
i
Let i(l) = l**3 + 13*l**2 - 15*l - 15. Let p be i(-14). Which is greater: 4/155 or p?
4/155
Suppose x = -28 + 88. Let v be 100/x - 1/(-3). Let m = v - 3. Which is bigger: -5 or m?
m
Suppose 107 - 527 = 7*v. Are -59 and v equal?
False
Suppose 6*b - 2 = 4. Is -1/4 greater than b?
False
Suppose -4*q = -q + 2*a + 2, 0 = -4*q + a - 21. Let g be 28*(q + (-33)/(-6)). Let n be (-28)/g*(-6)/8. Which is smaller: -3/5 or n?
-3/5
Let v = 27.76 + -28. Let s = v + 2.04. Let u = s + -0.8. Which is smaller: u or 19?
u
Suppose 0 = 2*p + 10 - 2, 0 = -2*o - 4*p - 16. Suppose 5*x - 2*f + 4 = o, 2*x + 4*f = 3*f + 2. Which is greater: x or 1/4?
1/4
Suppose 0 = -9*t + 11*t. Suppose t = -4*m + 2*m - 54. Let v = 26 + m. Is 0 smaller than v?
False
Suppose -4*t - 5 + 13 = 0. Suppose f + f + i - 27 = 0, -5*f + 63 = -t*i. Suppose 3*n + 7 = -4*p + 4*n, -4*p - 5*n = f. Which is bigger: 0 or p?
0
Let x(r) = r**3 - 16*r**2 - 18*r - 7. Let d be x(17). Let c be 6/d*(-10 + 2). Which is smaller: 5/4 or c?
5/4
Suppose -12*c = -16*c - 12. Let r be (8/(-22))/((-78)/27 - c). Is r at least -2?
False
Let d = -2 - -28. Let l = d - 23. Suppose l*y = -y + 32. Which is greater: -2/7 or y?
y
Let s be (9/7 + -1)*(8 - 1). Let p be s/(-9) - 8/(-36). Is 0 greater than or equal to p?
True
Suppose -y + p + 3 = 0, -3*y - 5*p + 1 = -4*p. Let g be y*(3 + -2)/((-1)/25). Which is greater: g or -24?
-24
Suppose 9 + 1 = 5*w. Let g be (-1 + w/1)*1. Let n be 0/((1 + -2)/g). Which is greater: 1 or n?
1
Let w be -22*4/240 + (-2)/(-12). Which is greater: 0 or w?
0
Let u = 3.62 + -3.57. Let h = -2 - -1.9. Which is bigger: h or u?
u
Let s = -20.03 + 20. Let z = -3.2 - -3. Let o = z - -1.2. Which is smaller: o or s?
s
Suppose 8 = 4*f - 3*b, 2*f = -f - 5*b + 6. Let s = 1 + f. Suppose -15 = -6*p + 3*p. Is s at most p?
True
Let d = -7 - -10. Suppose 5*o - 5 = 5*l, -d*l - 4 = l + 5*o. Suppose 0 = -5*u - 2*m - 20, -9 = -3*u + 4*m + 5. Which is bigger: l or u?
l
Suppose -q - 3 = 0, -2*k - 17 = 2*q - 9. Which is bigger: k or -3/154?
-3/154
Let j = -137.5 + 138. Let m = 12884474/1399671 + 22/22217. Let y = m + -88/9. Which is greater: j or y?
j
Let l be 1/(-5 + (5 - (-76)/(-16))). Are 1 and l unequal?
True
Let w(c) = -c**3 + 12*c**2 - 6*c - 13. Let d(j) = j**3 - 13*j**2 + 6*j + 15. Let q(b) = -6*d(b) - 7*w(b). Let v be q(3). Let r be -2*(-1 + 9/2). Is r > v?
True
Let h = 11 - 10.77. Let f be 1*(-38)/(-4) - -3. Let v = -12 + f. Is h less than or equal to v?
True
Suppose -a + 4 = -0*a. Suppose a*i = i - h - 1, 2*h = -i + 3. Let f = -0.61 + 0.6. Which is greater: i or f?
f
Suppose 6*k + 8 =