 Let q be w(6). Suppose 15 = 4*m + 5*c, -3*m + m + 10 = q*c. Which is greater: 14 or m?
14
Let r = -134 - -80. Which is smaller: r or 15?
r
Suppose -3*a - 10*a + 52 = 0. Suppose -2*z - 126 = -a*j, 2*j = -0*z + 5*z + 43. Is j greater than 34?
False
Let y be (2/(-44))/((220/48)/11). Is y less than 1?
True
Let o = -13 - -6. Let n = -168 - -164. Are n and o non-equal?
True
Let j = -12.9 + 0.9. Let a = j + 11. Let u = -5.6 + 8.6. Is u less than or equal to a?
False
Let m = -39 + 41. Let s = -157 + 156.98. Is m < s?
False
Let m be 902/18 - (-1)/(-9). Let w be 12/(-124)*m/36. Let n = w - 1/31. Which is greater: n or 1?
1
Let u be -588 - 1*(-4)/2. Which is greater: u or -585?
-585
Let c = -1781 + 1781.1. Which is smaller: 309 or c?
c
Let n be (4/(-3))/((-10)/(-75)). Let b be 136/n*1/(-4). Which is bigger: b or -1?
b
Let w(k) = 3*k - 14. Let f be w(8). Let j be (16/40)/(4/f). Which is greater: 2/39 or j?
j
Let n = -671 + 237. Let u = 162583/7 - 23661. Let c = u - n. Which is greater: c or 0?
0
Let a = 251 - 171. Let i = a + -67. Are 13 and i unequal?
False
Suppose -74*u + 73*u + 5*h = 21, 0 = -5*u + 5*h - 45. Which is greater: -15 or u?
u
Let f(y) = -y + 1. Let g(n) = 1. Let o(t) = f(t) - 2*g(t). Let p be o(-6). Is p <= 32/7?
False
Let h = 0.3 - 0.17. Let j = h + 1.87. Let l = 0 + j. Is -0.2 >= l?
False
Let m be (-1)/(-2) + -1*(-56)/16. Suppose m*l + 10 = 2*u, 3*u + l + 13 = -0. Is u >= -18/5?
True
Let q = 143561/5480 - -3/1096. Does q = 27?
False
Let z = -24 - -27. Suppose -2*y + 106 = -z*y. Let x = 732/7 + y. Which is bigger: x or -2?
x
Let z(a) = -a**2 + 9*a - 17. Let r be z(10). Let x be (18/r)/(2/(-57)). Is x less than or equal to 19?
True
Let t be (-2)/26*2/8*1. Are 0 and t unequal?
True
Let z be (-18932)/(-6)*(-3)/(-22). Let l = 430 - z. Let i be (0/1)/(-6 + 4). Is l less than i?
True
Let d = 32.25 + -33. Let o = -0.79 - d. Is o != 2?
True
Let n(b) = -b**3 - b**2 + 99. Let h be n(0). Suppose -x - 5 = 0, -y - h = -2*x - 16. Let l = 467/5 + y. Which is smaller: -11 or l?
-11
Let c(n) = -n**2 + 4*n - 1. Let l(s) = -s**2 - 6*s - 4. Let z be l(-4). Let g be c(z). Let t = -335/1494 - -14/83. Which is smaller: g or t?
g
Let k = -14 + 13. Suppose 21 = -8*d + 11*d. Let t(j) = -2*j + 21. Let p be t(d). Is p equal to k?
False
Let j = 184 - 186. Is j equal to 41/6?
False
Let h = -75 - -78. Suppose -5*n = u - 27 + 74, 9 = h*n. Is -62 greater than or equal to u?
True
Let t be (-12 - (-17544)/2508) + (1 - -4). Which is greater: 1 or t?
1
Suppose -15*m = 27*m - 168. Let z(c) = -c**3 - 3*c**2 - 3*c - 5. Let p be z(-4). Suppose -6*g + 20 = b - 2*g, 0 = -m*b + 3*g + p. Which is bigger: 9 or b?
9
Suppose 2*g + u - 7 = 0, 10 = g - 2*u + 9. Which is greater: -12/7 or g?
g
Let i = 21 - 11. Suppose 5*c - i = -0*c. Is -3 at least c?
False
Let z = 7273/9 + -105119/153. Let r = -121 + z. Let s = -41/119 + r. Which is smaller: 5/4 or s?
s
Let q = -725 - -725. Which is smaller: q or 6/43?
q
Let f = 1402 + -1410. Is 1.48 equal to f?
False
Let v = 544 + -552. Which is smaller: v or 4?
v
Suppose 0 = y - 0 + 3, -3*y - 11 = 2*n. Let g be (-1*2/2)/(44/12). Is n greater than or equal to g?
False
Let k be 8/6*207/6. Let q(y) = 7*y**2 + 9*y + 9. Let d be q(-3). Is d at least as big as k?
False
Suppose 3*l - 5*b = -20, 6*b + 16 = -2*l + 10*b. Which is smaller: -2/15 or l?
-2/15
Let t = 58 + -50.3. Let h = t - 8. Let o = 1.99 - 1.69. Which is smaller: h or o?
h
Let k = -68 - -91.5. Let m = 11.5 - k. Which is smaller: m or -2/5?
m
Let p = -4053/1378810 + 1/1594. Which is bigger: p or -1?
p
Suppose 2*q - 2 = 3*m, -3*q = 5*m - 8*q. Suppose 5*c - 15 = -3*k - 1, -4*k - c + 30 = 0. Let y = k - 17/2. Is y < m?
False
Let n = -3.3 - -2.3. Suppose 6 + 18 = 3*z. Suppose 0*f - 4*f = -z. Which is greater: f or n?
f
Let b(m) = 4*m + 6. Let r(a) = -21*a - 31. Let v(h) = -11*b(h) - 2*r(h). Let i be v(-2). Are 0 and i non-equal?
False
Suppose 4*q + 0*q = -4*x + 68, 3*x - q = 43. Suppose 6 = f + f. Suppose -3*g + x + 16 = -4*u, f*g + 5*u = -5. Is 5 smaller than g?
False
Let z = 3914 - 575354/147. Is -1 smaller than z?
True
Let i = 1.7 - -5.2. Let w = i + -7. Let y = 7 + -6. Which is bigger: w or y?
y
Let f be 1 + -3 + 4 + 9. Suppose -5*b - 2*p + f = -4, -2*b + p = 3. Which is greater: 36 or b?
36
Let u = 26 + -24. Let a(l) = 2*l**2 + 1. Let k be a(-2). Suppose -10 = -w - u*x - x, -3*x = -k. Which is smaller: 1/12 or w?
1/12
Let t = -896.9 + 946. Let v = t + -49. Which is smaller: v or -6/19?
-6/19
Let q be -3 - ((-26638)/9600 - (-1)/(-3)). Let m = q + -53/64. Which is smaller: m or 0?
m
Let p = 0.11 + 0.09. Let t = -41 + 43.3. Let n = -9.3 + t. Which is greater: p or n?
p
Let l be 0 - (3 - (6 - 2)). Let o be 4/8*14/1. Suppose 3*s = -6, 3 + o = -5*z - 5*s. Is z at least l?
False
Let r = -23.7 + 24. Is r at least as big as -3/25?
True
Let u(r) = 2*r + 4. Let w be 10/4*(-4)/5. Let j be u(w). Suppose -4*d + 2*d + 12 = j. Is d less than 6?
False
Let b = 1.405 + 13.895. Which is smaller: 2 or b?
2
Let c(t) = 2*t - 8. Let f be c(7). Suppose -a - z + f*z = -22, -4*a + 5*z = -43. Suppose x = -4*n + a, -4*n - 5*x + 11 = -8. Which is smaller: n or 1/5?
1/5
Let a be (56/40)/((-1)/(2 + -247)). Is a not equal to 343?
False
Let x be 0/((-7)/(28/8)) - -2. Let c be (-6 + 2)/(x/(-15)). Which is smaller: c or 0?
0
Let w be (-30)/((-8)/(48/9)*1). Are w and 19 nonequal?
True
Let o = 11.9 + 1.1. Let t = o + -19. Let a be 1/((-98)/(-7) - 13). Are t and a equal?
False
Let d = -9.2 - -9.274. Let k = d - -0.026. Is k less than or equal to -1?
False
Let w = -5.65 - -5.7. Let b = 0.05 - w. Which is bigger: -5 or b?
b
Let j be (-1530)/(-54) + -1 + (-2 - -8). Is j at most 33?
False
Let p be (-8)/80*1/26. Which is smaller: 1 or p?
p
Let m be (-2)/(-4) + (-6)/4. Let z = 18 - 17. Let c be 0/(-6) - m/z. Which is smaller: 3 or c?
c
Let w(s) = -8*s**2 + 2*s + 3. Suppose 0 + 5 = -5*b. Let r be w(b). Let o = 19 + -28. Does r = o?
False
Let z = 25 - 11. Let g = -157 - -142.9. Let c = z + g. Are 0 and c unequal?
True
Let k = -43/153 - -1/17. Let r = -10 - -13. Which is greater: r or k?
r
Let w be (11 - -2 - -10) + -7. Suppose -z - 4*z = -80. Is w != z?
False
Let w = 2309 - 2401.9. Let g = w + 93. Is g != 8/11?
True
Let w be 5*1 + ((-150282)/15030 - -5). Which is smaller: -1 or w?
-1
Let m be (4 - 24/5) + (-144)/(-180). Which is smaller: m or 18/419?
m
Let j(x) = x**3 + 6*x**2 - 3. Let h be j(-6). Let z(w) = 8*w - 6. Let l be z(h). Let u be 16/l*5/6. Which is smaller: 1 or u?
u
Let q(w) = -w**2 + 13*w - 8. Let i be q(-7). Let l = i - -1926/13. Let h be 2/5 + 6/10. Which is smaller: l or h?
l
Let x = -340 + 340. Is -30/79 equal to x?
False
Let q(p) = -2*p - 6. Let m be (-2 - -3 - 9)/(3/6). Let d be q(m). Which is greater: 24 or d?
d
Let a(z) = -2*z**2 + 13*z + 7. Let m be a(7). Suppose m = -0*q - q + 8. Let x be (q/40)/(1*4). Is x equal to 1?
False
Let u be 12/(-20) - 3/(-5). Let p(d) = -11*d + 1. Let o be p(1). Let g be (-3)/6 + o/(-16). Are g and u unequal?
True
Let u(l) = -30*l**3 + 8*l + 2 + 22*l - 29*l. Let i be u(-1). Which is smaller: 30 or i?
30
Suppose 0 = 3*f + 2*b - 6, 0 = -f - b - 2 + 3. Let a = 138 + -143. Let v = a + f. Is -0.3 at most v?
False
Let l = -28.703 + -0.147. Let s = l + 29. Is s <= 1?
True
Let n(z) = 2*z**3 + 2*z**2 - 2*z + 1. Let h be n(1). Suppose -a = a + 4*u - 4, 5*a - 10 = -3*u. Suppose -h*k + 1 = -a*k. Which is smaller: k or 4/3?
k
Suppose 5*p - 18 + 8 = 0. Suppose -5*k = -3*o + 9, 0 = 5*k - p*o + o + 3. Is 1/3 > k?
True
Let g = 258 + -259. Is 3/13 at least as big as g?
True
Suppose 67 = 8*r - 7*r. Let w = 66 - r. Let a be (1/(-3)*1)/1. Which is smaller: w or a?
w
Suppose -q + 166 = -j, -5*q + 933 = j + 115. Which is bigger: 1158/7 or q?
1158/7
Let k = -491/2 + 245. Let i = -0.9 - -0.6. Let b = i - -0.4. Which is bigger: b or k?
b
Let f = 24 - 27. Let j be (3/(-9))/(f/54). Which is greater: 5 or j?
j
Let i = -4.7 - 1.3. Let d = -3.9 - -3.69. Let k = 0.21 + d. Which is bigger: k or i?
k
Let s = -0.3 + 0.2. Let j = 147 - 147.3. Is s < j?
False
Let l be (5 - 2)/(-6)*0*-1. Let q be 25/2 + (-1)/2. Suppose -3*y = -y - q. Is y equal to l?
False
Let x = -13.8 - -1.8. Let i = x - -10.8. Let c be 6/(-27)*(-6)/4. Which is smaller: i or c?
i
Suppose 3*t - 4*t + 16 = j, 0 = -4*j + 3*t + 29. Is j at most as big as -4?
Fa