164 - -10334/63. Which is smaller: g or p?
g
Suppose 0 = -3*u + 4*q - 62, -8 = -3*q + 7. Let a be 2/(u/9) - (-3)/6. Which is smaller: a or -2?
-2
Let y(o) = -125*o**2 - o. Let r be y(-2). Let m(w) = 88*w + 382. Let z be m(-10). Is z greater than r?
False
Let b = 267406 + -267384. Suppose 0 = -3*i + i + 5*p + 54, 18 = i + 2*p. Are b and i unequal?
False
Let h = -945.05 + 1.05. Let w = 944.2 + h. Which is bigger: 44 or w?
44
Let w be (1 - -1)/(14 + 3384/(-243)). Suppose -5*o + 47 = -68. Which is greater: w or o?
w
Let f = -2711 + -3127. Is -5838 at least f?
True
Suppose 930 = 857*o - 863*o. Suppose -10*f + 616 = -14*f. Which is greater: o or f?
f
Let p be (-2)/(3 - (-2)/(-2)). Let f = -20513.19 - -21006. Let n = -493 + f. Which is smaller: p or n?
p
Let x = 120 + -120. Suppose 6*z = 9*z, x = 2*f + 2*z + 44. Which is bigger: f or -177/8?
f
Let m = 993.749 + -14.649. Let r = -930 + m. Let d = r + -49. Which is smaller: 67 or d?
d
Let g = -6316/14421 - -2/627. Let n(v) = 13*v - 300. Let c be n(23). Is c at least g?
False
Let r(b) = b**3 - b**2 - 4*b - 2. Suppose 0 = 10*q - 5*q - 25. Let c be (q + -7)/(1 - (-3)/(-2)). Let y be r(c). Is y at least 29?
True
Let z(l) = -l**3 - 13*l**2 - 16*l + 3. Let i be z(-11). Let x = -63 - i. Let c be (-4)/34 + 2368/17816. Are c and x nonequal?
True
Let o = -447 + 477. Let q be 4/((2/2)/((-15)/o)). Is q bigger than -21/37?
False
Let i = -12.15 + 0.15. Let a = 925 - 920. Let q = i + a. Does q = 0.3?
False
Let u(d) = -d**3 - 15*d**2 + 34*d + 20. Let b be u(-17). Let t be 4/(-2)*184/(-16). Are b and t unequal?
True
Let n = -2.98 + 3. Let u = -3641 - -3639.98. Let z = n + u. Which is smaller: -0.02 or z?
z
Suppose 10*o - 6*o = -4. Let s(l) = -l + 5. Let w be s(o). Let x be 54/15*15/w. Which is smaller: x or 0.1?
0.1
Let f be (1 + 12)*2*4. Let t = -1/2540 + -2537/7620. Which is bigger: f or t?
f
Let w(k) = -2*k**2 + 17*k - 36. Let h be w(10). Let q = 74 + h. Suppose 0 = q*a + 232 - 8. Which is bigger: -26 or a?
-26
Let z = -376 - -513. Let v = -137 + z. Which is bigger: v or -8/11?
v
Let s(n) = -13 + 3*n**2 - 5*n**3 + 29*n + 15*n**2 - 26*n + 4*n**3. Let k be s(18). Suppose 8*a - 9*a = -k. Which is bigger: a or 42?
42
Let c(b) = 2*b**3 - 53*b**2 + 23*b + 63. Let z be c(26). Let t be 177/18 + (z - -6). Which is greater: t or 0?
t
Suppose -g - 24 = -5*g. Let c(f) = 0*f - 3*f - 159 - 3*f - 2*f + 157. Let b be c(g). Which is bigger: b or -49?
-49
Let y = -48.2 - -6.42. Let p = y + -0.22. Suppose 7*g + 3 = 4*g. Is g equal to p?
False
Suppose 888*h + u = 887*h + 5, -h + 3*u - 19 = 0. Which is smaller: h or 10/39?
h
Suppose -3*s - 15 = 0, 10*d = 5*d - 2*s + 40. Let y be 0 - d/2 - 3400/440. Which is bigger: y or -13?
y
Suppose -920 = 4*i - 2*a + 1504, -i = 5*a + 595. Let r be -12*(-10)/(-4)*(-451)/i. Which is smaller: r or -23?
-23
Let v be (-5)/10 - 1/(-2). Suppose v*r = r. Let b = 1/11815 - -945/2363. Which is bigger: r or b?
b
Let r be ((-297)/10989)/((-3)/((-3)/(-2))). Which is smaller: 0 or r?
0
Let p = 95 + -98. Which is smaller: -3/302 or p?
p
Let h = -6118 + 6164. Which is bigger: 14 or h?
h
Let m(q) = -24*q - 3 + 46*q - 24*q. Let w be m(-7). Which is greater: w or 12?
12
Let y = -220.88 - -220.68. Do 1.188 and y have different values?
True
Let o be (8/85)/4*(-9009)/(-10878). Let t = -2/259 + o. Is t not equal to 0.4?
True
Let u be (-212)/(-2438) + (-2335)/26059. Which is smaller: 0 or u?
u
Let k = -54 - -80. Suppose -5*h - k = 2*o - o, -3*h + 4*o = 11. Let c be 1 + ((-2)/h)/(3/(-45)). Is c < -9?
False
Let z = 2242 - 2309. Let d = -1.02 - -66.02. Let r = z + d. Which is smaller: 0.5 or r?
r
Suppose 0 = -44*d + 47*d + 111. Suppose -3*n + 0*i + 19 = -4*i, -5*n + 24 = i. Suppose -z = -5*q - 53 - 133, -n*q + 5*z = 190. Is q bigger than d?
False
Let n = 537 + -357. Suppose n = 9*r + r. Suppose 33 = 2*v - 1. Are r and v unequal?
True
Suppose -321*c = 17*c + 260598. Are -770 and c equal?
False
Let k be (974/(-6))/(2/6). Let l be ((-2)/2)/((1562/71)/10692). Is l less than or equal to k?
False
Let z(x) = 4*x**2 - 2*x - 23. Let h be z(-6). Let k = h - 933/7. Is k < -203?
False
Let k = 11635 + -11662. Which is smaller: k or -515/19?
-515/19
Let u = -47 + 67. Let i = u - 122. Are i and -102 equal?
True
Let i = -2339 - -2338.95. Is 217 > i?
True
Let b = 125.94 - 103.17. Is b > 0.04?
True
Let m be (30627/4059)/(3/11). Which is bigger: -0.09 or m?
m
Let a = 481 + -486. Let j(k) = 53*k + 248. Let u be j(a). Which is smaller: -34 or u?
-34
Let r(b) = -b**2 - 10*b + 132. Let w be r(-16). Are w and 810/23 equal?
False
Suppose 0 = -4*y - 0 - 104. Let f be (-1)/(-3)*(y - -26). Is f at most -3/181?
False
Let y = -3988.6 + 3989. Let b = -3 - -2. Is b greater than or equal to y?
False
Let u be 4 + ((-36)/(-15))/((-14)/(-5))*-7. Which is smaller: 8/27 or u?
u
Let t(i) = -i**2 - 45*i - 196. Let n be t(-8). Which is greater: 103 or n?
103
Suppose 11*d - 1 = 76. Suppose -15*y = -d*y. Let h = 202/135 + -8/27. Do h and y have the same value?
False
Let u be (360/(-80))/((-2)/32). Let r be ((-303)/(-202))/((u/10)/(-2)). Is 1 < r?
False
Let b = -2.762 + 69.762. Let h = -22 + 97. Let r = b - h. Is r != -3?
True
Let t be 6600/(-250) - (-1 + 3/5). Let b be (-224)/t + -12*4/12. Which is greater: b or 6?
6
Suppose a + 18 = 4*r, 2*a + 34 = 2*r - 2. Suppose 0 = 10*x - 11*x + 31. Let v = 12 - x. Which is bigger: a or v?
a
Let l = -568679 + 3262511432/5737. Is l smaller than -1?
False
Let v be -2 - (-4 - -4) - 8. Let b(o) = 5*o - 5. Let j be b(17). Let k be 4/1 + j/(-6). Is v smaller than k?
True
Suppose -40*p + 15775 = 15135. Is p not equal to -207?
True
Let j = -3.42 - -253.42. Let p = j + -167.95. Let g = -82 + p. Are g and 1/2 unequal?
True
Let t be ((-1)/(-6))/(0 - (-1)/2)*-3. Which is greater: t or 4/849?
4/849
Let s be (10/(-59300)*4)/((-5)/75). Which is smaller: -1 or s?
-1
Let p be 324/(-48) - -6 - -10. Let u be 12/(-80) + 51/12 + -4. Which is bigger: p or u?
p
Let b = 4521 - 4523. Does -1934 = b?
False
Suppose 3*d - 18 = -3*o, 2*d - 5*o = 5*d - 28. Let v(c) = -4*c**2 + 8*c. Let f be v(2). Suppose d = -2*s + g, -g + 5 = -f*s + 2*s. Is s equal to -1?
False
Let p = 90 + -85. Let b be 7 + 486/270*4/(-6). Which is smaller: b or p?
p
Let j = -788 - -788. Let c be (-6 + (-1446)/(-240))*-1. Which is bigger: j or c?
j
Let u be (24/10)/(24/(-320)). Let n = u + 36. Suppose 28 = -n*t - 0*t. Which is greater: t or -10?
t
Let w be (18/(-15))/((-2)/(-40)). Let n(b) = -b**3 + 17*b**2 + 17*b + 50. Let h be n(18). Let u be (1 - 4)/(w/h). Is u not equal to 0?
True
Let w be (0 - 1)*1 + 93/97. Let f(s) = s**2 + 67*s - 438. Let g be f(-73). Which is greater: w or g?
g
Suppose -19*h - 22 = -21*h. Let n be ((-14)/(-3))/(6*6/(-90)). Let i = n + h. Is i equal to -63?
False
Let l(h) = -19*h**2 + 359*h + 39. Let n be l(19). Let r = -6309/38 - -166. Which is smaller: r or n?
r
Suppose 14 = -4*j + 5*j. Let x(k) = k**2 - 14*k + 35. Let t be x(7). Let p = t + j. Which is smaller: -4/9 or p?
-4/9
Let j = 11.15 + -12. Let f = 0.15 - j. Let g = -0.123 + 21.123. Which is smaller: f or g?
f
Let a = 63 - 62. Let g be 2/12*(1260/(-155) - -8). Is g >= a?
False
Suppose 11*o + 483086 - 122858 = 0. Which is greater: -32747 or o?
-32747
Let f = -3.88 - -3.839. Are -0.06 and f equal?
False
Let x(v) = -v**3 - 6*v**2 + 3*v + 11. Let y(r) = -5*r**3 - 4*r**2 + 2*r + 1. Let k be y(1). Let q be x(k). Which is smaller: q or -1?
q
Suppose 5*r - 154 = g - 19, -3*r - 2*g = -94. Suppose -r = -5*l - 38. Let t be (l/(1*-2))/(2 - 3). Which is smaller: -1/7 or t?
t
Let h = 38.5 - 46.8. Let p = 331.3 + h. Which is smaller: p or 1?
1
Let k(u) = -2*u**3 - 9*u**2 + 11*u - 8. Let q be k(-6). Let z(c) = c**2 - 33*c - 72. Let v be z(q). Which is smaller: -36 or v?
v
Let r be (9 - 19)*(-3)/30*1. Are r and -6/3287 equal?
False
Let z = 10030.1 + -10030. Which is smaller: z or 2/8547?
2/8547
Suppose -6*q = q - 2331. Suppose -10*b = -b - q. Suppose 2*d = 4*i - 46, 3*i + 2*d - 3*d = b. Which is greater: 0.3 or i?
i
Let t(w) = -3*w**2 - 23*w - 8. Let p(h) = -8*h**2 - 68*h - 25. Let v(n) = 6*p(n) - 17*t(n). Let d be v(6). Let j be -3 + (d/14)/((-2)/7). Is 2/51 at least j?
True
Let o = -31.39 - -11.47. Let w = o - -20. Let l = 9.4 - 9.3. Is l at most w?
False
Let k(t) = 20*t - 181. Let s be k(24). Is s <= 300?
True
Suppos