 unequal?
False
Suppose 0 = 3*z + 2*r - 15, -4*r - 4 = 4*z - 24. Let s = -1 - -1. Let t = s + 2/7. Is z greater than t?
True
Suppose -4*f - 4*r - 211 = 953, 0 = -2*f + 4*r - 582. Is -291 at most f?
True
Let j = 381.8 - 382. Is 51 >= j?
True
Let n = -18 - -21. Suppose -6*f + n*f = -51. Let l = f + -17. Is 1/5 < l?
False
Let g = 16 + -10. Let p = g + -6.1. Let x = 17/46 + 3/23. Which is greater: x or p?
x
Let j = 53 + -75. Let n = j + 26. Which is bigger: n or -0.6?
n
Suppose -13 = 13*g - 14*g. Suppose 10*d = g*d. Let i be 77/266 + 2/(-4). Which is greater: i or d?
d
Let b be ((-73)/1971)/(1/(-114)). Is b > 3?
True
Let u(s) = -59*s**2 - 4*s - 10. Let t be u(5). Let l be -2 + t/42*(-32)/570. Is l bigger than 1?
False
Suppose 0 = 5*l - 17*m + 22*m + 130, 0 = -4*m. Is l bigger than 9?
False
Let c = -1.02 + -7.98. Suppose -3*j + 6 = -3*z, 0*j - j - 18 = 4*z. Is c at most as big as z?
True
Let p = 0.03 + -6.03. Let h = -2.12 - -0.02. Let a = 2.2 + h. Which is smaller: p or a?
p
Let m(n) = -43*n**2 - 190*n - 5. Let l be m(-4). Is 5 equal to l?
False
Suppose 0*k = k, 65 = 5*p - k. Suppose 5*f - o = f + p, -8 = -f + 5*o. Which is bigger: 7/2 or f?
7/2
Let i = 0 - -1. Suppose 3*p - 72 = 2*p - 3*z, -2*z - 2 = 0. Let j be 125/p - 82/78. Does i = j?
False
Let k = 54 + -203. Which is smaller: k or -151?
-151
Let f = 129 + -126. Suppose f*l - 20 = -2*p + 68, -2*p + 88 = 5*l. Is 87/2 smaller than p?
True
Suppose 0 = -3*q + 9, -k - 5*q + 0*q + 18 = 0. Let g be -42 + 1/(k/9). Let n = 155/4 + g. Which is smaller: n or -0.1?
n
Let y = 248 + -304. Suppose 5*c = -3*l - l - 1, -3*l + 2 = c. Which is greater: l or y?
l
Let w = 185 - 102. Let d = 81 - w. Which is smaller: d or 37?
d
Let h = -3/632 - 4087/4424. Let r = -1495/42 - h. Is r smaller than -36?
False
Let g be (247/57)/((-1)/3). Let b(v) = v**3 + 12*v**2 - 14*v - 13. Let t be b(g). Let r be 13/52 + (-46)/(-40). Is r greater than t?
True
Suppose 4*x = l - 11, 0 = 3*l + 2*x - 0*x - 19. Let z be 9/3*24/9. Let y = -1 + z. Do l and y have different values?
False
Let k(h) = h**2 + 18*h + 26. Let z be k(-15). Let v be (1/z)/(1/18). Do -1 and v have the same value?
False
Let r be (3/6)/((-1)/18). Let p be (-3)/(-6) - r/2. Which is bigger: p or -0.3?
p
Let x be 142*(14/70)/(4/(-10)). Is -71 at most x?
True
Let v = 76 - 77. Let p be (-38)/133 + (-5)/7. Is v equal to p?
True
Let b = -4540 - -18263/4. Let z(u) = 27*u**2 - u. Let f be z(1). Let k = b - f. Which is smaller: 1 or k?
k
Let p(g) = -g**2 - 10*g. Suppose 10 = -5*d - 5*i, 4*d = 5*d - 2*i + 17. Let s be p(d). Suppose 2*c + 3*r = 0, 2*r - 5*r = -5*c - s. Which is bigger: -2 or c?
-2
Suppose 0 = 64*v - 66*v + 10. Suppose -3*n - b + 4 = 0, -4*n + 7*n - v = -2*b. Let g be (-3)/2*n*-6. Which is smaller: 7 or g?
7
Suppose 13*o - 8 = 135. Which is greater: o or 47/4?
47/4
Let a = 0.3 - 0.2. Let h = a + 0. Let s = -149/66 - -23/11. Is s bigger than h?
False
Let f = 12314/9 + -1366. Let c(b) = -b**3 - 10*b**2 + 2*b + 22. Let x be c(-10). Are x and f nonequal?
True
Let m = 30 + -27. Let x(g) = -g**m - 8 + 23 - 14 + 3*g**2 - 2*g. Let k be x(2). Is -2/5 < k?
True
Let q(a) = 3*a + 0*a - 4*a - 4 + 0*a. Let o be q(-7). Let u be o - 2/4*2. Which is greater: 5/4 or u?
u
Let n(v) = -5*v**2 - 7*v - 2. Let x(y) = 9*y**2 + 13*y + 4. Let w(q) = -11*n(q) - 6*x(q). Let a be w(-2). Suppose -3*l + 7*l = 12. Which is greater: a or l?
a
Suppose 5*l - 5*s + 185 = 0, -2*s - 80 = 3*l + 36. Let u = -37 - l. Which is greater: 1/10 or u?
u
Suppose 2*v + 5*t + 10 = 0, -7 - 8 = 3*v - 4*t. Let d = 56 + -59. Which is bigger: d or v?
d
Let x be -6*(1 + 1/(-3)). Let k be 8/(-6)*((-21)/(-2) - 6). Which is smaller: k or x?
k
Let x be (-38)/(-24) + (-36)/27. Is -0.014 > x?
False
Let w(p) = -2*p**3 + 4*p**2 - 5*p - 5. Let a be w(3). Is -187/5 at most a?
False
Let a = 515/768 - 1/256. Is -26 >= a?
False
Suppose -33*n + 15*n = 612. Suppose 0*a - 3*a - 96 = 0. Does n = a?
False
Let t be (1 - 355)*2/(-4). Let j be t/546 + 4/(-14). Let r = -5380 + 5380. Which is smaller: j or r?
r
Let x be 1 - 2*-3 - (2 + 2). Let n be ((-1098)/92)/x + 68/17. Which is greater: -1 or n?
n
Suppose -3*u + 22 = 3*b + 67, 5*u + 3*b + 65 = 0. Is u at least as big as 1?
False
Let l be -2*(-2)/14*4655/9576. Which is smaller: l or -1?
-1
Suppose -4*b + 5 + 67 = 0. Let v be (b/4)/((-2)/4). Let u = -57 - -49. Which is smaller: v or u?
v
Let w(b) = b**3 + 9*b**2 - 11*b + 13. Let c be w(-10). Is 25 smaller than c?
False
Let z = -191 - -193. Is -5/7 less than z?
True
Let f be (-6)/549*(14 + 4). Which is smaller: 0 or f?
f
Let c = -10037/68 + 589/4. Let k(j) = -j**2 + 10*j + 45. Let g be k(13). Suppose -4 = -2*a + g*a. Are c and a nonequal?
True
Suppose -2*r - 2*x = 10, 72*x - 69*x = -r - 13. Does 1/19 = r?
False
Let k = 0.9231 + -0.9231. Let w = 3.4 + -1.7. Which is smaller: k or w?
k
Let d = 598 + -214. Is d less than 383?
False
Let v = -805 - -805. Is 4/203 < v?
False
Let z be 145/45 - (-2)/(-9). Suppose -z*x = 7 + 23. Let q = 26 + x. Which is greater: 17 or q?
17
Let b = -1/64 - 115/832. Suppose 4*o = 7*o. Suppose o = h - 3*n + 1, 3*n = -4*h - 4. Which is greater: h or b?
b
Let p(u) = -u**2 - 9*u + 6. Let b be p(-7). Let x = 41 - b. Let y be (-12)/x + 111/231. Is -1 smaller than y?
True
Suppose 0 = -4*t + 3*r + 32 - 11, 3*t - r - 17 = 0. Let f(h) = -h**2 + h - 1. Let z be f(2). Let o be (-15)/3*3/z. Do o and t have the same value?
False
Suppose -5*v = -v - 16. Let w be (-5 + 9)*1/v. Let u = 3 + -2.5. Which is smaller: u or w?
u
Let n be 84 - (2 + (-2 - -4)). Suppose 4*o - n = -2*c, -2*c = -5*c. Is o > -0.1?
True
Let f(l) = -19 + 3*l + 3*l + 3*l - 6*l. Let h(y) = y**2 - 4*y - 6. Let g be h(6). Let u be f(g). Is u at most -1?
True
Let w be 3 + 1880/(-315) + 3. Suppose -37 = -3*m - 163. Let n be (m/28)/(3/(-2)). Are n and w equal?
False
Let x = -82 + 73. Let l = -9 - x. Let q(u) = -u + 6. Let j be q(6). Is l > j?
False
Let l be ((-1)/6)/((-1)/6). Let z be (18/27)/(4/(-78)). Let x = -11 - z. Which is smaller: l or x?
l
Let r = -23 + 25. Suppose x = -4*x + 5*q + 10, -5*x + 18 = 3*q. Suppose -3*b + x - 14 = -4*h, 0 = 2*b + 2*h - 16. Are r and b unequal?
True
Let c be (-2)/(-5) - 62/80. Let i = -53 + 50. Let x = i + 3.1. Which is smaller: c or x?
c
Suppose 48 = -2*k - 2*k. Which is smaller: -14 or k?
-14
Suppose 0 = 260*s - 259*s + 1. Is 6.7 not equal to s?
True
Let l = -5 - -11. Let k = l + -3. Suppose k - 1 = 2*g. Which is greater: 2 or g?
2
Let v = 424/273 + -31/21. Let i = 4 - 3. Which is smaller: v or i?
v
Let o be (-12)/10 - 3*15/(-225). Is o greater than -2/1267?
False
Let r(l) = l**2 - 13*l - 12. Suppose 0 = -2*s + 24 + 8. Let q be r(s). Let x = -107/3 + q. Is x < 0.11?
False
Let b be 14/10 - 3/(-30)*-4. Let v be 26*b/(-3)*3. Which is greater: -24 or v?
-24
Let i be 1434/(-4306) - 13/(-39). Let l = i + -19573/632982. Which is bigger: -1 or l?
l
Suppose 3*d + 3*k = 2*k + 12, -15 = -5*k. Suppose l + d = 5. Which is smaller: 0 or l?
0
Suppose 0 = -6*a + 2*a - 40. Let i be 48/(-15)*a/4. Suppose -5*n = -10, l + l - 4*n - i = 0. Is l at most as big as 9?
True
Let r = 5 - 1. Let y be 1*r - (10 + -10). Suppose y*s - s = -48. Which is smaller: s or -17?
-17
Let s = 21 + -20. Does 0.022 = s?
False
Let u be 11/2 + 10/20. Suppose -u*b = 6 - 18. Suppose b*x - 55 = 5*g, 0 = 4*x + 3*g - 5*g - 86. Which is bigger: 21 or x?
21
Suppose -3*x + 72 = -4*w + 7, -4*w = -4*x + 80. Let c = -16 + x. Let a = 39013/45 + -867. Which is smaller: a or c?
c
Let g be -2 + (3*3/9 - 10). Let y(a) = -a**2 - 8*a + 27. Let c be y(g). Is -1 greater than or equal to c?
True
Let y be (-2 - (9 - 3))/1 - 2. Suppose 4*q = -4*u - 52, 0*q = q - u + 3. Which is greater: q or y?
q
Suppose 4*x - 168 - 12 = 0. Let a be x/(-4) - (-3)/(-4). Let h = -13 - a. Which is greater: -2 or h?
h
Let d be ((-11)/(-3))/((-81815)/(-82155) + -1). Let x = 886 + d. Which is bigger: -1 or x?
x
Let v = 890 - 888. Which is smaller: v or -50/9?
-50/9
Let w = 1.049 + -0.049. Let h be -2 + 20/16 - -1. Is h at most w?
True
Let v = 0.2 - -0.3. Let m = -9 - -11.5. Let q = m - v. Which is smaller: q or -2?
-2
Let b(u) = u**2 + 23*u + 9. Let m be b(-8). Are -1 and m equal?
False
Suppose -34 = 4*b + 46. Suppose -5*s + 3*r = 0, 0 = -2*r + r. Which is smaller: s or b?
b
Let d(o) = -o**3 + 2*o**2 + 2*o - 3. Let u be