= -a, a + 2 = q. Let b be (6 - (-315)/(-57)) + 2/(-4). Is b > q?
False
Suppose 5*l = 160 - 155. Which is bigger: -4/13 or l?
l
Let g = -295 + 193. Is -102 greater than g?
False
Suppose 13*t - 11*t - 780 = 4*z, 3*z = -t - 590. Is z greater than or equal to -197?
True
Let c = -1/1403 + 8543/175375. Which is greater: 0 or c?
c
Suppose -5*k = -2*k - 18. Let d(t) = -2*t**3 + 24*t**2 + 4. Let i be d(12). Suppose i = 2*r - 6. Which is greater: k or r?
k
Let x(w) = -9*w**2 + w + 5. Let i be x(-2). Is -32 at most i?
False
Let r(l) = l**3 + 9*l**2 + 41. Let v be r(0). Is v at least 1/9?
True
Let h = -1187 - -9435/8. Let l = h + 8. Let p be (-2)/9 - 11/(-9). Is l != p?
True
Let n be 11/20 - (276/(-40))/(-23). Which is smaller: 0.0079 or n?
0.0079
Let l(k) = -k**3 - k**2 - 1. Let n be l(-1). Let a be (8 - (-14531)/(-1815))*-9. Is a at least as big as n?
True
Suppose -2*g - 232 = -6*g. Let j(y) = -12*y**2 + 29*y + y**3 + 8 + 5 - g*y + 15*y. Let o be j(13). Which is bigger: o or 4/29?
4/29
Let z = -2.95 - -3. Let q = -0.67 + 0.72. Let c = z - q. Which is bigger: c or 0.4?
0.4
Let b(s) = -s**2 + 7*s + 4. Let i be b(7). Suppose 0*q - 2*q = 3*a - 29, 0 = 5*q + 3*a - 50. Which is greater: i or q?
q
Let n be (-2)/(-2)*104/(-12)*-6. Let v = n + -35. Which is smaller: 1/4 or v?
1/4
Let p be 1/((-3)/298) - (-26)/(-39). Is -101 < p?
True
Suppose -3*w - 1 = 5, -x = 5*w + 12. Which is bigger: x or 0.49?
0.49
Let z(x) = x + 10. Let o be z(-6). Suppose m = 2 - o. Let t be -18*(m/3 - 0). Which is bigger: 11 or t?
t
Let c = 5 - 7. Let x = 83 + -82.968. Let b = -1.968 - x. Is c < b?
False
Let f = -658 + 657.96. Is -50 >= f?
False
Suppose 695 = -4*p + 38*z - 43*z, 2*p + 4*z + 340 = 0. Which is smaller: -183 or p?
-183
Let s = 34 + -33.62. Let v = s + 0.62. Is v < 1.3?
True
Suppose -2*r + 3*j - 2399 = 0, -2*r + 4*r + 4*j + 2406 = 0. Let f be 3 - (r/(-945) - -2). Let t = f + -2/135. Are 7 and t unequal?
True
Suppose -4*y + 2*m - 4 = -2*y, -y + 5*m - 6 = 0. Let a(f) = f**2. Let i be a(1). Let d be (i/(-3))/((-24)/(-90)). Is d smaller than y?
True
Let k be 6/(240/(-392)) - -5 - -5. Are k and 543 nonequal?
True
Let q = 466 + -522. Which is smaller: -0.07 or q?
q
Suppose c + 2*c - 5*y = -8, -4*y + 8 = -4*c. Let m be (-4 - -8)/(672/80). Is m greater than or equal to c?
True
Let h be -2 + (-91)/(-30) - 1. Let p = 13/30 - h. Let z = 13.98 - 13.98. Is z greater than or equal to p?
False
Suppose 0 = 5*d - 5, 5*d + 0 = -h + 4. Are h and 8/89 unequal?
True
Let l = 0.22 + -0.25. Let u = 0.07 - l. Let o(f) = 4*f. Let i be o(3). Is i != u?
True
Let t be 6/(-27) - (-6)/27. Suppose g = -3*q + 1326, 2*q = 5*g - 4*g + 879. Let w be q/420 + (-1)/4. Is w equal to t?
False
Let j = -2.01 + 0.01. Let k = j - -2.3. Let g = k + -0.2. Which is greater: -1 or g?
g
Let q = 495 - 242. Are 254 and q nonequal?
True
Let t = -27 - -27. Suppose 114 = -t*l + 3*l. Let k = -54 + l. Is -17 at least as big as k?
False
Let g be (-22)/(-18) + (-6)/27. Suppose -2 = d - g. Let i = 3123/4 + -781. Is i >= d?
True
Let l be 10/4*8/10. Let q(h) = -3*h + h + 354*h**2 - 353*h**2. Let k be q(l). Which is smaller: k or -2?
-2
Suppose h + 3*c + 16 = -2*c, -h = 3*c + 18. Is -65/3 < h?
True
Let b be 300/38 + 2/19. Suppose -b = 5*d + 2. Let n = -3 + 0. Which is bigger: d or n?
d
Suppose 0 = -5*u - s + 58, 14*u - 2*s = 12*u + 16. Suppose -232 = -u*z + 769. Is z >= 91?
True
Let q be (15/(-6) + 2)*-6. Let g be (-12)/(1 - 1/q). Suppose 6*k + 80 = k - 5*v, -2*k = -4*v + 38. Which is bigger: k or g?
k
Let d(x) = x - 12. Let h be d(12). Suppose -z + 2*z - 2 = 0. Let c be ((-9)/12)/((-9)/z). Is c smaller than h?
False
Let u be 2 + -4 - -1 - -10. Let g(n) = -3*n**2 - 28*n + 23. Let w be g(-10). Suppose -5*c = 4*h - 53, -2*c + w*c - 3 = 3*h. Is u bigger than c?
False
Let z = -534 + 363. Which is bigger: z or -169?
-169
Let c(w) = -4*w**2 - w - 9. Let r(t) = 2*t**2 + 5. Let i(n) = -3*c(n) - 5*r(n). Suppose 4*x = -5 - 3. Let h be i(x). Which is bigger: h or 6?
6
Suppose 2 - 3 = j. Suppose 4*x + 3 = 3*s, -4 = -4*x - 5*s - 31. Let f = -4 - x. Is j greater than or equal to f?
True
Let g = -34267/75 - -1369/3. Does g = -1?
False
Let q be ((-6)/27*3)/(4/(-42)). Suppose -q = -9*p + 16*p. Is p greater than 0.6?
False
Suppose 5*o + 255 = 5*t, -2*o + 5*o + 203 = 4*t. Suppose 5*s + 75 + t = 0. Is s greater than or equal to -25?
True
Let b be 2 - (-1)/(2/(-4)). Let p be 1/2*b/(-2). Let h = -16739/6 + 2790. Is p greater than h?
False
Let p(r) = -2*r**3 + 3*r + 3. Let t be p(3). Let o = t + 72. Which is bigger: 32 or o?
32
Let o = -1.61 + 0.61. Let d = -4/109 + 302/2289. Which is greater: d or o?
d
Let l = 65 + 20. Let q = -88 + l. Is q >= 17?
False
Suppose 0 = 3*d + 10 - 16. Let k be (-4)/d*2 + 5. Is 3/17 less than k?
True
Let v be (-3)/(3 + 0) - -1. Suppose v*u = -5*u + 20. Is 2 < u?
True
Let t = 34.2 + -31. Suppose -4*q + 3*v = -v + 12, 0 = -v + 4. Which is bigger: t or q?
t
Let a = -721 + 5023/7. Let n = 51/14 + a. Which is greater: n or -1?
n
Let f = -619/755 + 3/151. Let c(g) = -g**3 - 6*g**2 + 8*g + 5. Let m be c(-7). Which is bigger: f or m?
f
Let l = -9 + 10. Suppose -3*t = -o, t - 11 = 2*o - l. Are o and -6 nonequal?
False
Suppose 4*a - 8*a = -16. Suppose 12 = -a*d + 16. Which is bigger: d or 2/243?
d
Suppose -30 = -8*m + 3*m. Let c be 6/4*m/(-9). Is c != 4/11?
True
Let q = 124 + -64. Let n = -63 + q. Let f be 1 - (63/4)/3. Which is smaller: n or f?
f
Let z = 21 - 103/5. Suppose 0*h + h = 6*h. Which is greater: h or z?
z
Let j(v) = -3*v - 21. Let z be j(-8). Suppose 0 = 4*o - 3*o + 4*d - 6, 5*o + 2*d - 30 = 0. Suppose -6 = -o*m + 3*m. Is m < z?
True
Let l = -14/53 - 772/689. Let p = 23/26 + l. Is -0.6 greater than p?
False
Let i = 1202 + -1201.8. Let a(w) = w + 8. Let z be a(-6). Suppose -f + z = f. Which is smaller: i or f?
i
Suppose -5*q = -5*y + 20, -3 = -3*q + y - 15. Let s be (30/8)/((-6)/(-16)). Let u be (-7 - -2)*(-2 + s/4). Is u smaller than q?
False
Let x(d) = 5*d - 88. Let w be x(24). Is 32 at least w?
True
Let w(b) = b**2 - 17*b - 16. Let h be w(18). Suppose h*d = -43 + 39. Suppose -u - q = -1, 5*u + 4*q = 2*q - 4. Is u at least as big as d?
True
Let n = -1.22 + 2.32. Let x = -7 - -5. Is x less than n?
True
Let t = 435/22 - 168/11. Let m be (-3 - -11) + (0 - 3). Is m equal to t?
False
Let y be (-1)/(2*2/(-348)). Let z be 8/(-32) - (-5)/(1580/y). Is 0 greater than z?
False
Let x(w) = 7*w**2 - 2*w + 1. Let k(q) = 15*q**2 - 5*q + 3. Let y(u) = -6*k(u) + 13*x(u). Let c be y(6). Which is bigger: 54 or c?
c
Let x = -3835/3 - -1426. Which is greater: x or 149?
149
Suppose -88 = -6*b + 10*b. Suppose -3*p + 8 = 5*m - 7, 4*m - 2*p - 12 = 0. Suppose 23 = m*d - 4*d. Are d and b unequal?
True
Let s = -11 + -34. Let z = s + 46. Is -3/5 <= z?
True
Let w be -2 + 2355/1 - 1. Let d be 2/(-5) - w/(-6230). Which is smaller: d or 0?
d
Let k = -174 - -707/4. Suppose -5 = -m - 0. Let j(x) = x**2 - 3*x - 7. Let b be j(m). Is k <= b?
True
Let q = -23417/490 - -239/5. Let o = -103/490 + q. Let u = -0.767 + 0.667. Which is bigger: o or u?
u
Suppose 0 = -2*s - 3*j - 35, j - 15 - 8 = 2*s. Let n(f) = f**3 - 9*f**2 + f + 6. Let y be n(9). Let a = y + s. Are 2/3 and a nonequal?
True
Let a = -0.125 - -105.125. Let o = 118 - a. Is o not equal to 0.1?
True
Suppose -58 = 2*v + 4*s, 0 = 2*v - 71*s + 67*s + 98. Let h(p) = p**2 + 13*p - 3. Let t be h(-9). Is v greater than or equal to t?
True
Suppose 0*d = 6*d + 12. Let y be (-3)/d*16/12. Let p = -2776 + 30560/11. Is y < p?
True
Let c be ((-588)/(-126))/(2/(-339)). Are c and 0 equal?
False
Let k be (-1)/(-7) + 56/(-49). Let p be (k - -1)*3/(-6). Which is smaller: 5/16 or p?
p
Let t(s) = -s**3 + 10*s**2 + 12*s - 11. Let y be t(11). Let x be y + 4 + 6*-1. Which is bigger: x or -9/4?
x
Let h be 5174/14 - (-2 - 0). Let n be (-2968)/(24/6)*(-2)/(-4). Let g = h + n. Which is smaller: 1 or g?
g
Let o = -0.06 - 1.04. Let y = 143 + -146.1. Let k = o - y. Do 6/11 and k have different values?
True
Let f = -559/7 - -64. Which is bigger: -15 or f?
-15
Let m be (-9762)/16*20/(-930). Let k = -53/4 + m. Are -1 and k nonequal?
True
Suppose -4*b - 6 = -2*b, 0 = 5*o - 5*b - 135. Let w be (10/100)/(2/o). Which is smaller: 0 or w?
0
Suppose h - 4 = -2*f, 2*f - 5 + 9 = 3*h. Is f at most as big as 7/11?
False
Let y = -60 + 71. Let m be 2/y 