 10 greater than y?
False
Suppose 3*h + 3*t - 147 = 0, -5*t + 20 = -4*h + 180. Let c be (66/h)/((-6)/747). Let l = -182 - c. Do l and 0 have different values?
True
Let p(c) = c**3 - c**2 - 6. Let j be p(0). Let x be 4/6 + 2/j. Suppose 12 = -w + 5*w, 4*l + 15 = 5*w. Do x and l have the same value?
False
Let m = 9 + -5. Let d = m + -5. Which is smaller: 10 or d?
d
Suppose 4*b + b - 45 = 0. Suppose 3*o + 3*x - b = -x, -4*x + 10 = 2*o. Let a = -155/6 - -26. Which is smaller: a or o?
o
Let j = -1 - 10. Let v = 11.1 + j. Which is bigger: v or 2/17?
2/17
Let l(m) = -3*m - 6. Let v be l(-6). Let o be (-17)/33 - (-4)/v. Which is bigger: o or 1?
1
Let q(u) = u**3 + 13*u**2 + 3. Let h be q(-13). Suppose 7 = 4*j + 3*z, 0 = j + z - h - 0. Suppose -4 + 5 = -b. Is j greater than b?
False
Suppose -2*b = 2*q, -5*q + 2*b + 3*b = 0. Suppose -t + 14 = 5*a - q*a, 7 = -t + 2*a. Suppose r = -5*f - 6, 3*r - 4 = 2*r. Is f bigger than t?
False
Suppose -4*a + 2 = 6. Is a > -14?
True
Let c be 74/14 - 2/7. Suppose 7 - 2 = -c*u. Is u at least -2?
True
Let l be (-4)/(-8)*0/(-2). Let z = -43281 + 388855/9. Let f = -75 - z. Which is bigger: f or l?
l
Suppose 3*a + 15 - 34 = -5*v, -4*v = 4. Let n(d) = 2*d**2 + a*d - d**2 + 1 - 8. Let b be n(-9). Is b <= -1?
False
Let l = -187/285 + 15/19. Suppose 102 = p - 28. Let z = 652/5 - p. Is l != z?
True
Let t = 2 - 1.9. Is t bigger than 2/13?
False
Let i(t) = -2*t + 3. Let v be i(2). Let f = 154 + -1539/10. Do f and v have the same value?
False
Suppose 2*b - 11 = 51. Let s be b/(-5) + 5/25. Let g = s + 6. Which is smaller: g or 0.5?
g
Suppose 2*t = 2*k - 88, 5*t + 160 + 62 = 3*k. Is t not equal to -45?
False
Let y(z) be the first derivative of -5*z**2/2 + z - 1. Suppose 6 = 3*w, -u + 3*w - 1 - 4 = 0. Let q be y(u). Is q smaller than -1/3?
True
Suppose -5*m + 2 + 3 = 0. Suppose -5*a = 11 - m. Let x be 1 + -1 + (-2)/2. Is x < a?
False
Let n = 1 + -3. Let r = -0.7 - 0. Let w = 0.7 + r. Is w > n?
True
Let u = -5.4 - -8.4. Which is greater: u or -0.02?
u
Suppose -3*k = -7*k. Which is smaller: 1/4 or k?
k
Let f = -116/39 - -30/13. Which is greater: f or -2?
f
Let x be -4 - 52/14*6/(-6). Let z be (-2 + 1)/(-1 + 2). Do z and x have the same value?
False
Let p(r) = r - 4. Let m be p(7). Suppose -m*u = -4*u. Is u bigger than -2?
True
Let a(h) = -h + 17. Let l be a(15). Which is bigger: 8/7 or l?
l
Let w be ((-5)/10)/((-2)/16). Suppose 2 + 6 = w*y, 0 = t + y - 3. Which is bigger: 3 or t?
3
Let i = -67 - -68.3. Which is smaller: 2/7 or i?
2/7
Let g = -0.31 - -0.34. Which is smaller: g or -1/4?
-1/4
Let p = -1 - -1. Suppose -2*z + 3 + 1 = p. Are 2 and z equal?
True
Suppose 0 = k - 2*k - 4*x + 12, 0 = -4*k - 4*x. Let r be 1 - (-3 - k - 1). Which is bigger: 2 or r?
2
Let x = -0.16 - -0.26. Let k = x + -0.14. Which is bigger: k or 0.1?
0.1
Let z = -217501/2254 + -5/1127. Let a = -94 - z. Which is smaller: a or 4?
a
Let d be (-1 - -2)/(12/(-8) - -1). Is d less than or equal to -1/2?
True
Let x(a) = 2*a + 6. Suppose 6*v = -49 + 13. Let b be x(v). Are b and -6 equal?
True
Suppose -1 = -4*x + 2*q - 7, 4*q = 20. Is 1/33 smaller than x?
True
Let d = -51 - -4181/82. Which is smaller: d or -1?
-1
Let h(b) = b**3 + 6*b**2 + 3*b - 4. Let i be h(-5). Let p = 7 - i. Is 4/5 at least as big as p?
False
Let l = 0.06 + -1.06. Let k = 1 + l. Is 1 smaller than k?
False
Let t = 5080/7 - 728. Which is smaller: t or -3?
-3
Let k be 15/(-18) - 1/(-2). Let a(h) = 9*h**2 + 2*h - 3. Let w(m) = 5*m**2 + m - 2. Let r(g) = -3*a(g) + 5*w(g). Let z be r(-1). Is z less than or equal to k?
True
Let q = 18 - 37/2. Let v be 1 - (1 + -2)/(-7). Is q greater than v?
False
Let y = -5 + 6. Which is bigger: y or 3/5?
y
Let l be 4/((-3)/(-6)*-1). Which is smaller: l or -6?
l
Let r be 1 + (1 - (0 - -2)). Let k be 2*(r/2 - -2). Suppose -7 = h - 10. Which is smaller: h or k?
h
Let b be (34/(-105))/((-4)/(-6)). Let x = b + 1/5. Let g(r) = -r + 1. Let y be g(2). Which is smaller: y or x?
y
Let h = 28 + -53. Is -25 greater than or equal to h?
True
Let o = 18 - 38. Let p = o + 24. Is p at most as big as 2?
False
Let h = -2 - -5. Suppose -2*i = h*i. Suppose 2*f - 2 = u, 5*f + i = -5. Is u at most as big as -4?
True
Let z = -1/355 - 1054/3905. Which is smaller: z or 1?
z
Let w be ((-1)/18)/(62/(-279)). Which is smaller: w or 1?
w
Let a = 6 + -3. Let h = a - 4. Is h != -4/5?
True
Let w(x) = -x**2 + 13*x. Let h be w(13). Which is smaller: -3/8 or h?
-3/8
Let i = -26 - -13. Is i equal to -12?
False
Suppose 0 = -0*m - 4*m. Let n = 108 + -2701/25. Is m less than n?
False
Let c be (-8)/(-3) + 28/21. Let m = -8 + 13. Let t = c - m. Which is smaller: -2 or t?
-2
Suppose 0*g - m - 1 = 2*g, -2*g + 4*m = -24. Let p = g - -10. Let j be (p/10)/((-105)/(-50)). Which is greater: j or 2?
2
Suppose 4*y = 5*l - 25, -29 = 4*y + y - 4*l. Which is greater: -15/4 or y?
-15/4
Let c be (-4)/(-2)*3/15. Which is smaller: 5 or c?
c
Let v be (2 + -5)/(6/(-10)). Suppose 14 = -4*j + v*m - 0*m, 0 = 2*j - m + 4. Does j = 2/25?
False
Suppose 7*h - 8*h - 1 = 0. Is 1 != h?
True
Suppose 3*w - p + 105 = 0, -2*p = 2*w + p + 70. Which is bigger: -34 or w?
-34
Suppose 0*n = -2*n - 80. Let d be 2/(-5)*(-25)/n. Is 4 at most as big as d?
False
Suppose 4*w - 16 = 2*k, 5*w + k + 0*k = 20. Is w greater than 7?
False
Let m be 50/(-315) + (-4)/14. Is 0 less than m?
False
Let w be (-235)/(-45) + 2/(-9). Suppose 3*u - 15 = 4*n + 17, 2*n + 30 = w*u. Is n greater than or equal to -6?
True
Let n be 1/((5/(-565))/(-1)). Is n < 2/5?
False
Suppose -4*z + 0*z = 0. Let i(t) = t**3 - 10*t**2 + 11*t - 8. Let m be i(9). Let x be 18/(-120) + 4/m. Which is smaller: x or z?
z
Let a be 466/155 - (-2)/(-6). Let v = a - 1/155. Which is greater: 3 or v?
3
Let r = -0.1 + 4.1. Is 0 greater than r?
False
Suppose 61*y - 3 = 64*y. Is y greater than or equal to -8?
True
Let y(z) = z - 5. Let s be y(0). Let q be (-9)/15*s/(-14). Which is smaller: 0 or q?
q
Let r be (-688)/3 - (-7)/21. Let u = -911/4 - r. Which is smaller: u or 0?
0
Let g = 0.3 + 2.2. Let o = 4 - g. Let r = 0.5 - o. Is 0.4 less than r?
False
Suppose -2*u + 15 = 3*k, -k + 13 = 2*u + 4. Suppose 0 = -3*f + v, -f - 11 = -0*f - 4*v. Which is greater: u or f?
u
Let q be 4/3*9/270. Is 0 < q?
True
Let q be 1/(-2)*18/(-1). Suppose -5*w - 3*f + 24 = 0, -4*w = -f - 0*f - q. Let s be (6/4)/w + 0. Which is greater: s or -4?
s
Let n be (-108)/(-132) + 2/(-2). Suppose -2*l - 15 = -5*l. Suppose -2*b - 3 = -l. Which is smaller: b or n?
n
Let z be 80/(-32)*16/(-5). Which is smaller: 9 or z?
z
Suppose -q = -4*m - 13, 5*m + 8 + 22 = 4*q. Which is greater: m or -0.1?
-0.1
Let u = -180 - -1974/11. Are u and 0 non-equal?
True
Suppose h + 9*h = 30. Which is greater: h or 7?
7
Let q be 48*((-12)/(-9))/2. Let d be (q/40)/((-1)/5). Let w be (-15)/d*12/(-18). Do w and -4 have different values?
True
Suppose -t + 6 = 3*q, -6 = -3*q + 3. Which is smaller: t or 0?
t
Let u be (-36)/(-10) - 4/(-10). Suppose -2*v = -l - 3 + 6, -5*l = u*v + 27. Let z(i) = i**3 - 17*i**2 - 16*i - 37. Let c be z(18). Is c greater than v?
True
Let b(h) = 3*h - 94. Let w be b(31). Is 1/19 smaller than w?
False
Let s be 1/((-2)/6 + 0). Let h be (s/3)/((-1)/1). Let p be 8/6*(-6)/(-8). Does p = h?
True
Let w = 6.0222 - 0.1122. Let j = w + 0.09. Let z = 4.1 + -4. Which is smaller: z or j?
z
Let n be (10/(-8))/(4/16). Let v be 2/n + 13/5. Which is bigger: 3 or v?
3
Suppose 0 = 3*g + g - 80. Suppose 5*o = -v + g, 5*v + 2*o - 42 = -11. Suppose -6 - 7 = -v*s + 2*n, -2*s + n + 6 = 0. Which is bigger: 2 or s?
2
Suppose -3 = 2*y + 6*i - i, -4*y + 2 = 2*i. Let w be -1 - (-5)/(110/18). Which is smaller: y or w?
w
Suppose -4*t - 24 = -2*y, 4*y - 42 = -t + 42. Suppose -y = -2*i + 2*v, -i - 5 = -v + 3*v. Is 6 less than i?
False
Let w = -14/23 - -396/575. Let m = 17/25 - w. Which is smaller: 1 or m?
m
Let w(c) = c**2 - 7*c - 11. Let l be w(8). Let j be (34/l)/(8/(-9)). Let y = -13 + j. Which is bigger: -1 or y?
y
Suppose 4*j - 3*r = 40, -4*j + 3 = -3*j + r. Suppose 0 = -4*v + 20, -5*p + 3*p + 15 = 3*v. Suppose p*h = h - 6. Which is bigger: j or h?
j
Let w = -53/45 + 7/9. Which is bigger: w or 1?
1
Suppose -y + 5*l = -16, 2*y - 3*l - 5 = 6*y. Suppose -4*j - p + 3 = -8, y = -j + p. Let w be (-1)/j - (1 - 1). Is w smaller than -2?
False
Suppose 0*o = -3*m - 4*o - 29, -5*m + 4*o 