ual to 118?
True
Suppose 5*g - 78 = -478. Let x = g - -83. Do x and 25 have different values?
True
Let s be 0 + -1 - (22 - 27). Suppose -s*q = -4*f - 12, 0 = -2*q + 7*f - 2*f + 21. Let w be (q - (-17)/(-4))*(-136)/(-153). Which is greater: -6 or w?
w
Let h(q) = 2*q**3 + q**2 + 6*q + 3. Let v be h(-2). Let d = 17 + v. Let m(a) = a**3 + 5*a**2 + 6*a + 4. Let c be m(d). Which is smaller: c or 3?
c
Let m = -4440.76 + 4441. Is -3/2 bigger than m?
False
Let m = 2.526 - 1.626. Is 2/323 less than m?
True
Let z = 2 + -1. Let h = -9.8 + -273.2. Let v = -283.05 - h. Is z greater than v?
True
Let r(z) = -2*z**3 + 31*z**2 + 19*z - 49. Let t be 64/(-6)*(-3 + (-6)/(-4)). Let c be r(t). Which is smaller: c or -2/3?
c
Let a(l) = -4*l - 10. Let m be a(-2). Let f be (-50)/(-30)*(33/10 + m). Is f not equal to 1?
True
Suppose 4*s + 4*h = 32, 5*h = s + 2*s. Let v = 3 - s. Let b be (-6)/2 - ((-2)/1 + v). Is b greater than 7/4?
False
Let n be ((-1)/1)/((-3)/307). Let z = -378 + 486. Let k = z - n. Which is bigger: k or 7?
7
Suppose -3*l - 2*c = -22, 5*l - 26 = -3*c + 5*c. Suppose -6*d + d = -2*b - 49, l = 2*b. Which is greater: 9 or d?
d
Let f be 44/1650 - 30/1125. Which is smaller: 9/8147 or f?
f
Suppose 2*z = 5*j - 8*j + 64, -j + 3*z = -36. Let o = 25 - j. Which is smaller: 9/4 or o?
o
Let m be 5 + 2427/(-3)*-1. Suppose -m = 9*p + 590. Let g = p + 116. Is -40 < g?
False
Let i(o) = -o**3 - 4*o**2 + 3*o - 1. Let w = -2 - -4. Suppose -w*m + d - 5 = -0*d, -2*d = m + 15. Let s be i(m). Is 8 at most as big as s?
True
Let h = 249 - 1379. Let p be -7 + h/(-94) - 5. Let o = -1.2 + 0.2. Is p != o?
True
Let p = 691 + -691. Let w be 1/(-5) + 162/690. Which is greater: p or w?
w
Let l be (1/87)/((-1)/(-3)). Let x = -1121 - -1746. Let p = -625 + x. Which is smaller: p or l?
p
Let c(j) = -j + 18. Let f be c(13). Suppose 5*o - 108 = -3*v, -3*v - 65 = -3*o - f*v. Suppose o = 2*k + 67. Is k <= -23?
True
Let s be 3*(70/(-15) + 4)*(5 + -6). Which is greater: 94/117 or s?
s
Let f = 1117 - 352. Suppose -767*r = -f*r. Which is smaller: r or 16/117?
r
Suppose -2*d - 3 - 1 = 0, 3*a = -3*d + 81. Let l = 1050 - 1017. Is a at least as big as l?
False
Let p(c) = c - 8. Let q be p(11). Suppose -3*k = 3*v - 0*k, -q*v = -4*k - 28. Suppose 13 = -v*n - 103. Is n > -2/7?
False
Suppose 88 + 344 = -12*z. Let h be (1 - (-26)/z)*(7 + 37). Is 11 smaller than h?
True
Let d = -32/45 + 10/9. Let r be -5*((-18)/10)/((-2)/34). Does r = d?
False
Let y(x) = -30*x - 1613. Let n be y(-38). Which is greater: -474 or n?
n
Suppose 21 = -4*k + 7*k. Suppose -9*r = -k*r + 6. Let v(b) = -b**2 - 3*b - 3. Let n be v(-3). Are n and r nonequal?
False
Let z = -1/36388 - 22609/4857798. Which is smaller: z or -1?
-1
Let o = 5.2 + -5. Suppose 39840 = 56*n - 16*n. Let d be (n/126 - 8)*-28. Which is bigger: o or d?
d
Let v be 428/(-321)*2/15412. Which is smaller: v or -1?
-1
Suppose 167 - 481 = h - 2*z, -z = -2*h - 640. Is h greater than or equal to -316?
False
Suppose -241 = 7*t + 53. Let o be (6 - (-308)/t)/((-4)/(-30)). Is -16 > o?
False
Let w be (52 - 44) + (1 - 240). Which is smaller: w or -232?
-232
Let n = -2890232/207 - -13962. Which is smaller: -1 or n?
-1
Suppose 20*r - 42 = 18. Let c(s) = -8*s - 11. Let a be c(8). Let b be (2/r)/((-5)/(a/6)). Are 2 and b equal?
False
Let y = 0.233 - -3.767. Is y less than or equal to -27/11?
False
Let x be (4/(-6))/(8/(-6)). Let w = -19.22 + 19.257. Which is bigger: x or w?
x
Let n be 30/(-135)*(-10166)/(-4). Let r = n - -565. Is -194 < r?
True
Let p = -0.08 - 0.02. Let y = -1755 + 1712. Which is smaller: y or p?
y
Let z be (-35776)/312*(-45)/(-12). Is z at least as big as -6?
False
Let z be (-2 + 3)*(11 + -6). Suppose 3*x + 5*d = 173, x + 4*d = z*x - 284. Which is bigger: x or 65?
x
Let u = 9246 - 9280. Let h = -33.938 - 0.062. Let w = h - u. Which is greater: w or -20?
w
Let l be ((-402)/51)/1 - 12/102. Let n be 434/68 + l + 2/4. Is 0 at least n?
True
Let x(o) = 7*o**3 + 47*o**2 - 10*o + 38. Let f(h) = 11*h**3 + 70*h**2 - 15*h + 57. Let i(r) = 5*f(r) - 8*x(r). Let w be i(-26). Which is smaller: -148 or w?
w
Let p be ((-14)/(-10))/((-12)/270)*6. Let v be -6*3/p*7. Which is smaller: v or 28?
v
Let z = -33396 - -33396.03515. Is z < -1?
False
Let l = -10052 + 10056. Which is bigger: 86/21 or l?
86/21
Suppose 53*t - 52*t = -3*j - 12, -8 = -5*t + 2*j. Which is bigger: 2/2483 or t?
2/2483
Let s = -21 - -38. Let n = -16.039 + 0.039. Let y = n + s. Is y smaller than 2/7?
False
Let b = -2643/4 + 661. Let m = 11 + -8. Let w be (-8 - -2)*m/2. Which is greater: b or w?
b
Let c = -8.19 + -362.81. Let w = c + 389. Is 2/9 <= w?
True
Let x = 2057.96 - 2059. Is 1 < x?
False
Let g(n) = -n**3 + 8*n**2 + 10*n - 10. Let b be g(9). Let c be (-7)/14*(204/(-50) - -4). Is b bigger than c?
False
Let u = -36737/8 - -4591. Do u and 42 have the same value?
False
Let b = 2070889/60 + -34514. Is b at most 0?
False
Let o = -28092 - -28092.0046. Which is smaller: -1.5 or o?
-1.5
Let j be (-1450)/(-8) - (-10)/(-8). Suppose -280 = j*b - 185*b. Is b not equal to 54?
True
Let d(h) = -h - 39. Let x be d(-34). Let p(u) = -u**2 - 3*u**2 - 6*u**2 + 16 + 8*u + 11*u**2. Let c be p(x). Which is smaller: c or -2.6?
-2.6
Let n be (-617)/(-469) - (-524)/(-17554). Which is greater: n or 1?
n
Let i = 787732/12180005 + -4/16349. Which is greater: -1 or i?
i
Let k be -314 - (-6 + -2 + 9). Let t = -316 - k. Which is smaller: t or 2/67?
t
Suppose -3*h = 4*q - 16, 4*q - 5*h - 47 - 1 = 0. Suppose 119 = -q*l + 14*l. Suppose l = k + 45. Which is greater: k or -30?
k
Let q = 56.6 + -55.2. Let z = q + -83.4. Which is greater: z or -0.1?
-0.1
Let n = -2.77 - -4.14. Let a = 9.03 + n. Is -2 at most a?
True
Let m = -5044 + 5044. Which is smaller: 1/2246 or m?
m
Let g be (74 + (2 + 2)*1)/(-1). Let n = g - -84. Is 16/3 at most n?
True
Let l(v) = v**3 + 28*v**2 - 140*v - 386. Let p be l(-32). Are -79/129 and p unequal?
True
Suppose 17*y = 26 + 25. Suppose 5*c - 14 = 1, 2*m + 5*c - 13 = 0. Let i be m/2*(y + 1 + -6). Are 27 and i non-equal?
True
Let k(n) = n**3 + 26*n**2 - 21*n - 55. Let d be k(-11). Suppose -18*v - 533 = -d. Does 81 = v?
True
Let r be (279/5 + 1)/(52/(-130)). Let z be (-67)/(-5)*(-1065)/r. Is 100 >= z?
False
Suppose j + 10 = -0*j. Let s(f) = -f**3 - 8*f**2 - 3*f + 32. Let y be s(-7). Suppose 0 = 2*t - 4*h + 10, 2*h - 3*h - 56 = y*t. Which is bigger: t or j?
j
Let j = 395.94 + -410.73. Is j at least 2/7?
False
Suppose -374 = 15*y - 74. Is 2/75 greater than y?
True
Let z = -1690 + 1690. Which is smaller: 7646 or z?
z
Let n = -336274405/3219337 + 2/292667. Which is greater: n or -105?
n
Let o be 144/((-1)/1 + 3). Suppose 0 = -w - 3*w - 5*b + 276, w = 2*b + 69. Does w = o?
False
Let i = -494 - -175. Let b = 309 + i. Which is bigger: -0.05 or b?
-0.05
Let x = 387 + -687/2. Let m = x - 779/18. Is 2 less than m?
False
Let r be 6/1 - (-2 - -2). Let j(l) = 2*l**2 + 29*l + 6. Let b be j(-17). Suppose -2 = b*s - 92*s. Which is bigger: s or r?
r
Let p(a) = 2*a**3 - 211*a**2 + 111*a - 673. Let j be p(105). Which is smaller: -41 or j?
j
Suppose 3*f = 3*u - 288, 108*f - 5*u = 112*f + 357. Is f at most -1473/16?
True
Suppose 0*x + 17 = x - 3*q, -q + 3 = 4*x. Let c be 23/x*-6 - 3. Does c = -74?
False
Let x = 1404988/705 + -17936/9. Is -1 greater than x?
False
Let r be -1 + 0 + (-4)/(-5). Let i = -382 - -422. Is r bigger than i?
False
Let o be (584/(-106))/((-33)/(-6)) + 1. Suppose -170*q + 157*q = -13. Is o at least q?
False
Let v = -79.97 - -79.87. Is v smaller than -2398?
False
Let c be 2 + 9/3 + -4 + 1. Suppose -5*k + 4*z - z = -110, 2*z - 44 = -c*k. Let x be (-24 - 0)/(20 - k). Which is greater: 62/5 or x?
62/5
Let o = -20.3 + 23.3. Let y be 20/(-4) + ((-808)/(-280) - -2). Do y and o have different values?
True
Suppose -33*y = -5331 - 6945. Let k = y + -371. Is k bigger than 22/9?
False
Let a = 13466 + -13418. Which is greater: -14 or a?
a
Let r = 52037/3 + -17489. Which is smaller: r or -144?
-144
Suppose -5*r + 95696 = -2*y, -371*r + 4*y + 95712 = -366*r. Does 19137 = r?
False
Suppose 8 = 4*h - 5*h. Let q be (-8)/72*h/18. Is 0 bigger than q?
False
Let p = 22774 + -29166. Which is greater: p or -6390?
-6390
Let r = -2124 + 2175. Is r greater than 466/9?
False
Let i = -9.65 - -10. Let y = 0.071 + -0.071. Which is greater: y or i?
i
Let f be 