g as a?
False
Let q(s) = 2*s**3 + 2*s**2 - s - 2. Let i be q(1). Let f(r) = r**2 - r. Let v be f(i). Is v greater than or equal to 1?
False
Let x be 14*33/(-1232) + 3562/(-16). Let b(y) = -y**3 - 17*y**2 - 2*y + 2. Let w be b(-16). Which is smaller: w or x?
x
Suppose 9 + 12 = -3*b. Let g(v) = -v**3 + 2*v**2 + v - 1. Let z be g(2). Let f be (b/10)/((-4)/8) - z. Are f and 2 nonequal?
True
Suppose -2*b - 3*g - 31 + 49 = 0, 20 = 3*b + g. Which is greater: b or 51?
51
Let u = -297.9435 - 0.0565. Let w = -246 - u. Is w greater than or equal to -2/9?
True
Let m = -1387653/2220232 - -1/277529. Let d be (1/(-2))/(2/4). Is d less than m?
True
Let t = -11564 - -6314. Is t bigger than -5250?
False
Let g be ((-6)/5 + 1)/((-31)/(-2449)). Which is smaller: g or -9?
g
Suppose 87*d = 86*d - 5*r - 236, 0 = -2*d + r - 428. Which is smaller: d or -2?
d
Let a be -61 - (-1 - (-1 - (-1 - -3))). Let x = a + 68. Let s be (x/30)/(129/63 - 2). Which is smaller: s or 4?
s
Let i = -522 - -341. Let f = i - -181.04. Is -10 at least as big as f?
False
Suppose 26071*d = 26095*d - 62544. Is 2606 < d?
False
Let h = 84.1 + -83.93. Which is smaller: h or 2/13?
2/13
Let z = 279980/3 - 94263. Is z greater than or equal to -936?
False
Let a(h) = -h**3 - 12*h**2 - 3. Let w be a(-12). Let d be ((-12)/(-14))/((6/(-14))/w). Which is smaller: 48/7 or d?
d
Suppose -5*g = 2*j - 14, -2 = -0*j + j - 2*g. Which is greater: 1569 or j?
1569
Let j be (-4)/6 + (-123)/(-171). Let u = -416 + 806. Let o = u - 390. Is o > j?
False
Suppose 2*n - 2*h - 5662 - 1496 = 0, -3*h + 14267 = 4*n. Is n equal to 3574?
False
Let d = -9535 - -19591/2. Let z = d + -262. Is -0.9 at most as big as z?
False
Let x(z) = -58 + 93*z + 13 - 96*z. Let w be x(-15). Let s = 2/145 + -743/1305. Are s and w nonequal?
True
Let r be (2/4)/(6/42). Let n(d) = -d**2 - 13*d + 173. Let i be n(8). Is r greater than or equal to i?
False
Suppose -2*p + 2 = -5*f, -4*f - 1 = -9*f - p. Suppose -v - 1 = -3*b, 7 = -3*b - v - f. Is b greater than 2?
False
Let u(n) = 10*n**2 - 1. Let x be u(-1). Suppose 460 = -14*h + x*h. Is h greater than -91?
False
Let g(i) = -2*i + 16. Let r be g(5). Let l(n) = n**3 - 8*n**2 - 3*n + 10. Let m be l(r). Let v be 1/m + 3/15. Are -1 and v nonequal?
True
Let k be -4 + (2/7375)/(9/132735). Is -1 < k?
True
Let w = -25 - -53. Let g = -9791 - -68727/7. Which is smaller: w or g?
g
Suppose 0 = -2*q - 0 + 12. Let p be 4/q - 21/(-9). Suppose -4*z - 42 = -2*n - 104, p*z - 40 = -5*n. Which is greater: -1/3 or z?
z
Let t = -524 + 476.9. Let i = 47 + t. Let l = 660 - 1961/3. Which is bigger: l or i?
l
Let j = 21251.467 + -21249. Which is bigger: j or 0?
j
Suppose 0*q - 4*q = 0. Let v be 15/20 - 13449/36. Let w = -372 - v. Which is bigger: q or w?
w
Let a(i) = 3*i + 62. Let k be a(-15). Let o be 40/(-340) - (-1141)/k. Is 66 != o?
True
Let r be (17/(-3))/(1022/(-876))*-7. Let s be ((-62)/6)/(1/3). Is r > s?
False
Let i = -0.3333 + 0.3333. Which is bigger: i or 3/598?
3/598
Let s = -0.02623 + -0.97377. Suppose -215 - 33 = -3*f - 4*t, 5*t + 279 = 4*f. Is f at most s?
False
Suppose -29*l = -32*l - 3. Let z = 277 - 9417/34. Which is greater: z or l?
z
Suppose 3*t = -t + f + 27, 4*t + 2*f - 30 = 0. Suppose -t*q = -12*q - 20. Let y(d) = -2*d**2 - 12*d + 12. Let c be y(-7). Which is bigger: c or q?
c
Suppose 0 = 5*i - 4 + 44. Let n(t) = -6*t - 39. Let c(r) = 6*r + 37. Let v(j) = 4*c(j) + 3*n(j). Let s be v(-6). Is i at least s?
False
Let m(a) = -3*a - 15. Let i be m(-6). Suppose 0 = 4*s - 4, -i*y + 224 = -4*s + 609. Let b = y + 145. Which is smaller: 15 or b?
15
Suppose -4*s + 122 = 2*c, -2*c + 132 = -0*c + 2*s. Let p(n) = 2546*n + 68744. Let u be p(-27). Which is smaller: c or u?
u
Let d = -1.65 + 23.65. Let z = -21.66 + d. Are z and 0.1 equal?
False
Suppose -2*p + 5*j = 2 + 6, 5*j - 32 = -2*p. Let g be (17 - 15)/((-16)/p + 2). Let a be (3/(-14))/(2/36). Which is smaller: a or g?
a
Let n(u) = 4*u**2 + 17*u - 77. Let z be n(6). Let j = -168 + z. Is j >= -3/55?
True
Let h(j) = -j**3 + 2*j**2 + 58*j - 81. Let y be h(8). Do y and -15/796 have different values?
True
Suppose -439 = -31*a + 107 + 415. Which is bigger: a or 437/14?
437/14
Let g be (-6)/(-15) + 19 + 0. Let l(b) = -1070*b + 120928. Let r be l(113). Does g = r?
False
Let x be 11/63 - (-8)/(-6 - -78). Let o = 504 - 587.8. Let r = o - -15.8. Which is bigger: r or x?
x
Let j = -53370 - -481039/9. Let y = 773/9 - j. Which is bigger: 8 or y?
8
Let g = 7545 + -7961. Does g = -16?
False
Let s = 14.3363 - 14.691. Which is smaller: 2/7 or s?
s
Let j be (-56)/(-48) - (-111)/(-18). Do -245/62 and j have the same value?
False
Let u be (-38 - (-3 - -5))*304/(-20). Let o(p) = -94*p - 49. Let w be o(-7). Which is smaller: u or w?
u
Let z = -137.13 - -3.13. Let j = z - -133.61. Let m = 0.49 + j. Is m at least as big as -87?
True
Suppose -247*d - 52 = -251*d. Let c(i) = i**2 - 7*i - 2. Let o be c(9). Suppose -2*t = 14 - o. Which is bigger: d or t?
d
Suppose 2*q - 827 = w, w - 809 = 2*w + q. Is -816 less than w?
True
Let z be 591*48/(-90684) + 0 + 6/33. Is z less than -1?
False
Let b be (-9)/36 + ((-620638)/(-277576) - 2). Let q = b - -3/314. Are 1 and q equal?
False
Let i be (-7)/((-42)/(-75)) + (-2)/4. Let w = i - -11. Let p be w - ((-2)/(-5) - (-498)/(-195)). Which is smaller: 2/7 or p?
p
Let t(g) = 149*g**3 - 2*g**2 + 13*g + 14. Let c be t(-1). Which is smaller: -175 or c?
-175
Let r(m) = m**3 + 10*m**2 + 8*m - 33. Let i be r(-9). Let l be i/(-32)*-2*4/33. Is l > -2/13?
False
Let d = 439 - -24. Let k = d + -561. Is k at most as big as -98?
True
Suppose -3*b = b + b. Let f = 0.117 + -50.117. Which is smaller: f or b?
f
Let i be 3/(-1 - (-30)/12). Suppose -i*g - 4*k - 86 = 0, 4*g + 5*k = 10*k - 107. Is -34 bigger than g?
False
Let z = 12.1 + -16. Let h = -6214 + 6210. Which is greater: h or z?
z
Let n be -1*5/10*34. Let b be (-22)/(-6)*(8 + n). Which is smaller: -31 or b?
b
Let c be 2/17 - (-2207*24/2346 + 6). Is c not equal to 16?
True
Let r = 188 + -186. Let n be 649/(-9912) + (r/(-14) - 0). Which is smaller: 0 or n?
n
Suppose 0 = -7*m - m + 88. Let r = m - -7. Let j be (5/10)/((-3)/r). Are j and -8/3 equal?
False
Let d be (-1)/(-4) + 79/4. Let u be ((-321)/7)/(-3) - (-36)/(-126). Let s be 5*1/(u/51). Which is smaller: s or d?
s
Suppose -76*w - 566304 - 305872 = -18240. Is w greater than -11236?
False
Let m = 154 - 152. Suppose -m*r + 24 = -10*r. Which is greater: r or -6?
r
Let n be (2*(-78)/12)/(3 - 136/36). Is n > 18?
False
Let u = 9/4 - -5/4. Let o = 17/3 - u. Suppose 4*w - 5*b = 33, 7*b = 4*w + 4*b - 23. Which is smaller: o or w?
w
Let h be ((-6)/(-26))/((-35)/(-455)). Is h < 64/39?
False
Let u be ((-85613)/8349 - 10/6) + (-2)/(-11). Are -12 and u equal?
False
Let i be 270/18*3/(60/16). Let g be (-166)/42 + 8/12 + 4. Is g smaller than i?
True
Let l(t) = -t**2 + 43. Let b be l(6). Suppose 77 = 21*h - b. Are h and -3 non-equal?
True
Let s(z) = 10*z - z**2 + 0 - 8 + 2*z. Let g be s(8). Let l(u) = u**2 + 4*u - 20. Let i be l(-9). Which is greater: i or g?
i
Suppose 199 + 7 = -r + 4*d, 3*r + 3*d = -648. Let z = r + 261. Which is smaller: 45 or z?
45
Let g = 195 - 160. Which is smaller: g or 3?
3
Let a be 0 - 3*(-5)/(-33). Suppose -2*u + 5*s - 2 = 0, 0 = -3*u + u - s + 22. Let z be (-6)/u + (-2)/(-3). Which is smaller: z or a?
a
Suppose a = 2*v - 25, 0 = 3*a + 26*v - 21*v + 20. Which is greater: 7 or a?
7
Let d = -66692 + 532693/8. Are d and -106 equal?
False
Let j = 460 - 451. Let z(c) = -c**2 - 11*c + 6. Let w be z(-8). Let i = w - 24. Which is smaller: j or i?
i
Let o = 0.16395 - 62.16395. Which is smaller: -0.35 or o?
o
Suppose 5*o = 2*i - 6, -o - 10 = -i + 5*i. Let s be o - (1395/78 - 2/4). Is s bigger than -20?
True
Let f = -198.4 + 199.4. Which is smaller: 1/39 or f?
1/39
Let r = 8782 + -12796. Which is greater: r or -4013?
-4013
Let y be (-2074)/175 + (-9)/21 + 7. Which is bigger: y or -4?
-4
Let n = 0.032 + -12.532. Let m = n - -12.6. Suppose -7*t + 54 + 51 = 0. Which is greater: t or m?
t
Let x = -118 - -123. Suppose 0 = -3*h - x*l + 8, -14*h + 19*h - 2*l = 3. Are h and 50 nonequal?
True
Let b = -68675 + 1304485/19. Is b less than -2?
True
Let h(c) = 19*c + 6. Let q be h(-3). Let y(f) = 2*f**2 + 62*f + 421. Let m be y(-18). Is m greater than q?
True
Let h be 424/(-1582) - (-10 