 0 = -5*n - 15. Let p = 6/629 + -376/629. Is p at least as big as n?
False
Suppose 3*v = -2*v - 1615. Let q be (5 + -3)/(1 + v - 1). Which is smaller: q or -1?
-1
Let j(n) = -11*n + 9 + 0*n + 6*n**2 - 4*n**2 - 3*n. Let x be j(8). Let s be 2/(4 - -4) + x/44. Which is smaller: s or 0?
0
Let s(x) = -x**2 - 391*x + 2381. Let n be s(6). Is 1/1892 < n?
False
Let p be -1 - ((-195)/(-55))/(-3) - 9658/79739. Is p not equal to 1?
True
Let n be (-2)/3*(39/(-6) + 2). Suppose 0 = n*k + 87 - 6. Let a = k + 20. Is a greater than -7?
False
Let h be (-659 + -22)/((-6)/(-4))*28/(-56). Which is smaller: h or 2483/11?
2483/11
Suppose -8*q = -4*q + 4*l + 4, 5*l = -q + 7. Let n = 5467/590 + -93/10. Let m = n + -761/177. Is m greater than q?
False
Let w be (1/((-3)/(-9)))/(36/12). Let o be (-8)/(-12) + w/(24/(-1660)). Let g = 68 + o. Which is smaller: 3/11 or g?
g
Let n = -178 - -337. Suppose -7*q + 10*q - n = 0. Let g = q - 54. Which is smaller: 9 or g?
g
Suppose 0*d - 216 = -2*d. Let k be (135/405)/(-3*4/(-3996)). Do d and k have the same value?
False
Let q(m) = -m**2 + 21*m + 79. Let d be q(25). Let a be ((-6)/4)/(-2 - d/6). Are a and 6/37 equal?
False
Suppose -12*v + 8 = -8*v. Let c(u) = -u**3 + u - 2. Let p be c(v). Let w be ((-8 - -9)/(-2))/((-2)/(-32)). Is p >= w?
True
Suppose 0*n + n + 1975 = 5*c, -n - c - 1951 = 0. Let w be 12/48*(-60)/n. Are -1 and w non-equal?
True
Let d = 123 - 78. Let h be (-561)/(-4) - d/(-60). Let q be (0 + (2 - h/75))*5. Is q at most -0.1?
False
Let s = -2753 + 4121. Let j be 2/(-9) + (-2288)/s. Let u = -1010/513 - j. Does 1 = u?
False
Let c be (-620)/(-6)*-17*33/(-7106). Which is smaller: c or 7?
7
Let b = 4692 - 1949. Which is bigger: 0 or b?
b
Let b = -136 - -158. Suppose 29*f = 30*f - b. Which is smaller: 23 or f?
f
Let m(x) = x**2 + 14*x - 17. Let r be m(-11). Let v = r - -7. Let l be (-2)/1 - 6 - 35. Is v <= l?
True
Suppose 94727 = 12*u - 27685. Which is bigger: u or 10200?
u
Suppose -28*r + 112*r - 49*r - 18235 = 0. Which is bigger: 530 or r?
530
Let z = -1509615/11752 + 1670/13. Do 1 and z have different values?
True
Let o(v) = 3*v**2 - 16*v + 47. Suppose -26*b + 58 = -72. Let h be o(b). Which is smaller: 1/5 or h?
1/5
Let o = 1.284 - -5.416. Let i = 0.16 - 3.16. Let r = i + 3. Is o greater than r?
True
Suppose -13*x + 110 = -4*q - 12*x, -2*q = -x + 56. Suppose -2*y + 41 + 23 = -2*l, 4*l - 5*y + 128 = 0. Which is smaller: q or l?
l
Let j be -4 - ((-18)/(-30) + 3981/(-860)). Do 1 and j have the same value?
False
Let d = 122 + -122. Suppose d = 12*v - 5*v + 7. Is v greater than 3/68?
False
Suppose -5*b = 2*k + 10, 447*b + 4 = -k + 445*b. Which is smaller: 49.34 or k?
k
Let t be 22/(-77) + (-94)/14. Suppose 121*j + 405 - 244 + 1049 = 0. Does t = j?
False
Let l(y) = y**3 - 9*y**2 + 30*y - 177. Let m be l(8). Which is smaller: m or -10/67?
m
Let p = -0.71 - -0.61. Let r be 62544/(-490) + 7/(28/(-16)). Let i = -658/5 - r. Which is bigger: i or p?
i
Let m = 1954.2 + -1954. Which is bigger: -0.097 or m?
m
Let w = -61291 - -265330. Let n be ((-647439)/w + 3)*-21. Let f = n - -2/2061. Is f greater than 5?
False
Suppose n - 14 = 34. Let q = -43 + n. Suppose -27 = -q*a - 4*g, -3*a + 4*g - g = 0. Which is greater: a or 15/7?
a
Suppose -4*z + 412 = -4*v, -2*z + 4*v - 108 = -3*z. Suppose 4*k = -20, -7*g + 4*k + z = -3*g. Suppose -3*u - 24 = -g. Which is smaller: 6/29 or u?
u
Let q(o) = 11*o**2 + 4*o + 4. Let a be q(-1). Let g(k) = k**2 + 27. Let s be g(0). Suppose 4*t - t - 2*r - 33 = 0, -3*t = -4*r - s. Which is smaller: a or t?
a
Let p(h) = -2*h**3 + 681*h**2 - 2362*h + 1024. Let f be p(337). Let a = 25 - 1. Suppose -3*v = v - a. Are v and f non-equal?
True
Let t = 43.47 - 27.47. Which is smaller: -7 or t?
-7
Suppose -34*h + 31*h - 5*v = 141, 5*v = 4*h + 118. Which is greater: 28 or h?
28
Let u(n) = n**2 - 4*n + 5. Let w be u(2). Suppose -12 + 149 = 2*y + 5*h, y - 2*h - 46 = 0. Let v be (-2*(-1)/8)/((-273)/y). Which is smaller: v or w?
v
Let c = 1 + 2. Suppose 0 = -c*a - 2*l + 158 + 215, -5*a + 625 = 4*l. Which is bigger: 122 or a?
122
Suppose -2*f - 3535 + 13891 = 5*l, 20694 = 4*f + l. Is 5171 less than f?
True
Let k = -1804/17 - -106. Let h = -0.0653 + 92.2653. Let t = h + -92. Is k at least as big as t?
False
Let f = 2182/9 + -19568/81. Are 2 and f non-equal?
True
Suppose 3*f + 735*r - 734*r = -27, 0 = -3*f - 3*r - 27. Suppose -4*q + 19 = -z, -z + 2*q = 17 - 6. Which is smaller: z or f?
f
Suppose 87*p + 710 = 97*p. Suppose 0 = -m, -p*a = -67*a + 4*m - 4. Let j be 9/5 + 2/(-5). Do j and a have different values?
True
Let f = -31 + 30. Let u = 92039/19 - 4843. Let d = u + -233/152. Do f and d have different values?
True
Let s(d) = -14*d**2 + 16*d + 20. Let g be s(6). Which is smaller: -2722/7 or g?
-2722/7
Let b be (7 - (-38985)/5569) + -14. Which is smaller: -1 or b?
-1
Let u be (-18)/(-54) + ((-1)/3)/1. Suppose u = -o + 2*t - 6, -o = 2*t - 0*t + 6. Let g be (32/o)/2*(-81)/(-54). Does -5 = g?
False
Let d be -2 + (-2)/((-8)/12). Suppose -q = -0*q + d. Let c be 2 + (q - 39/(-33)). Is c < 1/3?
False
Let b = -4933.05 - -4933. Let z be -7 + (-2 + 2 - -2). Is z >= b?
False
Suppose 68*h = 56*h + 6264. Which is smaller: h or 5?
5
Suppose -5*n + 19 = -2*x + 3*x, 199 = 5*x - n. Suppose 0*l = 2*c - 3*l + 31, x = -2*c - 5*l. Suppose 42*k - 48*k - 96 = 0. Are k and c unequal?
True
Suppose 11*b + 56 = 133. Suppose -b*j = -4*j + 4*w + 260, w - 4 = 0. Is j != -93?
True
Suppose -2*z - z = 5*p - 5, -2*z + 4 = 4*p. Let b be (-3 + z)/(57/(-323)). Let a = 91 - 73. Is a < b?
False
Let k = 94.17 - 94. Let j = k - 1.17. Which is smaller: 0.06 or j?
j
Let z be ((-400)/3300)/(8/20 + 38/(-45)). Which is greater: z or 1.7?
1.7
Let s = -1052389901/225 - -4677281. Let a = -142/75 - s. Let q = a - 332/63. Which is greater: q or 1?
1
Let a(d) = -d**3 - 9*d**2 + 2*d + 18. Let l = -35 - -70. Suppose c = 4*m - 17, 5*c + 5*m = -0*m - l. Let b be a(c). Is 3/10 smaller than b?
False
Suppose -7*a + 16 = -8*a - 5*n, -n = -3*a. Which is greater: -5/394 or a?
-5/394
Let a be (36/54)/(4/(-90)) - 4. Suppose -3*p - 4*d + 29 = -0*d, 2*d = 10. Suppose 5*z - p*r = -90, -4*r = 2*z + 3 + 33. Is z >= a?
True
Suppose -95 = n - 31. Let d = 68 + n. Suppose u - 4*v - 2 = -u, v + d = u. Is 8 at least u?
True
Let y(z) = z**3 - z**2 + 5*z - 8. Let q be y(2). Let d be ((-408)/66 + q)/11. Is d != -1?
True
Let k = -1613 - -17933/11. Let y = k + -592/33. Which is smaller: 470 or y?
y
Let m(j) = -j**2 + 59*j + 1802. Let i be m(-23). Let b be 165/(-2) + 2/(-4). Let v = i - b. Which is greater: v or 5/11?
5/11
Let g be 11*16/(-56)*-7. Suppose x = -24 + g. Is x smaller than -3/86?
True
Let n = 39088/3441 - 30/1147. Are n and -130 nonequal?
True
Let u be 3/(-58)*(-202)/(-4)*(-816)/(-918). Do -3 and u have different values?
True
Let h be (-3*(-4)/8)/((-3)/4). Let c be 103 + (h - (-6 + 7)). Which is greater: c or 401/4?
401/4
Let j = 18399.3 + -18400. Are j and -8/213 equal?
False
Suppose 3*l - 14 = z, 5*z + 3 = l - 25. Suppose l*x - 120 = -9*x. Let k be (x/50)/((-1)/5). Is 6/11 smaller than k?
False
Suppose 0*q - 20 = 4*q + 4*h, 4*q - 4*h = -36. Let s be (-22)/4 + q/(-14). Let u(l) = l**3 + 5*l**2 - 2. Let a be u(s). Is a < -17/6?
False
Let l = 0.06 + 2.94. Let v = 4 - l. Let a = -894 + 901. Which is smaller: a or v?
v
Let l = 346.8 - 1650.8. Do l and 1/5 have different values?
True
Let x(o) = 3*o**2 + 30*o - 5. Let l be x(-10). Let b be 3 + (-7 + 22)/l. Which is bigger: b or -9/22?
b
Let d(f) = 3*f**3 - 2*f**2 - 4*f - 2. Let v be d(-2). Let a be ((-1564)/(-90))/((-4)/(-6)). Let w = a + v. Is w <= 0?
False
Let b be (-5)/(-20) - 209/(-44). Suppose b*s + 2*r + 29 = 0, -2*s - 2*r = s + 15. Which is bigger: -5 or s?
-5
Suppose -77*y + 84*y - 91 = 0. Let m(k) = -k**2 + 17*k - 50. Let z be m(y). Let g = -3.03 + 0.03. Are g and z unequal?
True
Let l be (-45)/(-108)*(-16716)/(-30). Which is smaller: l or 231?
231
Let l be (-120)/(-405)*7353/(-430). Let z(v) = -v**3 - 7*v**2 - 4*v + 6. Let b be z(-6). Is b < l?
True
Let v = -1.3 - 20.7. Let l = 19.8 + v. Let z be (-3)/5 + 2 + -1. Which is greater: z or l?
z
Let u be (4/(-70))/(8/(-10)). Let a be ((-4)/(-3))/(2/3). Suppose -o = -a*o. Is u at most as big as o?
False
Let z(k) = -4790*k + 9580. Let c be z(2). Let p be ((-2)/6)/(82/6). Which is smaller: p or c?
p