) - (18 - 14). Is q not equal to -35?
True
Let c = -190.1 + 3.1. Is c smaller than -0.1?
True
Let r = -0.22 + 0.12. Which is smaller: r or 744?
r
Let m be 2/(14/(-18) + 1) - 4. Let o(l) = -l**3 - 6*l**2 - 3*l + 5. Let w be o(-5). Let r be 2/w*(3 - m). Is r at least 0?
True
Suppose 4*q - 314 = -n + 157, 3*n - 4*q - 1493 = 0. Is n bigger than 490?
True
Let i be (-2)/(-16) + (-210)/(-112). Let f = -4 + i. Which is greater: f or -0.7?
-0.7
Suppose -1238*q + 1240*q - 2 = 0. Is -21/50 >= q?
False
Let h(t) = -11*t + 198. Let a be h(18). Which is smaller: a or -0.232?
-0.232
Suppose 3*x - 5*i = 3, -5*x + 9 - 4 = 3*i. Let u be -5*x*(-20)/25. Suppose 5*y = u*w + 13, w + 5 = 3*y - 0. Is -1 at least y?
False
Let q = 3 + -2. Let v be 6/(-4) - 5007/54. Let u = v + 94. Which is greater: u or q?
q
Suppose 5*y - 350 = 5*z, z = -3*z + y - 268. Let m be ((-4)/24*-2)/((-2)/z). Is m greater than 7?
True
Let x be (-34)/85 + (-9)/15. Is x at most 2/93?
True
Let q(s) = -s**3 - 4*s**2 + 3*s - 3. Let i be q(-5). Let j be 9*(-16)/24 + 14 + 0. Is j bigger than i?
True
Let w = 29/148 - -2/37. Suppose 3280*i - 3267*i = 0. Which is bigger: i or w?
w
Let u = -7 - -7. Suppose 5*k + g + 4*g - 10 = u, -4*g - 10 = k. Let a be (-3)/k*(-14)/1. Is a at most 6?
False
Suppose -2*u = -5*d - 6*u - 12, u = 3*d + 14. Let p be (-10)/(-6) + d/6. Which is smaller: 10/17 or p?
10/17
Let m be (4/50)/((-8)/40). Which is greater: 13/3 or m?
13/3
Let i be (42/8)/((-3)/(-10)). Let f(w) = -w**3 + 19. Let z be f(0). Which is smaller: i or z?
i
Let n = -12.9 - -10.9. Which is smaller: n or 10?
n
Let f = -2447 - -841. Is -1606 > f?
False
Let n(q) = q**3 - 9*q**2 + 15*q - 4. Let z be n(7). Let o be ((-115)/46)/(z/2 + -1). Let b be 8*(-6)/8*1. Is o less than b?
False
Let w(x) = -x**2 + 4*x + 2. Let l be w(4). Let f(y) = y**l + 5*y + 9 + 2*y + 3*y. Let h be f(-9). Is h at least -4/7?
True
Let v(j) = -j**3 - j - 86. Let z be v(0). Let w be (-3)/2 + 342/(-4). Which is bigger: z or w?
z
Let t(s) = s - 4. Let v(g) = -1. Let l(a) = t(a) + 2*v(a). Let b(j) = -j**3 - 7*j**2 - 9*j - 16. Let y be b(-6). Let o be l(y). Which is smaller: o or -2?
o
Let y be (-10)/(-4) - (70/(-20) - -4). Which is greater: y or -7.4?
y
Let r = -56.9 + 47. Let v = r + 10. Which is greater: v or 2/5?
2/5
Suppose h - 23 = m, -5*m - 3*h - 17 = 58. Which is smaller: -11 or m?
m
Suppose 15*v = -17*v. Which is smaller: -1/259 or v?
-1/259
Let n be (-56)/(-6) + 3/(-9). Let p = n + -3. Let t be ((-1)/p)/(9/(-54)). Which is bigger: t or 5/4?
5/4
Let g be (-2)/4*(-5)/(-4). Let i(h) = 67*h + 870. Let w be i(-13). Which is smaller: g or w?
w
Let t(f) = f**2 + f - 2. Let s = -2 - -4. Let p be t(s). Suppose 3*b - 2*z - 4 = 0, -2*z + 4 + p = 0. Which is bigger: b or 3?
b
Let y be (-44)/26*(-8)/((-288)/12126). Let i = 570 + y. Suppose -4 = s - 5*s. Which is bigger: s or i?
s
Let l = 881 - 875. Which is smaller: l or -57?
-57
Suppose p + 9 = 3*s, 5*p + 3*s + s + 7 = 0. Let u = 6 + p. Is 4 >= u?
True
Let d(b) = -6*b**2 - 3*b + 33. Let n be d(-8). Is n > -327?
False
Suppose -17 = -4*v - 101. Suppose -2*i = -3*g + 23, 2*i - 9*g = -8*g - 33. Which is smaller: v or i?
v
Suppose 12*s - 7*s - 20 = 0. Let i be 30/4 + 4/8. Suppose -5*r - i = 4*v, 4*v - 3*r + r = 20. Is s less than or equal to v?
False
Let n = 43813/18395 - -4/1415. Do 3 and n have different values?
True
Let h be (-1250)/(-325) - (17 - 1)/4. Let k be ((-4)/6)/(2/(-3)). Which is bigger: k or h?
k
Suppose -3*s + 2*w = 8, s + 4*s - 16 = -4*w. Suppose o - 4 = 2*o, s = 3*p + 3*o - 93. Which is smaller: 36 or p?
p
Suppose 4*o - 4 = 4*p - 0*p, o = 5. Let f be (p/(-5))/(6/(-30)). Let n(s) = s**3 + 24*s**2 + 140*s + 6. Let i be n(-14). Is f smaller than i?
True
Let t be (-12)/26 + (-116756)/(-3978). Which is greater: t or 30?
30
Suppose 0 = q - 3*q + 2*x, 2*x + 2 = 3*q. Suppose q*m + f - 2*f - 12 = 0, 0 = -m + 5*f + 24. Let p = -1 + m. Is 0 at least p?
False
Suppose -4*m + 19 + 1 = 0. Suppose 4*g = b, -m*g - 1 = -4*g. Do b and -5 have the same value?
False
Suppose -18 - 12 = -5*o. Let t be (o - 5)/(1/3). Suppose -t*b - 3 = 3, 5 = p - 4*b. Which is greater: -4 or p?
p
Let r = 0 - 0. Suppose r = -c + q - 7, c - 5*c = -5*q + 32. Let w be 40/(-69) + (-2)/c. Do -1 and w have different values?
True
Suppose -3*n = 5*y, 10*y - 7*y = -n. Which is smaller: 7 or y?
y
Let c = -0.84 - -5.14. Let q = c - -1.8. Let d = -6 + q. Does 0.1 = d?
True
Let q(p) = -26*p + 252. Let z be q(20). Is z greater than -1?
False
Suppose -105*g + 110*g = -40. Let l = 4 + -13. Which is greater: l or g?
g
Let b = -0.4 + 1.2. Let i = -5.4 - -5.2. Let f = b - i. Which is smaller: 2 or f?
f
Let g = -37 + 520. Which is greater: 484 or g?
484
Suppose -10*g - 35*g + 90 = 0. Let u be ((-156)/81 - -2)*-6. Are u and g nonequal?
True
Suppose 21787 = -50*b + 6237. Is b at least as big as -311?
True
Let h = 10/3 - -31. Are 35 and h non-equal?
True
Let x(w) = 2*w**2 - 11*w + 1. Let c be x(6). Suppose -5*a + 0 = 10. Let k = a + c. Is 5 greater than or equal to k?
True
Let h = -16.9 + -0.1. Let o be (9/18)/(15/20 - 0). Is h at least as big as o?
False
Suppose 20 = -a - 2*m + 4*m, 0 = 4*a - m + 59. Does a = -15?
False
Suppose h = 5*t + 14 + 30, -3*h = 3*t + 30. Suppose a = -2*a - 18. Which is smaller: t or a?
t
Suppose -6*v - 3*b = -4*v + 22, 5*b = -4*v - 44. Are -13 and v equal?
False
Let n = -541 - -509. Are -31 and n unequal?
True
Let q = -379/14 - -27. Suppose 0 = 6*o - o. Let m be 2 - (1 + o/3). Is m at most q?
False
Let x be (184/40 - 3)/((-67)/10). Which is bigger: x or 1?
1
Suppose -85440 = 12*b + 48*b. Which is smaller: b or -1425?
-1425
Let c = -24 + -7. Let o = c - -33. Suppose -2*j = -12 - 0. Does o = j?
False
Let f be 48/1*(-6)/(-8). Let u = -32 + f. Suppose u*i = -0*i - 108. Which is greater: i or -28?
i
Suppose 0 = -10*m + 5*m. Which is smaller: 10/23 or m?
m
Let l = 182 - 180.5. Do l and 43 have different values?
True
Suppose l - 3*l + 26 = 0. Let p = l + -12. Suppose 3 = -h + p. Does h = -1/2?
False
Let m be -6*1/(-8)*24. Let h = m + 72. Let w be 26/(-117) + 56/h. Do w and 3 have the same value?
False
Suppose -3*z + 3*s + 89 = -82, -2*s + 257 = 5*z. Which is greater: 44 or z?
z
Let n = -184 + 184. Which is greater: n or 8/9?
8/9
Let a = -7 - -1. Let m = -7 - a. Let c be (m/3)/(8/16). Which is bigger: -1 or c?
c
Suppose -3*k = -5*k, 0 = -n + 2*k + 220. Let f be 54/n - 2/10. Which is greater: f or 3?
3
Let q = 13061/3087 + -3/343. Let r = -748 - -752. Is r smaller than q?
True
Suppose 2*p = -3*p - 35. Let n be 9/p - (-3)/2. Let x = 0 - -1. Which is smaller: n or x?
n
Let n be -3 + (38 - 41 - (-94)/16). Is 22 greater than or equal to n?
True
Let t be ((-30)/(-3))/(106/265). Are 25 and t equal?
True
Suppose -5*f + 5*x + 465 = 0, -4*x - 27 + 399 = 4*f. Let m = f + -97. Is m < -0.01?
True
Suppose f + 1 = 3*k - 2, 4*k + 2*f = 4. Let u(n) = n**3 + 9*n**2 + 6*n - 11. Let z be u(-8). Suppose -2*p = -z*p - 3. Do k and p have the same value?
False
Let z = -1942/67 - -29. Which is greater: z or 0?
z
Suppose -46*d - 26*d - 15*d = 0. Is -21/44 bigger than d?
False
Let s(p) = -63*p - 13. Let b be s(-2). Let h = b - 107. Which is bigger: h or 1?
h
Let m = -3/121 - 1310/847. Let v = -0.038 - -2.138. Let f = 1.1 - v. Which is smaller: m or f?
m
Let j(n) = -127*n + 243. Let c be j(5). Which is greater: -393 or c?
c
Let t = 33 - 47. Let d = 19 + t. Suppose 3*p = -p + 12. Is d at least as big as p?
True
Suppose -4*k + 8*k - 96 = 0. Let x be k/(-9) + 2 - 51/(-9). Which is greater: x or 1?
x
Let a be ((-231)/(-70) - 2)*(-8)/14. Does a = 0?
False
Let g be 3/((-42)/4) - (-11826)/(-63). Let d = 1318/7 + g. Which is smaller: d or -22?
-22
Suppose 5*d - 15 = 2*s + 16, 19 = 2*d - 3*s. Suppose -2*z + 2 = -i, d*i + 18 = -3*z + 5*z. Which is smaller: z or 91?
z
Let j be (-9 - 0)*(-18)/81. Let q be j/(-3) - 3/3. Is -3 at most as big as q?
True
Let j = -5 + 31. Let c = j + -28. Which is smaller: c or 0.1?
c
Let b = 30 - 26. Let c be -1*(4 - (b - 2)). Is -3 equal to c?
False
Let q = 84 - 118. Let o(a) = 2*a**2 + 28*a - 33. Let s be o(0). Which is greater: q or s?
s
Suppose -11*o + 2970 = 34*o. Are o and 65 nonequal?
True
Suppose 5*l - 15 = -0*l. Let w be 4/((-36)/33) + l. Let b = 1.4 - 7.4. Which is bigger: b or w?
w
Let t = -680 - -670. Do t and -21 have the same v