m). Is q < 1/17?
True
Suppose 247 = 23*m + 2886 + 1179. Let q be (2 - 1*169) + 1. Is m >= q?
True
Let h be (6/15)/((-23)/20). Suppose -g = 19 - 14, 4*y - 3*g - 19 = 0. Is h not equal to y?
True
Let l = -198.5 - 65.5. Which is smaller: l or -5?
l
Let a be (-2 - 30/(-25))*-485. Let j be (-1 + 0)/(25/10) + (-3874)/(-10). Which is smaller: a or j?
j
Let a(g) = g**3 - 4*g**2 + 5*g - 4. Let y be a(3). Suppose -5*p - 5*f + 5 = -y*f, 2*p = -f + 1. Let o be p/(-9) + (-136)/288. Is 1.2 <= o?
False
Let r(d) = d**3 - 30*d**2 + 13*d - 39. Let g be r(30). Let a be (-9999)/g - 2/(-13). Suppose 0 = m - 2*j + 29, 0 = -m + 5*j - 26 - 3. Which is smaller: a or m?
m
Let n = 11622 + -11560. Which is smaller: 42 or n?
42
Suppose 2*w - 38 = 3*c, 0 = 4*c - c - 6. Let f = w + -22. Let p be ((-10)/(-12))/(40/32). Which is smaller: p or f?
f
Let h(q) = -1546*q - 112. Let m be h(-1). Are m and 1436 unequal?
True
Let f be 12104/(-36285) - (-278)/834. Is 1 less than f?
False
Let i be (-7*6/(-3))/1. Let f = 94 - 2. Suppose -10*t + 58 = -f. Is i at most as big as t?
True
Let z be (7 - (-6 - -19))*(-4 - -112 - -2). Is z >= -659?
False
Let o = -249363/7 - -35563. Is o smaller than -60?
True
Suppose -3*h - 3*y = 216, -y + 92 = -2*h - 46. Let c = 25 + h. Is c bigger than -54?
True
Let z = -20748 + 20748. Which is bigger: 7.172 or z?
7.172
Let u = 0.1 - 0.15. Let q(l) = l**3 - 27*l**2 + 157*l - 260. Let r be q(4). Which is bigger: u or r?
r
Let x = -5 - 0.9. Which is smaller: 0 or x?
x
Suppose 6 = -2*j + 4*p, -4*j - 2*p - 22 = -30. Is j equal to -2/5131?
False
Let b be 27*4/(12/(-3))*-182373. Let z = b + -339752758/69. Let c = 118 - z. Is 0 at most c?
True
Let c be 45/5 + 2427/((-3)/(-1)). Is 818 at least as big as c?
True
Suppose 8*i = 4*i + 36. Suppose 0 = -2*u - 18*o + 23*o - 8, 0 = -3*u - 2*o + 26. Which is greater: u or i?
i
Suppose 2*l - 4 = -0*l. Let h be (34/(-19))/l + 1. Let o(u) = -115*u + 689. Let q be o(6). Is q less than h?
True
Let r = 14.548 - -6.452. Which is smaller: r or 43?
r
Let d(h) = h**2 + 27*h - 158. Let a be d(-32). Let r be ((-14)/28)/(a/12). Are r and -17/8 non-equal?
True
Suppose -48 = 2*p + 6*p. Let s be (p/60)/((-3)/4)*-6. Let a = 7/15 + s. Which is greater: a or 1/3?
1/3
Let m = 2 + 2. Suppose m*z - 5*z = 3*p + 10, 2*p + 12 = 2*z. Let y be z + -4 + (-420)/(-14). Is y at least 29?
False
Let r(k) = 3*k**2 - 13*k - 16. Let d(o) = -2*o**2 + 9*o + 11. Let l(m) = 7*d(m) + 5*r(m). Let q be l(4). Let u be (-20)/15 - (3 - q). Which is smaller: 2 or u?
u
Let f be -7 - 9/(5/(40/(-12))). Which is greater: f or 17/74?
17/74
Suppose y + 1038 = 2*g, -5*g - 4*y = -6*y - 2597. Let s = 545 - g. Let m be (-2 - -1)*25*-1. Which is smaller: m or s?
s
Let c(g) = -10*g - 62. Let u(l) = -10*l - 57. Let f(y) = -4*c(y) + 5*u(y). Let r be f(3). Are r and -69 unequal?
True
Let z(u) = 275*u**2 + 6*u + 593. Let i be z(0). Which is greater: i or 596?
596
Let r be 1560/(-27) + 16/(-72). Suppose 3*k + 144 = -63. Let a = k - r. Is a smaller than -11?
False
Suppose 7*x - 5*f = 10*x + 192, 3*x + 201 = -2*f. Are -6 and x non-equal?
True
Let q(l) = 152*l - 25217. Let k be q(166). Suppose 0 = -3*c - 4*a + 5, -4*a = c - 3*a - 3. Is k at least as big as c?
True
Let c be 1 - (2 + -2 + -2). Let x be (-13 - (-12)/9*3)/4. Let p = x - -6. Which is smaller: p or c?
c
Let d = -433 + 295. Let z = d + 132. Let w be (-1 + (-51)/(-45))*z. Is w at most 0.5?
True
Let v = -0.10247 + -0.04733. Which is bigger: v or 2/13?
2/13
Let p be (-7 - -5) + 4/(-1) + (-20)/(-5). Which is smaller: -86/33 or p?
-86/33
Let z(n) = n**2 + 21*n + 116. Suppose -461 = -w - 478. Let k be z(w). Let s(o) = o**3 - 3*o**2 + o - 6. Let g be s(5). Is k at least g?
False
Suppose -25*l + 27*l + 4 = 0, -36 = -2*y - l. Suppose -144 = y*p - 372. Which is greater: p or -5?
p
Let n = 339 - 10847/32. Let h = n - -29/96. Is h at least as big as -14/9?
True
Let v be 56/(-16)*-3*-1*4/(-2742). Which is bigger: v or 1?
1
Let j = 186 - 302. Let w be ((45/6)/5)/((-2)/j). Is 87 smaller than w?
False
Suppose -3*x - 2*x = -10, 5*x - 368 = -2*s. Let l = -926/5 + s. Does -7 = l?
False
Let q be (4/(-1) - 2)*156/2495064. Is 1 at most q?
False
Let q = 4225 - 12796/3. Let h be 1/((6/123)/((-12)/6)). Is h bigger than q?
False
Let i(q) = -10*q - 1. Let v be i(1). Let s = -13 + 0. Let h be s/52 + (-3)/(-12). Which is smaller: v or h?
v
Let h be 3 - (-2 + 3) - 5*-5. Let m be ((-32)/(-336))/((-4)/(-978)) - -3. Which is greater: m or h?
h
Suppose -13*a + 163579 + 45188 = 0. Which is smaller: a or 16060?
a
Let w = -17.535 - -10.535. Which is smaller: -0.035 or w?
w
Let u(o) = o**3 - 6*o**2 - 10*o - 2. Let n(y) = y**2 + 5*y + 1. Let c be n(-6). Let f be u(c). Suppose -4*k - 37 = 2*k + 107. Is k greater than or equal to f?
False
Suppose 5228*w - 45 = 5183*w. Which is bigger: -32/267 or w?
w
Let n = -0.06473 + 0.36473. Let x = -0.13 - -1.33. Let o = -5.8 - x. Which is greater: n or o?
n
Let u = -208/5 - -521/10. Let a = 111 - 16. Suppose -a - 109 = -17*y. Which is smaller: y or u?
u
Let q(m) = -m**3 + 7*m**2 + 23*m - 43. Let u be q(9). Let y(p) = -p. Let t be y(u). Which is bigger: t or -6?
t
Let m be 6/(-19) + 1326/4199. Are m and -2/35603 unequal?
True
Suppose -5*u - 42 = -182. Let f = -28 + u. Suppose 5*x + 7 = -8. Which is bigger: x or f?
f
Suppose 21792 - 4687 = -13*d - 42*d. Which is smaller: d or -310?
d
Let i = 0.006 + 1.994. Let u = i + 102. Is u greater than or equal to -1/4?
True
Let v = -938819/12 - -78171. Which is smaller: v or -64?
-64
Suppose -213063 = -85*i - 21648 + 22020. Which is greater: i or 2510?
i
Let h be (-1 + 3)/(140/(-1050)). Let d(v) be the first derivative of -v**4/4 + v**3/3 + v**2/2 - 15*v + 7. Let i be d(0). Is h < i?
False
Let z be (-30)/(-4)*(-9)/(-459)*4. Let j = -152 + 152. Which is smaller: j or z?
j
Let r = 108007.097 + -108007. Let s = -2.9 - -3. Do s and r have the same value?
False
Suppose 5*x + v = 5, 3*x + 4*v = -0*v + 3. Let g be 4/(-12) + (-8 - 1/(-3)). Let h = g - x. Which is greater: -1 or h?
-1
Let u(q) = q**2 + 2*q + 9. Let a(g) = -3*g**2 - 4*g - 19. Let h(s) = -2*a(s) - 5*u(s). Let y be -3*4/(-18)*48/(-16). Let k be h(y). Which is smaller: 1/4 or k?
1/4
Let p = -3401 - -3400.99. Which is smaller: 35 or p?
p
Let w(s) = s**2 - 7*s - 3. Let k be w(7). Let q = 39 + -21. Let r be (-51)/q + 1/(-2). Is r < k?
True
Let j = -6359.1 + 6359. Which is smaller: j or -752?
-752
Let i = 451 - 112. Let m = i + -110. Is 229 greater than or equal to m?
True
Let p = 164189 + -2790008/17. Which is smaller: p or 71?
p
Let n be ((-1860)/(-40))/((-22)/8 - -2). Let d = 68 + n. Which is smaller: 1 or d?
1
Let l(a) = 3*a**2 - 10*a + 17. Let y(v) = -v**2 + v - 1. Let p(r) = -l(r) - 4*y(r). Let t be p(-9). Suppose -155 = -t*f + 69. Are 16 and f nonequal?
False
Let p(w) = -w**3 + 25*w**2 + 13*w - 160. Let z be p(26). Is -500 < z?
True
Let y = 1485 + -31205/21. Suppose b + 8 = 2*c, 3*b + 3 = -4*c + 3*c. Are y and b equal?
False
Let s = 1/2156 - -4129/394548. Let d = 76 + -79. Let q be (d/(-36)*3)/(11/44). Which is greater: q or s?
q
Let m = 13 - 19. Suppose v + 1 = -4*z, -2*z + v - 5*v = 4. Suppose z = 3*x - 2*x + 2. Which is greater: m or x?
x
Let y = 758/95 - -103849/665. Suppose -17 = v + 5*w - 180, -5*w - 326 = -2*v. Let z = y - v. Which is smaller: 1 or z?
1
Let b = -3 - -3. Let n be (-3)/(-1) + (1975/655)/(-1). Let j = n - 121/655. Is b less than j?
False
Suppose -2*m - 15 = k, -4*k - 407*m + 403*m = 84. Let i be (-2)/7 + 59044/(-2233). Which is smaller: k or i?
k
Let m = 1264 + -5059/4. Which is smaller: -683 or m?
-683
Let f be 2 - 1 - 57/72. Suppose 534 = 202*o - 736*o. Is o at most f?
True
Let y = -779 + 63. Let f = -758 - y. Which is smaller: f or 0?
f
Let i(t) = -t**2 + t + 16. Let s = 94 + -89. Let l be i(s). Which is bigger: l or 0?
0
Suppose 238*d = 2*w + 240*d + 1878, 4694 = -5*w - 4*d. Is -938 at least as big as w?
True
Let z(b) = -297*b - 193. Let k be z(8). Which is smaller: k or -2570?
-2570
Let s(n) = 3*n + 29. Let t be s(-5). Let j(i) = 13 + 28 + i - 15*i**2 + t*i**2. Let f be j(-7). Which is smaller: -16 or f?
-16
Let z be 13/((-130)/(-40))*10/8. Suppose -16*c - h = -20*c - 1406, z*h = 10. Is c less than -351?
False
Let q = -8 - -32. Suppose -4*h + q - 168 = 0. Suppose -4*w + 127 = 3*i + 263, -102 = 3*w + 5*i. Which