?
False
Suppose 4*y - 164 = 2*x, -y + x + 10 = -33. Let g be 3 - (5 + y/(-23)). Is 1 at least g?
True
Suppose o + 4*q + 21 = 0, -2*o + 3*q + 23 = -2*q. Let z = 0.0523 + 1.5477. Which is smaller: z or o?
o
Suppose -12 = 3*r - 0. Let t = 682 - 690. Let z be t + 3/1 - 1/9. Is r >= z?
True
Let w = -359409/26 + 13821. Do w and -2 have the same value?
False
Let t(m) = -m**2 - 21*m + 22. Let f be t(-11). Let v = f + -251. Is v equal to -121?
False
Suppose 4*b = -5*y + 88, -2*b + 3 + 41 = 4*y. Let g = -80062 + 80082. Are b and g non-equal?
True
Let y be (-160)/(-26) - (-8)/(-52). Let s be y/(-21) + (405/35)/9. Is 3/157 >= s?
False
Let b be (-4523)/8 + 16/(1280/30). Let x = b + 4523/8. Which is bigger: -1/21 or x?
x
Let b(q) = q + 3. Let l be b(4). Suppose -3*o + 516 = 9*o. Suppose 38 = 5*i + o. Does l = i?
False
Let f be 138/(-138) - 2/2*-1. Let m be 4/(-5)*(-30)/18. Let z = m - 2. Which is greater: z or f?
f
Suppose 5*u + 31 = 396. Let n(f) = -117*f + 541. Let t be n(4). Is u greater than or equal to t?
True
Let a be (-6)/(-30) + 717/15. Let k be a/(-56)*(6 + -2 - 18). Are 8 and k non-equal?
True
Let f(v) = -2*v**2 - 35*v - 45. Let b be f(-16). Suppose 0 = w - b*r - 153, -626 = 8*w - 12*w + 5*r. Which is smaller: w or 158?
158
Let r be (-5 + 4)/((-3)/12). Suppose 0 = t + r*t + 5. Let z be (-10)/26*(-4)/(-10). Which is greater: z or t?
z
Let z be 1288/20 + (-12)/30. Suppose -z - 299 = 11*y. Let c be (-2)/2 - (31 - 0). Which is bigger: c or y?
c
Let c(t) be the third derivative of t**4/24 + 2*t**3/3 + 8*t**2. Let g be c(5). Let h be (4/(-3))/((-6)/g). Which is smaller: -17 or h?
-17
Suppose 0 = -15*q + 10*q - 45, -3*d + 10*q + 276 = 0. Is 156 at least as big as d?
True
Suppose 124*r + 0*r = -103*r - 17*r. Is -4/12931 at least as big as r?
False
Let k = -14.251 + -0.249. Let o = -13.5 - k. Let u = 46.3 - 44. Which is bigger: u or o?
u
Let x = -50 - 450. Let u be (-3)/2*x/(-150). Which is greater: 1 or u?
1
Let p(z) = -z**2 + z + 8. Let v be p(3). Suppose 110 = v*f + 3*a, -10*f + 9*f - 4*a = -45. Is f not equal to 59?
True
Let n be (-20 - -12) + 123 + 3. Is n smaller than 120?
True
Let a = -104436 - -3237892/31. Is 11 >= a?
False
Let b = -94 - -99.9. Let z be (-2)/(-18)*(10 + -7). Which is greater: z or b?
b
Let p be 15 + (-1794)/117 - (-2 - (-337)/36). Which is greater: p or -7?
-7
Let g be -5 - (-15)/(-10)*2. Let c = -10 - g. Let j = 17302/11 + -1574. Which is smaller: c or j?
c
Suppose -173*s + 184018 + 662471 = 0. Which is bigger: s or 1?
s
Let o(k) be the second derivative of 5*k**3/2 + 3*k**2 + 11*k. Let g be o(8). Let w = g + -623/5. Which is smaller: -1 or w?
-1
Let x(z) = -4*z + 4. Let j(a) = 55 - 55 + a. Let o(m) = 3*j(m) - x(m). Let v be o(1). Do 4 and v have the same value?
False
Let b(j) = 4*j**2 - 3*j - 3. Let g be b(-1). Let v(m) = -m**3 - 5*m**2 + 8*m - 4. Let y be v(-6). Let i be -9*(-1)/(g*(-2)/y). Which is greater: i or 16?
i
Let y be 315/54 + 1/6. Suppose y*k + 6 = 24. Which is greater: 23/2 or k?
23/2
Let u = -54.38 + 54.38. Which is bigger: 0.434 or u?
0.434
Let m(g) = 2*g**2 - 12*g - 7. Let h be m(6). Is -62/9 at least as big as h?
True
Let l(i) = 3*i**2 + 10*i + 6. Let g be l(-3). Suppose g*c - 3 = 2*f, 0 = -f - 0*f - c + 1. Which is greater: f or -9/8?
f
Let z = -8027 - -8025. Is -41/79 greater than or equal to z?
True
Let g be ((0 - -3) + 36/(-14))*(-142714)/(-39). Is 1568 equal to g?
False
Let v = -0.8992 + -0.1008. Is v smaller than 947?
True
Let z be (13 - 11)*1/2 - (-2)/12. Is 239 greater than or equal to z?
True
Let o be 0/((-9)/(-3)) - -3. Suppose 4*x = 4*r - 16, o*x = 2*r + 1 - 11. Let t = 3/185 - 191/370. Is t at least as big as x?
True
Let w be -561 + (-6 + 7 - -2). Let r = -341 - w. Are r and 218 equal?
False
Suppose 47*n + 17*n = -73*n - 274. Is n > 3400?
False
Suppose 4*a + 4*w = 980, -4*a + 0*w - 3*w = -977. Are 242 and a equal?
True
Let j = 1894039/17 + -111377. Which is greater: 37 or j?
j
Let n(r) = r**3 - 24*r**2 + 31*r + 18. Let i = -865 + 888. Let d be n(i). Which is greater: 201 or d?
d
Let w = -13200 + 17064. Which is greater: 3863 or w?
w
Suppose -136 = -5*i - 11. Let w(p) = -2*p + 41. Let n be w(i). Let g be 0 - (n*4)/3. Which is greater: 13 or g?
13
Let y = -4280 + 4258. Is y less than or equal to -69?
False
Let t = -0.8 - -0.1. Let s = -12.59 + -0.21. Let l = s + 12.8. Is l smaller than t?
False
Let w = -1584 - -1398. Is w at most as big as 5/4?
True
Suppose 0 = 19*f + 134*f + 306. Which is bigger: f or -33/14?
f
Suppose -954 = 2*b - 5*z - 957, 0 = 5*b + 4*z + 9. Which is bigger: 12/967 or b?
12/967
Let y(p) = -124*p**2 - 70*p - 259. Let h be y(-6). Is -4302 smaller than h?
False
Suppose 5*z + 2*m = 0, -16*m = -3*z - 14*m. Let c be 297/44*-12 - (-2 + z). Which is smaller: c or -82?
-82
Suppose k + 22 = 5*d, 9*d - 6*d - 24 = -3*k. Suppose -k*y = p - 8, y - 5 = -3*p + 3. Let l be (-1 - -5)/(p + 44/(-24)). Which is bigger: 23 or l?
l
Let f = 7.953 - -0.047. Let k = f + 50. Let j = 58.1 - k. Which is smaller: -3 or j?
-3
Suppose 8*v + 5 - 21 = 0. Suppose 0 = v*b + 5*b + 707. Is b smaller than -104?
False
Suppose 3*j - 136 = 7*j - 4*r, 4*j + 137 = 5*r. Let g(t) = -450*t - 11730. Let x be g(-26). Which is greater: x or j?
x
Suppose -1796 = 14*f - 1864 - 19966. Is 1430 less than f?
True
Let a = 127 - 163. Let n = -37 - a. Is n bigger than 80?
False
Let n(c) = -c**3 + 5*c**2 - 9*c + 9. Let j be n(6). Suppose 4*h - i = 83, 3*h + 7 = 3*i + 67. Let t be (-1704)/h + 3/21. Is t greater than or equal to j?
True
Let x = -0.5 - -0.7. Let l = 203.5 - 313.4. Let u = 110 + l. Is x at least as big as u?
True
Let x = 74 - 180. Let h = x - -63. Let c = 42 + h. Which is greater: -4/9 or c?
-4/9
Let x(z) = -z**3 + 11*z**2 + 11*z + 16. Let o be x(12). Suppose -2*q + 14 = -2*w, -q - 25 = 5*w - o*q. Let l = -12.6 + 18.6. Which is smaller: l or w?
w
Let c be 3*8/96 - (-305)/(-1860). Let k = -18/31 - c. Is k at most as big as -0.49?
True
Let g = 2556 - 3603. Which is smaller: g or 2/3?
g
Let i = -7409324/803913 - -14/15763. Which is smaller: -10 or i?
-10
Let f(v) = -26*v + 67. Let g be f(-22). Do g and 640 have the same value?
False
Suppose -110 = 24*n - 34*n. Suppose 4*f - 149 - n = 0. Which is smaller: f or 2/7?
2/7
Suppose -z + 6*z + 10133 = -2*d, -d - 4*z = 5074. Is d < -5053?
True
Let s(y) = y**3 - 52*y**2 + 46*y + 34. Let x be s(51). Which is bigger: -225 or x?
x
Suppose -51*k + 6411 = -5625. Let c = k - 237. Which is smaller: c or 2/717?
c
Let o = -13450 + 14516. Which is greater: o or 1069?
1069
Let w = 4 + -4.4. Let c = -882911/134490 + -8/4483. Let n = 43/6 + c. Are n and w equal?
False
Let a = -1776.85 - -1689. Let s = a - -88. Which is bigger: -0.3 or s?
s
Let w = 11975/41998 + 63/506. Which is greater: -1 or w?
w
Suppose -18 = 4*m - 3*x + 2*x, 2*m - 3*x + 4 = 0. Let c = -5880 - -5876. Which is smaller: c or m?
m
Let j(v) = -3*v**3 + 50*v**2 - 74*v - 13. Let x be j(15). Let i be 0 + (-3)/((-39)/14). Which is bigger: i or x?
x
Let v be (-8)/84 + (-13018)/(-156975). Which is smaller: 0 or v?
v
Suppose 0 = -183*m + 184*m - 209. Let p = -39 + m. Is 171 < p?
False
Let v = 94739235/2168848 + -1/197168. Let p = v - 87/2. Let n be (1/(-4))/((-3)/(-4)). Which is bigger: p or n?
p
Suppose -7*t + 8*t = -2. Let o be t + 6 + -37*1. Let i be o/77 - 22/14. Does i = -9?
False
Let x = 11222/7 - 10874/7. Is x != 50?
True
Suppose u - b = -1058 + 1060, -3*u - 3*b = 0. Which is greater: u or 1/2677?
u
Let y be 98/3 - 1/(-3). Let b be 1/((-63)/(-119) + 1/(-2)). Is b not equal to y?
True
Suppose 2*c - 21 = 3*t, c + c = -6. Let j be ((-35)/10)/(-2 + t/(-6)). Let a be ((14/(-4))/j)/((-7)/4). Are 5 and a nonequal?
True
Let v be (0*17/221)/(-6). Is -3/1598 <= v?
True
Suppose 82*a + 175 = 57*a. Let r(s) = -13*s - 44. Let i(q) = -12*q - 45. Let d(j) = 5*i(j) - 6*r(j). Let o be d(a). Which is bigger: -1 or o?
-1
Let d be 1552/18 + 26/(-117). Suppose 0*r - 227 = 2*r + 3*x, -r + 4*x - d = 0. Is r greater than or equal to -105?
False
Let g = -47 - -53. Suppose 0*a = g*a - 6. Let w(l) = l**2 + l + 1. Let x be w(a). Is x >= 4?
False
Suppose 318*p + 4 = 317*p - x, p + 1 = -4*x. Which is smaller: -0.3 or p?
p
Let y(g) = -g + 29. Let x be y(25). Suppose -3 = 3*v - 3*o, 5*o - x - 11 = -5*v. Are 5/4 and v non-equal?
True
Let j = -74/35 - -12/5. Let z = 2