12)). Which is smaller: 8 or q?
q
Suppose -4*s = -3*p - 1862, 132*s - 2*p = 130*s + 932. Is s bigger than 462?
True
Let u = -85 + 155. Let f be -13*1*(-7)/u. Is f greater than 0?
True
Let q = -0.048 - 0.012. Are q and 2 non-equal?
True
Let w be 56 + -69 + 6694/518. Is w at most as big as 0?
True
Let o = 19929.5 - 19930. Is o <= -0.67?
False
Suppose -3*i = -0*i - 4*i. Let o(q) = 9*q + 40. Let s be o(-4). Let x be s + (308/(-12))/7. Are x and i unequal?
True
Suppose -3*d = -2*d + 21. Let b(r) = 1458*r**2 - 7292*r - 8. Let v be b(5). Which is bigger: d or v?
v
Let b be (-15 + 0)*(-12)/5. Which is greater: 11 or b?
b
Let h = 1544 - 1543. Let w = -0.3 + 6.3. Let p = w - 10. Which is bigger: p or h?
h
Suppose -3*c + 3*d = 59 + 31, -2*d + 10 = 0. Which is bigger: c or 150?
150
Let y(a) = 3*a**2 + 151*a - 1638. Let g be y(10). Is 1904/11 at least g?
True
Let y = 2/765887 + 1457228/28546906151. Is y equal to -1?
False
Let c be (8/(-42))/((-4)/78). Does 5 = c?
False
Let y be 3*(-6)/(-36) + (-7)/(-2). Let s be (y/(-12)*9)/((-3)/(-100)). Are -98 and s non-equal?
True
Suppose 152 = 10*n + 92. Suppose -8 = -n*q - 14. Are 12/41 and q non-equal?
True
Suppose -h + 9 = 3*b + 8, 0 = -b - b. Which is bigger: h or 2/29595?
h
Let p = -92.21 - -92.21. Let t(l) = l**3. Let o be t(-1). Which is smaller: o or p?
o
Suppose 4*i = -i + 75. Let x be 1/(-3*(-11)/i). Let q be (-52)/78 + 10/6. Which is smaller: q or x?
x
Let z = 5120 + -5187. Which is smaller: -49 or z?
z
Let x = 4805 + -5818857/1211. Which is greater: 1 or x?
1
Let j be 225/90 - (1/3)/(1/9). Which is greater: -12867 or j?
j
Let v = -15493/9855 - -44/27. Which is smaller: 1 or v?
v
Let i = 7 - 5. Suppose 0 = -i*n - 6 + 14. Suppose f - n*w - 26 - 2 = 0, 0 = f - w - 19. Is 16 bigger than f?
False
Suppose 3*z = 7*z - 36. Let a be -63 + (-1)/(z/(-27)). Which is bigger: a or 2/11?
2/11
Suppose -9*p + 24 = -8*p + 5*t, p - 21 = -4*t. Let v(g) = 6*g + 21 + 6*g**2 + g**3 - 9*g**2 - 7*g**2. Let a be v(p). Which is bigger: -8 or a?
a
Let a = 25 + -15. Let x(j) = -j**2 - 5*j + 13. Let m be x(-7). Let k be (-10)/(2/m + 1). Is a smaller than k?
False
Let r(p) = 8*p**2 - 87*p - 23. Let d be r(12). Which is bigger: d or 78?
d
Let c = 194.9045 - -2.2855. Let i = 197 - c. Is 1/9 not equal to i?
True
Suppose -420 = -y + 3*i, -837 = -5*y + 3*y + 3*i. Let c = y - 417. Which is greater: -7/5 or c?
c
Let a be ((-5)/(-3))/(281/7587). Is 11 at most as big as a?
True
Let u = -3.6202 + -0.0698. Let s = u + 3.49. Is s >= 2/199?
False
Let p be 132/180*-3 + 2/10. Let r be (-84)/42 - 26/p. Does r = 110/9?
False
Suppose 6*w - 12*w = 732. Let h = w + 52. Let x = h + 84. Which is bigger: x or 16?
16
Suppose 4*g - 42 + 30 = -5*s, 4*s - 4*g + 12 = 0. Is -1.548 less than s?
True
Let l be 8/10 - 42/(-10). Suppose -2*a - 8 = 0, 5*c + a - l*a - 906 = 0. Is c greater than 179?
False
Let x = 0.1476 + -0.0476. Suppose 0 = 65*y - 66*y + 64. Which is greater: x or y?
y
Let m = 259.76 + -258. Let u = m + 0.23. Which is bigger: u or 0?
u
Let h = -7.7618 - -4.7618. Let w = 12.9 - 9. Let a = 20.9 - w. Which is smaller: a or h?
h
Let v = -5419033731/533 - -10167032. Let w = v - -140/13. Is 0 at most as big as w?
True
Let s = 908 - 907. Let n be -1 + (9/36)/(s/4). Which is bigger: n or 4/21?
4/21
Let f = -2.6208 + 0.0508. Let w = -0.33 + f. Let m = -58.5 - -58.4. Which is bigger: m or w?
m
Suppose 0 = 5*j - 16*j - 242. Let b be 24/j*(1 - -1 - -107). Let p = 119 + b. Which is greater: -2 or p?
p
Let i(v) = 4*v + 66. Let q be i(-16). Let n = 2 - -3. Suppose -d = n*b + 4, -2*d - b - 8 = -q*b. Which is smaller: d or -2?
d
Suppose 4*z + 978 = 10*z. Let i = 111 - z. Is i equal to -54?
False
Let u(x) = -x**2 + 769*x + 13338. Let o be u(-17). Let s(k) = 4*k - 4. Let n be s(-4). Which is smaller: o or n?
o
Let g(d) = 2*d**2 - 24*d + 19. Let m be g(12). Suppose m*p - 525 = 16*p. Is p <= 175?
True
Let r be -5 - (27/(-5598))/((-4)/(-4152)). Is r greater than 2?
False
Suppose -3*q = 5*b - 58, 5*q = -0*q - 4*b + 114. Suppose -9 = 3*o, -q*j = -21*j + 4*o + 1112. Is -221 greater than or equal to j?
False
Suppose -3*y + 58 = -2*b, 60 = 5*y - 0*b + 4*b. Suppose m - 56 = -y. Suppose -2*t = -t + m. Which is greater: -39 or t?
-39
Let a(m) = 7*m**3 - 6*m**3 - 11*m**2 + 16*m + 26 - 10. Let l be a(9). Is -35/12 at least as big as l?
False
Suppose u - 14 = -3*d, -6*d = -d + u - 20. Suppose 0 = 8*a - d*a + 70. Let t = -70 - -53. Is t > a?
False
Let b = 0.6 + -0.68. Let v = -55.6505 + 55.6. Let t = 1.0505 + v. Is t smaller than b?
False
Let g be 4/30 + 25 + (-285066)/(-405). Which is smaller: g or 720?
720
Let l(u) = -122*u + 19. Let b be l(-2). Let a = b + -264. Are 18/41 and a non-equal?
True
Let s be (15 - 57 - 11)*7. Is -369 at least s?
True
Suppose 4*l + 3*w + 859 = 0, -2*w + w + 855 = -4*l. Let y(b) = -16*b**2 - 842*b + 104. Let j be y(-53). Are l and j nonequal?
False
Let n be (303/(-404))/(9/(-20)). Let f = 4 - 8. Let i be (6/(-4))/(3/f). Is i at most as big as n?
False
Let x be ((-8)/(-90))/4*(-411)/36853. Is -1 less than or equal to x?
True
Let g = 0.01853 - -0.06147. Is -0.188 smaller than g?
True
Let t(k) = k + 28. Let u be t(-25). Is -34 >= u?
False
Suppose 5*t - 74 = -23*f + 27*f, 2*t = 2*f + 28. Which is bigger: t or 161/9?
t
Suppose -7 = 3*j - a, 10*a = 2*j + 13*a - 10. Is 9/2212 <= j?
False
Let h = 130 - 127. Suppose 6 = 2*d - h*i, i - 2 = 3*d - 4. Is d > 5?
False
Let k(s) = -5*s - 13. Let w be k(-7). Suppose 9*z + w - 202 = 0. Which is smaller: 0 or z?
0
Let l be -1*1*(-6)/78. Suppose 4*t = -2*i + 502, 5*t = -i - 289 + 909. Let q = 122 - t. Which is greater: l or q?
l
Let b = -41392/17 + 2426. Let w = b - -994/51. Are w and 10 equal?
False
Suppose 1434 = -65*t + 71*t. Let l = t - 304. Which is bigger: -66 or l?
l
Let p = 638 - 644. Let o(j) = -2*j**2 + 60*j + 381. Let n be o(p). Which is smaller: n or -49?
n
Let w be (-156)/(-15) - (-18)/(-45). Let i(h) = -4*h - 23. Let a be i(-7). Which is smaller: w or a?
a
Let u = 260 - 30681/118. Suppose -1529 + 1513 = 16*o. Is o greater than u?
False
Let z be (14/(-3))/((-10)/(-15)). Let k(w) = -11*w**2 - 25*w - 24. Let q be k(-1). Let x be q*(-4)/(-16)*(-20)/(-6). Is z greater than or equal to x?
True
Suppose 2*r = -v - 397, 25*r = 5*v + 27*r + 2001. Which is smaller: -0.1 or v?
v
Let z = 462303/268 + -1725. Is z < -2?
False
Let b = 1 - 20. Let u = b - -27. Let p = 0.1218 - -3.8782. Which is bigger: u or p?
u
Let j = 806 + -1132. Let f = j - -315. Which is smaller: f or -19/2?
f
Let x = 22612 - 22612. Which is smaller: x or 0.20298?
x
Let v be 3*(3 + 728/(-24))*6/(-20). Is 0.09 greater than or equal to v?
False
Let p = 2007 + -2831. Let j be (5 + p/(-20))/(2/10). Is 231 > j?
False
Let s = 21479/3419 + -79/13. Is s at most 1?
True
Suppose 2*s - 4 = 5*j, 2*j + 4 = -s + 3*j. Let c be (((-4)/3)/(s/(-12)))/7. Let x = -0.11 - 11.89. Which is greater: x or c?
c
Let y = -1491.73 + 1580. Let d = y + 1.73. Let l = -96 + d. Do l and 3 have the same value?
False
Let a = 560 - 536. Let y be ((-89166)/a)/(-7) - 1/(-4). Is 532 equal to y?
False
Let c = -13322 - -39967/3. Which is greater: c or -5797?
c
Let q = 192 + -188. Suppose -5*j - 2*d - 7 = 0, -3*j = -0*j + q*d - 7. Let p be 2 + -8 - (-1 + -1). Which is smaller: j or p?
p
Let a = -1400 + 1400. Let i = 15.044 - 15. Let w = -2.656 - i. Which is bigger: a or w?
a
Suppose 69 = -3*n + 3*d, -4*d - 3 = -5*d. Let x be ((-4)/(-24))/(n/16 - -1). Which is bigger: x or -2.3?
x
Let a be -11 + ((-2)/6)/(-1). Suppose 4*v - 10*c + 5*c + 1756 = 0, 2195 = -5*v - 2*c. Let i = v + 429. Which is bigger: a or i?
i
Let k = 9873 + -9872. Let d = 2103 + -60979/29. Is k at least d?
True
Suppose -5*h = 7*z - 8*z - 4, 0 = z + 4*h + 22. Which is smaller: z or -88?
-88
Let h(k) = 13*k - 140. Let p be h(11). Let s be (-2 + -5 + 10)/(0 + p). Do 3/86 and s have the same value?
False
Let t be ((-10 + 2)/4)/3. Let o = -0.99 - 42.01. Let g = o + 42.7. Which is greater: t or g?
g
Let s be 93/(-9) + (-1)/(-3). Suppose 222 = -3*y + 60. Let x be ((-3)/y)/(s/(-75)). Is x smaller than 0?
False
Suppose -n + 3 = -m - 0*n, -2*n + 18 = 4*m. Suppose -10 = 2*c, v - c + m = -2. Suppose -4 = t - o, 3*o - 8 + 20 = 0. Does t = v?
False
Let k = -11.68502 - -0.12602. Let f = -11.7 - k. Is f != 1/4?
True
Let z(x) = -3*x**3 + 3*x**2 - 1