 -6*k + z + 3. Let n be k*((-5)/(-2))/(-5). Let o be (-76)/(-168) + (-2)/7. Which is greater: n or o?
o
Let p = -48 - -53. Suppose -p*q + 0 = -0. Is 19 at least as big as q?
True
Suppose 2*h + 6 = 0, 2*o - o - 5*h - 18 = 0. Let i be 7*(-7)/(-49) + 6/8. Is o less than i?
False
Suppose -6*z + 2*z = 0. Which is greater: 3/16 or z?
3/16
Let m = -101 - -203/2. Which is smaller: m or -118?
-118
Let n = 268 + -547/2. Let t be (-2)/5 + ((-204)/10)/(-6). Suppose -8 = -t*b - 26. Are b and n equal?
False
Let w be (-92)/(-22) + (-72)/33 + 2. Suppose w*x - 34 = 6. Is x less than 9?
False
Let h = -502 - -501.9. Let i = 0.009 + -49.009. Is h less than i?
False
Suppose 7*p - 3*p + 4*t = 0, -t = 0. Let q = -682307/11 - -61982. Let o = q - -45. Are p and o non-equal?
True
Let q = -73170/4403 - -1970/119. Let b = 2/37 - q. Let s be ((-1)/2)/((-1)/(-2)). Which is smaller: b or s?
s
Let a be (-2807)/147 + 10 + 9. Is a less than 0?
True
Let l = -158 + 157.8. Which is bigger: 5/8 or l?
5/8
Suppose -c - 569 = -299. Which is smaller: c or -269?
c
Suppose 19 = 2*s - 185. Suppose -5*y - s - 58 = 0. Let z be (-6)/(-21) - y/84. Do -12 and z have different values?
True
Suppose 6*m = 11*m. Suppose -4*b - 5 = -3*o, m = -b - o + 4. Is b < -1/24?
False
Let m = 1753 + -1762. Let c be ((-2)/10)/((-4)/10). Is c > m?
True
Let j(v) = -3*v + 25. Let a be 13/(-2)*-2 - (0 + 4). Let s be j(a). Which is bigger: 12 or s?
12
Let i = 0.272 - 0.372. Let f = 4 - 3.91. Is i bigger than f?
False
Let g(q) = -q**2 - q - 1. Let p be g(0). Let x = 74.71 + -69. Let f = x - -0.29. Is p bigger than f?
False
Let r = 284 - 268. Is 14 < r?
True
Let s = 0.15 + 0.54. Let i = 26 + -25.81. Let n = s - i. Which is greater: -1 or n?
n
Suppose 3*v + 5*w - 18 = 8*w, -2*w = 3*v - 18. Let c = 7 - 4. Let h = c - 5. Is v bigger than h?
True
Let h(a) = -2*a. Let t be h(4). Let m = -395/22 + 126/11. Is t at least as big as m?
False
Suppose 0 = -4*b - 13 - 15. Let n be 2/b - (-192)/182. Which is greater: 2 or n?
2
Let y be ((-682)/93)/((-1)/(-6)). Which is bigger: -47 or y?
y
Let b be (48/(-40))/(-3 - (-213)/70). Which is greater: -32 or b?
b
Let s be (-4)/18 + 511/(-657). Is s at least as big as 6/5?
False
Let t(s) = -s**3 - 3*s**2 - s - 3. Let y be t(-3). Let p be (19133/(-4085))/(-19) - 2/10. Which is smaller: y or p?
y
Let a = 291 + -4369/15. Suppose v = 3*v + 2. Does a = v?
False
Let m = -477 - -476. Which is smaller: m or 1/2013?
m
Let h(n) be the second derivative of -n**5/10 - 5*n**4/12 - n**3/2 - 5*n**2/2 + 29*n. Let x be h(-2). Suppose -q - 3*w + 13 = 0, q - 5*w + 19 = -0*q. Is x > q?
False
Let s = 11 + -12. Let o be -2 + (-5452)/(-4864) - s. Let x = 1/64 - o. Is 1 >= x?
True
Let i be 141/329 - 418/910. Is 0 smaller than i?
False
Let s = 321/20 - 84/5. Let d = -2 + 2.1. Let h = d - 0.1. Which is bigger: s or h?
h
Let z = -51 - -50.25. Is z at least as big as 1/2?
False
Let t(o) = -o**3 + 7*o**2 - 10*o + 9. Let v be t(6). Let z = -61 - -46. Is v smaller than z?
False
Suppose -186*d = -195*d. Which is smaller: d or 12/149?
d
Suppose -11*b + 34 = -8*b - 4*q, -q - 22 = -3*b. Suppose b*v - 11 = -83. Is v smaller than -14?
False
Suppose 0 = 5*s - 107 - 78. Let d(o) = -212*o + 1945. Let u be d(9). Is s < u?
False
Let f = 165218/37 - 4466. Which is smaller: f or 0?
f
Suppose -41*j = -31*j - 160. Is 19 greater than j?
True
Suppose -i = k - 19, 0 = -3*i - 27 + 15. Which is bigger: 28 or k?
28
Suppose -6*o = -3*o - 3*u - 15, -3*o + 9 = -u. Let b = 4381687/105 + -41730. Let w = 20/21 - b. Which is smaller: o or w?
w
Let d = -78 - -77. Let n be 2/1*d + -1. Let q = -35/17 + -31/51. Is q <= n?
False
Let v = 31.3 - 34.3. Which is smaller: 8.1 or v?
v
Let n(s) = -s**2 - 4*s + 6. Let c be n(-4). Let o(b) = -b**2 + 5*b + 1. Let i be o(c). Which is bigger: 1 or i?
1
Suppose a + a + 32 = y, 0 = a. Let g be 4*22/y*-452. Let k be (-1)/(-4) - g/(-44). Is k at most -27?
True
Suppose -a + 3*a = -2*x - 42, -4*a = x + 69. Let j = a - -17. Which is smaller: 2/15 or j?
2/15
Let l(r) = r - 2. Let s be l(3). Let m be (s - 5) + (-188)/(-52). Is m > 0?
False
Suppose 45*n = 968 - 383. Is -2.6 smaller than n?
True
Let w = -427 - -427. Let z be (2 + 1)*(-12)/(-63). Which is smaller: z or w?
w
Let s(p) = 2*p**3 - 15*p**2 - 5*p + 2. Let g(f) = f**3 - 7*f**2 - 2*f + 1. Let t(m) = -9*g(m) + 4*s(m). Let u be t(2). Does -2 = u?
False
Let w be 3 - 5 - -2*(-69)/6. Let a(p) = p**2 + 23*p - 21. Let f be a(w). Do f and -2 have the same value?
False
Let f(h) = 10*h + 293. Let k be f(-28). Is k at most 15?
True
Suppose 4*q = 9*q - 50. Suppose 5*t = 3*j - 2 - q, 2*t = -3*j - 9. Let p = 1053/5 + -212. Which is greater: p or j?
j
Let o be (-186)/9 + (-2)/(-7 - -1). Let t = 125/6 + o. Which is smaller: t or -0.26?
-0.26
Let f be (-1 - -2)*(-5 - -2). Let b = -308 - -299. Is f at most as big as b?
False
Let d = -253 - -1769/7. Is d >= 0?
False
Let j = -990 - -878. Are j and -112 non-equal?
False
Let q be 2/7 + 6/((-168)/428). Let b = q - -2. Do -9 and b have the same value?
False
Let j = 10 - 8. Suppose -38*q + 18*q = -160. Is j at most q?
True
Let m = -0.2 - -0.1. Let f = -580 + 1193/2. Let a = 17 - f. Which is smaller: a or m?
m
Let b be 984/78 + -6 - 6. Suppose -5*k + 0*k = 0. Is b greater than k?
True
Let h(j) = -11*j**2 - j - 2. Let l be h(-1). Let i be (-1*4/(-40))/(15/l). Is i at least as big as -1?
True
Let d be (-15)/20 + (-45)/(-12). Let b = d - -3. Suppose -u = -3*c - b*u - 1, 0 = -c - 5*u + 13. Is 0 at most as big as c?
False
Let s = 2511 + -1533. Which is smaller: 0.1 or s?
0.1
Suppose -121 = v + 2*h, 3*v + 367 = -11*h + 6*h. Which is smaller: -127 or v?
v
Let k be -1*(3 - 3)/(-1). Let z = 52/705 + 709207/9870. Let i = 72 - z. Do k and i have different values?
True
Let s be (204/(-8))/(11/22). Which is smaller: s or -50?
s
Let t = -12 + 18. Let q = -1007 - -1008. Is q bigger than t?
False
Let a = 0.3 - 1.3. Suppose 75 = 4*s + 3*k, 9*s - 60 = 4*s + 3*k. Let i be (-172)/20 - (-3)/(s/(-2)). Which is bigger: a or i?
a
Let a = -0.06 - 0.74. Let z = 0 - a. Let p = 1.1 - z. Is -1 less than p?
True
Let k(p) = 2*p - 18. Let v be k(7). Let r be -4*(v - 74/(-16)). Which is greater: -3 or r?
r
Let v = -64313/6910 - -5/691. Is v at most as big as -10?
False
Let g = -791 - -790.683. Let k = 13.383 - g. Let v = 13 - k. Is v > -2/3?
False
Let x(c) = -c**3 + 4*c**2 + 7*c - 5. Let q be x(4). Suppose 4*h - 5*g + 115 = 9*h, 2*h - 5*g - 46 = 0. Is h < q?
False
Let a = -573 + 575. Which is smaller: a or 1/160?
1/160
Let t = 0.03 - -0.16. Let d = -0.04 + t. Let h = d + -0.05. Are 7 and h equal?
False
Let b = 7049/24 - 294. Which is bigger: -1 or b?
b
Let g = -75 - -69. Let x = -5 + 5. Which is smaller: x or g?
g
Let q be 1 + 0 + 267/(-261). Suppose -7*t + 5*t - t = 4*t. Is q less than t?
True
Let r = -343 + 351. Suppose 0 = -c - 3*w - 1, w = 4*c - 3*c - 7. Which is bigger: r or c?
r
Let k = 85 + -130. Let x = 43 + k. Which is bigger: x or -11?
x
Let j(l) = -l - 12. Let n be j(-12). Let m be -1 + n + 20/28. Is m not equal to -21/4?
True
Suppose -2*u - 18 = -u. Let n = u - -8. Is -10 at least n?
True
Let m(a) = 2*a**2 + 26*a + 60. Let s be m(-10). Which is smaller: s or -3/44?
-3/44
Suppose -5*g + 15 = -0. Let f = -0.0562 - -0.2562. Is g at least f?
True
Let b(w) = -22*w - 86. Let k(u) = -7*u - 29. Let o(p) = -5*b(p) + 16*k(p). Let q be o(0). Let j be (-1)/2*(-119)/q. Which is greater: -2 or j?
j
Let z(y) = -3*y**2 - 7*y - 10. Let g be z(-8). Let r be g/(-10) - (-18)/(-30). Are r and 13 nonequal?
True
Let f = 1538 - 1511. Is f < 19?
False
Let q(k) = -k**2 + 2*k + 236. Let v be q(-23). Which is smaller: v or -341?
-341
Let y = -42.98 + 43. Is -6 less than y?
True
Suppose -4*y + 4286 - 1502 = 0. Is 0.1 equal to y?
False
Let s be ((-69)/36)/(9/(-27)). Suppose 0 = -5*f - 7*l + 3*l + 9, 3*f - 27 = 3*l. Are s and f unequal?
True
Let l = -0.029 + 0.015. Which is smaller: 3 or l?
l
Let r be 3 - ((-2)/(-1) - 4). Suppose 8 = 4*a - r*v, -a - 3*a - v = -8. Let g be -7 + 1 + (4 - a). Which is smaller: g or -5/2?
g
Let l = -200929/43 + 4673. Let n = -204/1247 + l. Let c be (1/(-3))/((-1)/(-3)). Is n smaller than c?
False
Suppose 5*j + 85 + 60 = 0. Let l be (-1)/3 - j/(-3). Let c be (((-11)/l)/11)/(-1). Which is greater: c or -1?
c
Let u = 1750/9 - 194. Let i be (3 + 23)*(-2)/(-4). Su