7/(-3 + 2))/1. Suppose -7*r + r = 282. Is r at most y?
True
Let i(l) = l + 19. Suppose -n - 21 = u, -u + n + 5 = 22. Let v be i(u). Which is bigger: 16 or v?
16
Let t(n) = -2*n - 6. Let u be t(-6). Let p(z) = 2*z**2 + 2*z - 2. Let s be p(0). Let r be ((-8)/10)/(s/15). Is u less than or equal to r?
True
Let y be 8 + -4 + (-60)/8 + 2. Which is smaller: y or 28/9?
y
Let v = 41 - -127. Let w be (-4 + v/39 + 2)/(-1). Are w and -3 equal?
False
Suppose 4*u = -230 - 334. Let c be 3 - u/(-27) - -2. Is 1 <= c?
False
Let r be ((-8)/6)/(2 + 6 - 9). Let k(j) = -j**2 - 5*j + 7. Let d be k(-6). Do r and d have the same value?
False
Suppose y - a + 10 = 0, 0 = -3*y - 9*a + 6*a - 60. Suppose c - 2*c + 42 = -3*o, -o + c - 14 = 0. Which is greater: y or o?
o
Let j be (-1)/(-8) - 359/(-8). Let h be (-40)/j - (-2)/3. Which is smaller: h or -4?
-4
Let f = 4 - 5. Let d(m) = -m + 9. Let k be d(11). Let c be k + 0 + 60/25. Does c = f?
False
Let b(l) = l + 2. Let j be b(-1). Let v be (j + -3)/2 + 4. Let m be 7/(-4) + v/4. Is m smaller than -5?
False
Suppose 4 = -2*p - 0. Let d(q) = -q - 2. Let y be d(p). Let i be 55*2/(-36) + 3/1. Are i and y non-equal?
True
Let n = 984 - 983. Which is bigger: -1/376 or n?
n
Suppose -1 = k + t, 2*t = 2*k + 3*k - 2. Suppose 2*o - 5 + 3 = k. Is o > 1?
False
Let g(w) = -105*w**2 - 86*w + 1. Let a be g(-4). Is a > -1334?
False
Let h be (6 + 1)*12/(-14). Let x(a) = 3*a + 14. Let i be x(h). Which is greater: -1 or i?
-1
Let j = 0.0842 - 0.1512. Which is bigger: -2/5 or j?
j
Let i be ((-1)/2)/((-9)/432). Suppose 4*q - i = 5*x + 3*q, 3*q = -x - 8. Is x smaller than -5?
False
Let x be (((-2)/(-2))/4)/(1/4). Are x and 1/1436 non-equal?
True
Let k be 70/4*12/40. Let v(g) = 4*g**2 + 4*g + 2. Let a be v(-2). Suppose 0*j = -a*j + 40. Which is smaller: k or j?
j
Let c(g) = 3*g - 31. Let f be c(15). Let v be f/4 + (-4 - 0). Is 19 smaller than v?
False
Let f(l) = 6*l - 38. Let t be f(7). Let d be (2/(-3))/(t/6). Which is bigger: -20 or d?
d
Let h be (13/52)/((-1)/(-12)). Suppose -4*j - 3*x - 13 = 0, j + h*j - 2*x = -38. Let i be 4*j/((-21)/6). Are i and 8 non-equal?
False
Suppose -3*j - 3 = 0, 0 = -2*s - 132*j + 137*j - 1. Suppose 0 = -2*c - c - 24. Which is smaller: c or s?
c
Let u = 0.19 + -0.09. Let f be 6 + (-3 - -6) + -2. Is u not equal to f?
True
Let o(h) = h - 2. Let g be o(6). Suppose g*m - m = -3*t + 3, -5*m - 2*t + 14 = 0. Suppose 0*i = 4*i - m. Which is bigger: 2 or i?
2
Let t = -260 + 1309/5. Is t not equal to -4?
True
Suppose 5*y + 33 - 80 = 3*j, -4*j = y + 55. Let r = 20 + j. Suppose 2*h + 16 = r*h. Is 3 at least as big as h?
False
Let u = -15.24 + 15. Let o = 1.24 + u. Do -4 and o have the same value?
False
Suppose 0*k - 2*k = 0. Suppose 23*m - 27*m - 28 = k. Which is smaller: m or -6?
m
Let i = 1.871 - 0.871. Which is smaller: i or -24/91?
-24/91
Suppose 114 = g - 4*f + 119, -5*f = -5. Which is smaller: -1/343 or g?
g
Let f(d) = d**3 - 8*d**2 + 3*d. Let q be f(3). Let i = q - -50. Let v = i - 12. Is 10/3 != v?
True
Suppose 0 = -6*z + z + 35. Suppose 2*n = n - 1, -z = -p + 4*n. Suppose d + p*d = 4. Is d less than 4/13?
False
Let v(t) = -3*t**3 - t**2 + 8*t - 8. Let s be v(1). Let f be ((-4)/(-6))/(1/(-3)). Which is smaller: s or f?
s
Suppose -5*i - 168 = -53. Which is smaller: -24 or i?
-24
Let x be (345 - (1 - 2))*2/(-4). Let u = x - -249. Are 75 and u equal?
False
Suppose 4*b = -3*m + 345, 24*m - 20*m = -2*b + 450. Which is greater: m or 449/4?
449/4
Let q = -621 - -620.95. Which is bigger: 8/9 or q?
8/9
Let n be (29/(-145))/(2/(-20)). Which is smaller: 0 or n?
0
Let j be -12 + (-15)/(-20)*4. Let t be 4 - (-3)/(j/12). Which is smaller: t or 3/2?
t
Suppose -4*f = f - 20. Let j be -8 + 70/5 + -1. Which is smaller: j or f?
f
Let w(n) = 31*n**2 - 10*n + 10. Let s be w(2). Is s greater than 117?
False
Let s = 282/19 + -69353/4674. Is s at most as big as 0?
False
Let u = -3037712/54523 - -2/54523. Is -57 bigger than u?
False
Let n be 0*(8/3 - 3). Let u be 5*(-2 - 28/(-10)). Suppose -4*d - u = -n. Is d equal to 3/8?
False
Let m = 32/5933 + 12642775/83062. Let y = m - 152. Which is smaller: y or 1/3?
y
Let g = 559 - 575. Is g <= -18?
False
Let t = 0.097 - 0.297. Which is greater: t or -158?
t
Suppose -2*y - 82 = 2*y + 2*u, -y + 5*u = 48. Let a be -6*(2 - 3)*33/(-9). Is a != y?
True
Suppose -2*i - 52 = -4*f, -2*i + 2*f = -3*i - 14. Let n be (28/i - 0)/1. Let o = -61/40 - n. Does 0 = o?
False
Let b(l) = -l**2 - 7*l - 9. Let p be b(-5). Suppose 4*x + p + 3 = 0. Is 4/21 greater than x?
True
Let g = 18 + 3. Suppose g - 1 = 2*o. Which is smaller: 11 or o?
o
Let y be 10 - 8 - 7 - 1*-6. Is 3 > y?
True
Suppose -7 = -l + 2*b, 6*l + b = 2*l - 8. Let o = -39.6 - -24.6. Which is bigger: l or o?
l
Suppose 5*o - o + 373 = p, 5*o - 759 = -2*p. Which is smaller: p or 379?
p
Let r(v) = 2*v**2 - 7*v - 1. Let x(g) = g**2 - 7*g. Let b(o) = -2*r(o) + 3*x(o). Let u be b(-7). Let d = -1 + u. Do 1/9 and d have different values?
True
Suppose -5*m + 15 - 10 = 0. Which is smaller: -0.029 or m?
-0.029
Let t(x) = -x**3 + 11*x**2 + 3*x - 27. Let n be t(11). Suppose -n*h + 50 = 4*h. Let v = 11/8 - -27/8. Is h less than or equal to v?
False
Let c = 13 + -11.9. Let x = -2.4 + 1.6. Let w = x + c. Is w less than or equal to -2/9?
False
Suppose -2*x + 4*u = 3*u - 4, -5*x - u = -17. Let f(k) = 3*k - 4. Let r be f(x). Is r less than or equal to 31/7?
False
Let u be 1 - 2 - (-2 - -1). Let r be 72/(-6 - u)*5/(-4). Which is smaller: r or 16?
r
Suppose 3*k - 4*k - 2*r = 31, 3*k + 2*r = -85. Which is greater: k or -14?
-14
Let k = 1093 + -1192. Is k greater than or equal to -93?
False
Let j = 37/275 - 3/55. Which is bigger: j or 1/12?
1/12
Suppose -4*d = -6*d - 18. Suppose g + 4*p = 2*g + 8, -3*p + 33 = -3*g. Let s = g - d. Does -4 = s?
False
Let m be 1/(-3) + 0 - 156/(-36). Suppose 5*s = -m - 6. Which is smaller: -14/11 or s?
s
Let c be ((-8)/(-16))/((-259)/392). Is c greater than -1?
True
Let o = 68.8765 - -0.1235. Which is smaller: o or -1/4?
-1/4
Let w(t) = -t**3 - 6*t**2 + t + 6. Let d be w(-6). Suppose -9*s + 10 = -4*s, d = -g - 4*s + 9. Which is smaller: 23 or g?
g
Let f = -29.3 - -0.3. Let o = f - -30. Let v = 824/4653 - -2/423. Which is bigger: o or v?
o
Suppose 4 = 11*g + 15. Let m(z) = -z**2 + 2*z + 1. Let q be m(-1). Let o be q/3*3/16. Which is greater: o or g?
o
Let u be -4 + 1 + -2 + 3. Let p be ((-15)/(-2))/((-1)/u). Let y = p - 16. Is y at most 1.2?
True
Suppose 0 = -y - 2*l + 6, 2*l + 48 - 6 = 2*y. Let p be 15/6*y/60. Is p greater than 1?
False
Suppose -d + 2 = -1. Suppose -2*i = -d*i - 4*u - 4, 3*i + 5*u = -12. Suppose -a + 2 = 4. Is i <= a?
True
Suppose f = -2*n - 2, 8*n = 7*n - f + 1. Which is bigger: n or -0.1?
-0.1
Let r be 13/(-65) - ((-4)/(-90))/2. Which is smaller: 13 or r?
r
Let r = 0.7 - 0.78. Let q = 1.16 - 1. Let k = r + q. Which is bigger: k or 1/3?
1/3
Let v = -22 + 27. Let u be (-12)/9*v/2. Let s(l) = -l**2 + 13*l - 26. Let k be s(11). Do u and k have the same value?
False
Let i(s) = -6*s + 14. Let j be i(4). Is j >= -85/8?
True
Let l be ((-4)/(-10))/((-10)/(-100)). Let b(x) = -x**2 + 6*x - 2. Let z be b(l). Suppose -5*n - z*q = -q + 20, n + 4*q = -4. Which is smaller: n or -1?
n
Suppose -3*c - c - 8 = 0. Let l(g) = 4*g + 3. Let n be l(c). Let u be (-92)/(-15)*(-480)/640. Is n at most as big as u?
True
Suppose 1 + 0 = -4*r + b, 5*r + 5*b = 5. Suppose -13 + r = -t. Is 14 equal to t?
False
Suppose -3*f - 3*n + 6 = 0, 0*f + 3*n - 1 = -2*f. Suppose -f*a - 10 = -6*a. Suppose 5 = -5*q - a. Is -3 >= q?
True
Let z = 1/107 + -219/535. Is 62 equal to z?
False
Let n(g) = -5*g + 64. Let y(p) = -p + 16. Suppose -11*z + 6*z - 45 = 0. Let r(x) = z*y(x) + 2*n(x). Let s be r(-11). Which is bigger: s or -1?
-1
Suppose c + 3*o = 16, -22*o + 16 = -4*c - 18*o. Are c and -5/27 non-equal?
True
Let q be (-162)/(-4)*6896/6. Let p = -231778/5 + q. Let b = p + -197. Which is bigger: b or -5?
b
Suppose 5*w - 157 = 93. Suppose m - w = -m. Suppose -3*v - 5*x + m = 8, -4 = -2*v + 4*x. Is v != 5?
True
Let k be ((-2)/4)/(-91*(-1)/(-6)). Do 1 and k have the same value?
False
Let z(x) = -6*x - 5. Suppose -13 - 47 = -4*w. Let j = 13 - w. Let l be z(j). Is l != 0.1?
True
Let q(h) = -16*h**2 - h - 5. Let n be q(-2). Let d = -66 - n. Which is bigger: d or -13?
d
Let k = 164349/91 - 1806. 