Is a greater than y?
False
Let h be (-2 + 1 + 2)*-1. Let l be (-24)/36*6/(-74). Is h less than or equal to l?
True
Let g(q) = -3*q - 1 + q - 1. Let m be g(-2). Suppose 3 = -m*x + 1. Is 2/87 at most x?
False
Let c be 4/6 + 62/(-48). Suppose 0 = 11*h + 6 - 3 - 3. Do c and h have the same value?
False
Let g = 270/679 + 3/97. Do 1 and g have different values?
True
Let l = 888 + -909. Which is smaller: l or -31?
-31
Suppose 2 - 17 = -3*t. Let o(q) = -q**2 + 6*q - 5. Let k be o(t). Suppose 7*y - 3*y = k. Is y at most -1/15?
False
Let g = -0.01 - 12.99. Let k = -13.1 - g. Which is greater: k or 1/7?
1/7
Let o be 4/(-18) - (-128)/(-396). Let u = -35/44 - o. Let j be 2*2 + 27/(-6). Which is greater: u or j?
u
Let c be (-4)/22 - (-4)/143. Suppose -7*j + 0 = 7. Which is smaller: c or j?
j
Let v = 1083/2 + -291351/538. Are v and 0 unequal?
True
Let w be ((-2)/(-4))/((-5300)/16976). Let i = w - -2/1325. Suppose 3*b + 0*b = -6. Are i and b unequal?
True
Let l be (3 + (-9)/2)*-2. Suppose -33 = -l*j - 4*g - 10, -3*g + 11 = j. Suppose 2*p - 4 = 4*f - 2*f, j*p + 5*f = 0. Which is bigger: p or 1/6?
p
Suppose -1 + 13 = 3*r. Suppose 123 = -r*z + a - 6*a, 3*z = -5*a - 96. Are z and -27 equal?
True
Let u = -39 - -98. Let g = -85 + u. Is g smaller than 0.1?
True
Let g be (8/12)/((-4)/18) - -12. Is g < 4?
False
Let b(d) = -67*d + 347. Let g be b(8). Let i = -35719 + 179544/5. Let k = i + g. Which is smaller: k or 1?
k
Let k = -14/215 - -22/13545. Is 1 < k?
False
Let b(o) = -44*o**3 + o**2 + o - 1. Let j be b(1). Let r = j + 18. Is r bigger than -25?
False
Suppose -4*z + a + 91 = 0, -3*z + z - 2*a = -48. Suppose -4 - z = -3*w. Let u = w + -6. Is u at most as big as 5/2?
False
Let l = -2485 - -2461. Let m be (-2)/((1 - -6)*-1). Are l and m equal?
False
Suppose -4*c + 3*c + 12 = 0. Suppose -4*l + c = -4*t, l - 2*t + 1 = 5. Let j be (-7)/l - (-1 - -1). Is j equal to -4?
False
Let d = -651 - -723. Is 70 at most d?
True
Suppose 0*k + 24 = 2*k. Suppose -2*y + k = -4*y. Let n = -6 - y. Which is smaller: n or 1/24?
n
Suppose 4*m - 1350 = -2*s, 3*m - 1695 = -2*m - 5*s. Let q = m - 1421/4. Which is greater: -18 or q?
-18
Suppose 302*r - 1 = 303*r. Is r less than 16?
True
Let r be ((-12)/(-3042))/((5 - 4)/(-1)). Do 0 and r have the same value?
False
Suppose 5*a - 4*s + 10 = 141, 4*a - 2*s = 100. Is a less than 23?
False
Let r be 7/10*-2 - -1. Let o = -1062 + 1061.1. Are r and o nonequal?
True
Let c = 1727 + -1411. Is c <= -1?
False
Let l be (-1 + 19)/(648/729). Is l not equal to 21?
True
Let n = 1.7 + -1.8. Let h = 7837/32 - 245. Is h not equal to n?
True
Let g be -1 - 3/(18/(-66)). Let y(a) = -6*a + 47. Let x be y(g). Which is bigger: -10 or x?
-10
Suppose 5*s - 40 = 5*j, s + 5*j - 7*j - 10 = 0. Let i(w) = 10 + 0 + 2*w - w. Let l be i(s). Is 17 equal to l?
False
Let u be 4/(-23) - 0/2. Suppose 485 = 6*c + 491. Is u > c?
True
Let n = -14.5 + 81.5. Is n at least as big as -1/2?
True
Let n = 22 + -26. Let h be (-12)/9*(-6)/n. Suppose 1 + 1 = -j. Is j bigger than h?
False
Let k(g) = -13*g + 27. Let z be k(2). Which is smaller: -2/857 or z?
-2/857
Let q = 3.96 + 0.04. Which is smaller: -14 or q?
-14
Let p(c) = -c**2 - 8*c + 8. Let k be p(-8). Let m(b) = 6*b**2 - 6*b - 2. Let w be m(2). Is k at least w?
False
Let s = 37 + -36. Which is bigger: 168 or s?
168
Let d(p) = p**2 + 6*p + 4. Let g(c) = c - 1. Let v be g(-2). Let x be d(v). Let q = -144 + 138. Which is bigger: x or q?
x
Suppose 5*b - 75 = -0*b. Suppose -15 = -t + 2*a, 4*t - a - b = -2*a. Suppose 0 = -0*g + t*g. Do g and 3 have the same value?
False
Let y = 4215 + -46363/11. Let c be 10/(-2) + 3 + -2. Is c >= y?
False
Let l be (-2)/8*-2*0. Let q(n) be the second derivative of -n**3/6 - 3*n**2/2 - 2*n. Let h be q(l). Which is smaller: h or -5?
-5
Let z = 4004/1447 - 6014105/191004. Let t = z - -317/11. Let j = t - 2/11. Is -1 not equal to j?
True
Let m(g) = -2*g - 11. Let s be m(-5). Let n(q) = 7*q**2. Let z be n(s). Which is smaller: 3 or z?
3
Let c = 1556 - 20207/13. Does c = 2?
False
Suppose -5*w - 5*z = -4*w - 25, 0 = 2*w + 4*z - 20. Suppose -y - 21 - 1 = w. Let c be y/(-18) - (-20)/(-90). Which is bigger: c or 2/35?
c
Let w be 6/27 + 6 + (-56)/9. Let n = -5/12 - -137/300. Which is greater: n or w?
n
Let d be 14/12*(-8 - 54/(-7)). Which is smaller: -2.27 or d?
-2.27
Let d = 21 - 33. Let r = -12.04 - d. Is 0 < r?
False
Let z be (5 + 1)*12/(-18). Let x be (-87)/(-6) + (-2)/z. Let u be (x/(-3) + 3)/7. Which is bigger: u or -1/2?
u
Let c be 3*4/(-12)*0. Let w = -2461/8 + 308. Which is smaller: w or c?
c
Let x be 11 - (9 + -134 - -3). Which is greater: x or 139?
139
Let w be ((-12)/30)/((-1)/15)*-1. Let q be (3 - 3) + 3/w. Which is smaller: -10/27 or q?
q
Let r = 3698/11 - 337. Let h = r - -51/22. Is h >= -13?
True
Let j(f) = -2*f + 11 - 38*f**2 + 2*f + 29*f**2 - f**3 + 11*f. Let p be j(-10). Which is smaller: 3/11 or p?
3/11
Let u = -48204/57475 - 3/2299. Is u greater than -2/5?
False
Suppose -38 + 14 = -4*g. Suppose 5*u = 2*u + g. Suppose -3*y = -4*v + 7, 4*v + 0*y + 18 = -u*y. Which is greater: -3 or v?
v
Let y be (-2)/42*(-10 - -8). Let p(n) = -n**3 + 8*n**2 - 6*n - 4. Let x be p(7). Suppose -k = -0*k + x*r - 9, 4*k = -2*r + 6. Which is bigger: y or k?
y
Let z = -14 + 128/9. Let g = 0 - 0. Let d = 2 + g. Is d at least z?
True
Let l(p) = 7*p + 16 - p**2 - 29 + 9. Let o be l(7). Let w be 42/(-8) + (-4)/(-16). Which is smaller: o or w?
w
Let o(k) = k + 12. Let y be o(8). Let j be y/25*(-15)/(-34). Which is smaller: 0 or j?
0
Let c(v) = v**2 + 3*v. Let k be c(-4). Suppose -2 - 2 = k*g. Let u be (g/(-4))/((-15)/(-20)). Is u smaller than -1?
False
Let x = -106 - -149. Is x smaller than 45?
True
Let g = -2.404 - 24.616. Let m = g + 27. Is m <= -1?
False
Let t = -2007 - -6058/3. Are 13 and t equal?
False
Suppose 3*c = -5*d - 4 - 1, 4*d = -5*c - 4. Let q = 64/273 + -2/7. Is c bigger than q?
True
Let z be (-4)/6*(-54)/12. Suppose -2*w = w, 0 = 5*p - z*w. Let b be p - (-5)/(100/(-16)). Which is smaller: 0.1 or b?
b
Suppose -12 = -4*z, a - 5*z = -0*z - 14. Suppose y + 8 = 3*y. Suppose 0 = -g + y*g - 9. Which is bigger: a or g?
g
Suppose a + 1 = -3*s + 2*a, -a - 5 = 3*s. Let n = 120329/41 - 2935. Which is smaller: n or s?
s
Let z(b) = -b**3 - 6*b**2 - 6*b. Let c be z(-5). Suppose 0 = 3*v - w + 19, 2*v = -0*w - c*w - 24. Let h = v - -15. Which is smaller: h or 9?
h
Let j = 14 + -8. Let x(b) be the second derivative of b**4/12 - 2*b**3/3 + b**2/2 - 6*b. Let f be x(5). Does j = f?
True
Let z(t) = -t**2 + 38*t - 136. Let y be z(4). Which is greater: y or 1/432?
1/432
Let r(h) = 3*h + 3. Let y be r(4). Let d = y + -11. Which is smaller: d or 2?
2
Let o = 885 - 667. Is 218 less than o?
False
Let f be (28/168)/((-19)/6). Is f bigger than 0?
False
Suppose -g = 4*g + 5. Let z = 2204123/21 + -104927. Let q = -94/3 + z. Do g and q have the same value?
False
Suppose 2*w - 682 = -2*o, -2*o + 5*w - w + 670 = 0. Are o and 338 equal?
False
Let r be (24 - 2)/((-5 + 25)/(-4)). Is r greater than 1/6?
False
Let m be (0 + 1)*8/10*5. Suppose 2*f + m*f = 0. Let q = -307/6 + 51. Which is greater: q or f?
f
Suppose -w + 4 = 5*j - 6, 3*j - 6 = 0. Is w at least 22.2?
False
Let c = 27 - 27.22. Let n = 0.32 + c. Which is smaller: 0.06 or n?
0.06
Let n be 1/(-2)*(-4 + -2 - 24). Which is greater: n or 21?
21
Let j = -13.81 - -13.81. Which is smaller: j or -90.1?
-90.1
Let w be (202 - 1) + (-4)/4. Suppose -4*v + 40 = 2*c + 250, -2*v - w = 2*c. Let y be c/4 + (-2)/8. Is -24 < y?
False
Suppose -331*j = -316*j - 45. Let s be 0 + (21 + 0 - 2). Are j and s non-equal?
True
Let g(x) = x**3 + 2*x - 2. Let c be g(1). Suppose 2*w - 40 = -2*w. Let l = -29/3 + w. Which is smaller: l or c?
l
Let y = 90 - 986/11. Which is smaller: 1 or y?
y
Let i = -73 - -75. Let s be -1 + -3 + (-6)/i. Do -7 and s have different values?
False
Suppose -134*m = -168*m - 4590. Is m >= -6?
False
Let q be 113/12 + (-1)/(-4). Let l(d) = d**3 + 9*d**2 + 5*d - 18. Let h be l(-8). Suppose -h*t + 61 = -5. Is t greater than q?
True
Let d(h) = 40*h + 414. Let r be d(11). Are 853 and r non-equal?
True
Suppose 70 = -2*l - 58. Let g be (-79)/l - (-45)/(-36). Which is smaller: 1 or g?
g
Suppose 0 = -3*j - 8 + 26. Let x(l) = -l + 7. Let i be x(j). Let p = 161 + -1447/9. Which is smaller: i or p?
p
Let c(t) = -t*