/4 at least i?
False
Suppose 2*k - 1433 - 39 = -2*s, 3684 = 5*k + 3*s. Let f be (14/21)/((-3)/k). Are 1 and f unequal?
True
Let g = -12.9 - -10.74. Let n = 0.16 + g. Let v = 233/270 - 4/135. Which is smaller: v or n?
n
Let p(s) = 1618*s - 11164. Let j be p(5). Which is bigger: j or -3072?
-3072
Suppose 0 = -2*u + 2*v + 3*v - 719, 5*v + 966 = -3*u. Let q be (2/4)/((-4)/2696). Is u at most q?
True
Suppose 5*c - 11 = 19. Let g = 7.8 - 24.2. Let r = 16.5 + g. Is c less than r?
False
Let r = 82.88 + 3.12. Let h = -87 + r. Is h smaller than 254?
True
Let x = 2550 - 3087. Which is smaller: 0 or x?
x
Suppose 3717 + 2023 = -41*h. Which is smaller: h or -164?
-164
Let a be 4/10*5/(-151). Suppose 3*o - 2*m - 4 = -1, 0 = o + 4*m - 1. Is o smaller than a?
False
Suppose 10*c - 117 = 1163. Let s = c + -113. Which is smaller: 12 or s?
12
Let l = -1116.09 - -505.42. Let t = l - -625. Let s = t - 14. Which is smaller: s or 1?
s
Let r = 3283 - 2979. Which is greater: r or 2/9?
r
Let w = -9155/8 + 3889/8. Suppose -14 = 2*s, 814*p - 815*p = 2*s - 650. Let q = w + p. Is q < 7?
True
Let d = -33127052/2945 - -56243/5. Which is greater: -1 or d?
d
Let w be (-2)/5 + (-81)/(-15). Let x be (((-10)/25)/(-1))/((-8)/(-100)). Suppose 4*v + 3*g - 18 = g, 15 = 5*v + x*g. Which is greater: v or w?
v
Suppose -4*i = 28, 2*o - 57 = -13*i + 18*i. Is o > 14?
False
Suppose 171 = -3*g + 242*n - 245*n, -n + 303 = -5*g. Which is greater: 16 or g?
16
Let m = -3 + 7. Let a = m + -19. Let g = 26035 + -26035. Is g <= a?
False
Let o(l) = -2*l**2 - 11*l + 2. Let d be -16*(2 + 0 + (-13)/4). Let c be d/12 + (-84)/18. Let z be o(c). Is 18 at least z?
True
Let f = 5 - 5. Suppose 4*t = -5*q - 84, -5*q + 6*t = 11*t + 80. Let g(n) = n + 20. Let x be g(q). Are f and x nonequal?
False
Let a(p) = 2*p + 8. Let h(m) = m - 13. Let f be h(9). Let s be a(f). Suppose s = 5*b + 12 - 2. Is -16 > b?
False
Suppose 3*h = -0*h - z + 97, -5*h + 3*z + 157 = 0. Suppose 28*s + 12 = h*s. Suppose 0 = -a - s*f - 5 - 7, 20 = 4*a - 5*f. Is -10/9 bigger than a?
False
Let w = 136.3 - -48.9. Is w greater than 2?
True
Let n(g) = g**3 + 12*g**2 + 13*g + 11. Let p be n(-7). Suppose 15*x - 4*x - p = 0. Which is greater: x or 16?
16
Let z(c) = -2*c**2 + 12*c + 54. Let b be z(9). Which is greater: -296 or b?
b
Let v be 8/(-4)*(18/(-4) + -2). Let j = v - -11. Suppose -4*t + 4*c - j = 0, 2*c = 3*t - 0*t + 17. Is t < -6?
False
Let m = 2669 - 2670. Which is bigger: m or 8/1619?
8/1619
Suppose 677*z = 669*z - 24. Let b = 4 + -3. Let x be (-4)/(-24)*b*z. Which is smaller: x or -1/29?
x
Let y = -20391 - -19379. Is 2 at most y?
False
Suppose 0 = 1933*g - 2085*g - 53504. Which is smaller: -18 or g?
g
Let v be (1/3)/((-3119)/18 + -14). Which is greater: v or 1?
1
Let b(q) = 7*q - 54. Let g be b(6). Let a(m) = -m**2 - 9*m + 8. Let j be a(g). Let r = j + 111/4. Is r at most as big as 1/7?
True
Let o(d) = -10*d**3 - 13*d**2 - 33*d - 12. Let c be o(-3). Is -2 equal to c?
False
Let m = 20.11 - 15.16. Is -1/2 less than or equal to m?
True
Let j be -2 + (-6)/(-5) + ((-298714)/(-130) - -13). Is 2309 bigger than j?
False
Let w = 22 - 32. Let t = -195386/7 + 27912. Which is smaller: w or t?
w
Let b be (-23076)/(-332079) - (-42)/(-609). Is 1 greater than b?
True
Let g(t) = -t**3 + 26*t**2 + 26*t + 24. Let w be g(27). Let p be w/(-1) - (4 + 12/(-18)). Which is smaller: -168 or p?
-168
Let y = 52 - 16. Suppose 15*r - 39*r + 1824 = 0. Suppose 0 = o - 5*f - 38, -8*f + 7*f - r = -2*o. Is y > o?
False
Suppose -8*c = -6*c + 2*p + 90, -4*p = 12. Which is bigger: c or -62?
c
Suppose 8*a + 47 = -3*n, -6*n - a - 9 = -5*n. Is -21 < n?
True
Let q = 3646 + -3645. Which is greater: -49 or q?
q
Let p = -10.2 + 10. Let k = -8 - -8.1. Let q = 0.2 - k. Which is greater: q or p?
q
Suppose -3*v + 123 = -213. Let w be -230*1/(-2) - (1 + 1). Which is greater: w or v?
w
Let p = -2990/3 + 1012. Let r = 16 - p. Let h = 0 + 0.1. Which is smaller: h or r?
h
Let r = -18277 + 932126/51. Suppose -d + 4*d = -3. Which is bigger: r or d?
r
Let q(v) = v**3 - 4*v**2 - 3*v - 4. Let b(p) = -p**2 - p - 5. Let j be b(0). Let r be (0 - -4)*j/(-5). Let h be q(r). Is -15 greater than h?
True
Let g = -25527 + 120780. Let u = 668356/7 - g. Let s = u - 226. Do s and 0.1 have different values?
True
Let d = 584 + -585. Let v = 22 - 12. Let y be v/(-15) + (34/(-6))/d. Is 6 equal to y?
False
Let j = 0.7531 + 39.2469. Is 122 greater than j?
True
Suppose -1080 = -5*a - 3*p, 3*a - 3 = 2*p + 626. Suppose a = 5*x - 57. Suppose 153637*s = 153618*s + 1045. Which is smaller: s or x?
x
Suppose 4*r - 20 = -3*y, -5*r + 2 = y - 3*y. Suppose r*j - 30 = -4*j. Suppose 1 = n + j*d, -2*d + 0 = n - 7. Which is bigger: 9 or n?
n
Let n be (2/75)/(2/(-2) + 150/500). Which is smaller: n or -1?
-1
Let o be 10/6*6/(-4). Let l = 198 + 96. Suppose l*t = 292*t - 8. Which is smaller: o or t?
t
Let t = -2 - -22. Let n be 4/2*(-90)/t. Let x(a) = -a**2 - 9*a - 4. Let d be x(n). Which is bigger: d or -5?
d
Let g = -24/335 + 11398/149745. Are 0.1 and g equal?
False
Let y be 3 + 22 - (-36)/(-6). Suppose 12*p + 3*z + y = 11*p, -2*z + 27 = -5*p. Is p bigger than 3?
False
Let n = 57581/25 - 2303. Let p = 0 - 1. Is p > n?
False
Let l = 827232321/452205728 - 1/2174066. Let n = l - 25/13. Suppose 2*c - 6 = -2*a, -6 = 13*a - 17*a - c. Which is smaller: a or n?
n
Suppose 5*q - 5*a = q + 3, -2*a = 6. Let l be 4*q/12*-1. Is l < 1/256?
False
Let n be (-25)/(-2) - 31/62. Let d be (-2)/(2 + -8) - (-8)/n. Are d and 1 unequal?
False
Let m = -538 - -17. Let j = m - -519.55. Is j at least 2?
False
Let s = -2 + 2.2. Let z = -80.87 - 0.13. Let g = 89 + z. Which is bigger: g or s?
g
Let r(k) be the third derivative of k**6/120 + k**5/15 + k**4/12 - k**3/6 + k**2. Let l be r(-3). Let d be (-32)/42*(31 + -4)/(-9). Are d and l nonequal?
True
Let x = -1481 + 1206. Which is smaller: -274 or x?
x
Let i be 11 + -19 + 5412/42. Which is greater: i or 121?
121
Let w(m) = -m**2 + 3*m + 4. Let s be w(-3). Suppose -203*f = -54*f + 83*f. Is f less than or equal to s?
False
Let x be 1*((-231363)/(-1025) + (-408)/(-100) + -4). Which is bigger: x or 227?
227
Let q(l) = l + 14. Let g be q(-10). Let c be g/(2 + 421 + -1). Is c at most as big as -1?
False
Let h(b) = -14*b + 54 - 7*b + 23*b. Let r be h(-18). Let z(w) = w**3 - 10*w**2 + w + 9. Let c be z(10). Which is greater: r or c?
c
Suppose -4*m - 4*w = 40, m + 4 = -2*w - 5. Let u be -4 + (m + 16 - (-2 + 4)). Are u and -1/71 non-equal?
True
Let t(c) = -c**2 - 2*c + 6*c + 6*c - 3*c. Let n be t(7). Let y = 37/237 - -14/79. Is y at least n?
True
Suppose 2*d - 3*k = -492, 3*d + 4*k = -323 - 449. Do -252 and d have the same value?
True
Suppose -q + 504 = 3*q. Let z = q - 46. Let y be 3/12*z/(-25). Is y at least 1?
False
Let x(q) = 11*q + 90. Let h be x(-8). Suppose -5*b + 14 = -2*z - 9*b, -h*z = -b + 4. Which is bigger: z or 0?
0
Let r(y) = 6*y**2 - 87*y - 45. Let c be r(15). Is c bigger than 2/4971?
False
Let q(z) = -z**3 + 17*z**2 + 7. Let u(n) = -18*n - 109. Let k be u(-7). Let p be q(k). Is p at least as big as 6?
True
Let q = -197.222 + 197. Let f = q - -1.112. Let t = f - 1.29. Which is greater: t or 5?
5
Let x be (-376)/(-279)*(-6)/(-44) + (-280)/(-1540). Is x != 1?
True
Suppose 5*j - 2*y + 17*y = 0, -j = y + 4. Which is bigger: j or -23?
j
Let l = 394 + -390. Let t be l/146*1*5/(-5). Is 1 bigger than t?
True
Let k(o) = -o**2 + o + 7. Suppose -4*d - 51 + 3 = 0. Let b be ((-18)/d)/(2/4). Let h be k(b). Which is smaller: -3/43 or h?
-3/43
Let s = 8/21 - 59/210. Suppose 3*u = 10*u - 7. Which is smaller: u or s?
s
Let i = -25719/120218 + -3/8587. Which is greater: i or 423?
423
Let t = 12.8 - 14.9. Let g = 0.1 + 1.9. Let w = t + g. Which is smaller: -2.1 or w?
-2.1
Let i = 30659/408 + -601/8. Which is greater: i or -1/6?
i
Let y = 3055 - 15328/5. Let m = -1.6 - 0.4. Which is bigger: y or m?
m
Let c = -11877 + 11877. Do -12/1489 and c have different values?
True
Suppose 3*s - 1402 = -5*j, 4*j + s - 565 = 551. Suppose 274*x - 8 = j*x. Is x equal to -7/10?
False
Let k(l) = 4*l - 3. Let g(z) = -z + 1. Let i(n) = 3*g(n) + k(n). Let f be i(-2). Which is bigger: f or -6.1?
f
Let b be ((-10)/(-4))/(153/108 - 1). Let r be ((-216)/60)/9 - b/10. Is -3/361 > r?
True
Let n = -15347 + 15347. Let o = -10.6 - -18. Which is bigger: o o