)/(-21)). Which is bigger: -1 or p?
p
Let s = 115 - 115.38. Let g = s + -0.62. Which is bigger: g or 5?
5
Suppose 4*g - 132 = -5*a, a + 98 = 3*g + 5*a. Let j be (980/112)/((-1)/(-4)). Is j less than or equal to g?
True
Let a be (6/(-10) - (-1092)/420) + -3. Is -12/2423 less than a?
False
Let q = 79 + 41. Let y = -450 + 451. Which is bigger: q or y?
q
Let z be 24/18 - (427 - 0)*(-32)/(-96). Which is bigger: 9 or z?
9
Let b(g) = -g**3 - 13*g**2 - 28*g - 6. Let w be b(-11). Let f be w/(-88) + (-22)/(-121). Which is smaller: f or -1?
-1
Let k = -343 + 345. Suppose -4*v - 292 = -5*s, -k*s - 115 = 2*v + 13. Is -68 greater than v?
False
Suppose -314 = 5*v - 2*y, v + 3*y - 21 + 77 = 0. Which is smaller: -26 or v?
v
Let m = -5107 + 5105.77. Are -4 and m unequal?
True
Let w = 1.4497 + 0.5503. Which is bigger: w or 10.7?
10.7
Let o(x) = -4*x - 6. Let r be o(-6). Suppose 166 + 458 = 26*u. Suppose 5*q + i - r = 3*q, 4*i + u = 4*q. Is q less than -2/3?
False
Let c(x) = -819*x - 8194. Let w be c(-10). Let u(i) = -i + 2. Let o be u(7). Which is smaller: o or w?
o
Suppose -d + 514 = 2*d + 5*p, 502 = 3*d - p. Let f be 2/(-7) + 1896/d. Let x = 0.5 + -2.5. Which is smaller: x or f?
x
Suppose 4*w = -4*r + 4, -19 = -4*w - 3*r + 4*r. Suppose w*q + 131 = 127. Is -1/892 at most q?
False
Let t = -32 + 11. Let f be (-12)/7 - (-6)/t. Let c be (16 - 884/51)/10. Is c at least f?
True
Let r = 9754/5 + -1959. Let f = 3017 - 1945. Let q = -1079 + f. Which is bigger: r or q?
q
Let n = 48.086 - 0.086. Let m = n - 6. Let v be 174/957 - (-9)/11. Do v and m have the same value?
False
Let t(v) = 86*v - 343. Let d = -891 - -898. Let m be t(d). Is m equal to 257?
False
Let s = 58/7 - 733/91. Let f(h) = -3*h + 0*h + 0*h + 191 - 21*h. Let w be f(8). Which is smaller: s or w?
w
Let a(l) = -l**3 - 4*l**2 + 21*l. Let d be a(-7). Let f be (d/(-2 - -1))/3. Is f < 2/189?
True
Let o = -84.5 - -88.5. Which is bigger: -2/59 or o?
o
Let s be 5333/(-3674) - (-3 - -1). Let u be (-3)/4*(2 + (-3000)/1503). Let l = s + u. Is 0 greater than or equal to l?
False
Let m = -8039/5 + 1601. Let p be -12*(-1)/(18/(-12)). Is p less than or equal to m?
True
Let n = 6464 + -6466. Is -11.48 equal to n?
False
Let r = -6241 + 6293. Which is greater: r or 623/12?
r
Let l = 7060.91 - 6963. Let h = l + 2.09. Which is smaller: h or 2?
2
Let p be (-106652 + -26)/22 - 22. Which is smaller: p or -4869?
p
Let j(u) = 2*u**3 + 194*u**2 + 1263*u - 45. Let z be j(-90). Is z at most as big as -111?
True
Let y = 2120/3 + -2176/3. Which is greater: y or -0.9?
-0.9
Let i be 2/14 + 42/49. Let h = -5 - -6. Let w be 3*h/(6/4). Is i <= w?
True
Suppose -3*p + l - 5*l + 13 = 0, -5*p - 3*l + 18 = 0. Is p greater than 10?
False
Let l(m) = -209*m**3 - 4*m**2 - m + 30. Let z be l(3). Which is bigger: -5650 or z?
-5650
Let t = 7.707 + -7.297. Which is bigger: -35 or t?
t
Let q = 658 - 4616/7. Let p(i) = -i**3. Let o(a) = 4*a**3 - 3*a**2 - 5*a + 4. Let u(l) = -o(l) - 3*p(l). Let d be u(4). Does q = d?
False
Let s be 5810/(-498)*666/(-14). Which is greater: 1 or s?
s
Let z be (-26)/(-10) + (-4)/(-10). Suppose w + 2 = z. Let u = -0.94 + 1.24. Are u and w non-equal?
True
Suppose -157 = 5*o + 8*m - 4*m, 5*m = -o - 23. Let s be (3/6)/((-1)/o). Let x(a) = -300*a - 582. Let c be x(-2). Which is greater: c or s?
c
Suppose -r + 2*l = -85, r - 3*l - 41 - 47 = 0. Let v(k) = -k**3 + 6*k**2 + 42*k - 100. Let i be v(10). Let t = i + r. Is -1 < t?
False
Suppose 21 = p - 5*t, -3*p - t = 3*t + 13. Let k be 15036/(-21987) - 2/(-3). Let i = k - 1812/16403. Which is smaller: i or p?
i
Suppose 12*r = 15*r + 2*n - 374, 2*n - 250 = -2*r. Which is smaller: r or 121?
121
Let h = 21 + -21.32. Let j = h + 0.3. Let t be 2/(-5)*(-20)/(-4). Is t greater than or equal to j?
False
Let c = -58764 + 58763. Let v be (10/6)/(62/(-3)). Is c <= v?
True
Let s = 352 - 91. Let h be (-12)/(-90) - (-11784)/45. Which is smaller: h or s?
s
Let k = -0.137 - 0.013. Let x = -19.15 - k. Let i = -20 - x. Which is bigger: 19 or i?
19
Let n = 8129 + -8218. Which is greater: n or 0?
0
Let o(l) = 4*l**2 - 136*l + 2541. Let p be o(22). Is p greater than 1480?
True
Let o be (-16)/(-232) + (-6700)/(-50025). Which is smaller: 1 or o?
o
Let p = 1 - 1. Suppose -42*j = -38*j - 4*k - 140, 3*k = -4*j + 119. Suppose -13*z + 15*z + j = p. Which is bigger: z or -18?
z
Let i = 24 - 21. Suppose -3*h - i*l = 0, -4*l = -0*h - 5*h + 27. Suppose -p - h*f = -1, -f + 36 = -3*p - 1. Which is bigger: p or -10?
-10
Let k = 108 + -111.758. Let v = -3.8 - k. Let s = 0.038 - v. Which is smaller: s or 3?
s
Let v(p) = -15*p**2 + 3*p. Let h be v(-2). Let j = h - 99. Let u = j - -1167/7. Which is greater: u or -0.1?
u
Let k(z) = -z**3 + 8*z**2 + 4*z - 72. Let o be k(7). Suppose 5*w - o*x = -x - 1484, -3*w + 2*x - 892 = 0. Which is bigger: w or -301?
w
Let m be -10*(4 - 8)/(1 + 1). Let q be (12/(-16))/((-6)/m). Which is smaller: q or 0?
0
Let l = 213355/4 + -52950. Let w = l - 387. Is -0.08 smaller than w?
True
Let x be (16/10 - 14/(-35)) + 63. Let g = x - 67. Let a be 0/g - 1*(-2)/(-7). Which is greater: 0 or a?
0
Let b(o) = 12*o + 93. Let v be b(-8). Let a be (1/v)/1 + 92/(-3). Is -30 greater than a?
True
Let g(s) = -5*s - 27. Let p be g(-9). Suppose 0 = -a - a + 4*b + p, -5*a - 4*b = -3. Suppose 3*r = -6, -a*r - 28 = m - 7. Which is smaller: m or -16?
-16
Let n = -34708 + 225706122/6503. Which is bigger: n or 0?
0
Let d = 6.564 + -6.664. Which is greater: d or 5522?
5522
Suppose 35*o = 34*o + 2. Suppose 5*w = -5*a - 180, -o*w + 4*w = 2*a - 64. Which is bigger: w or -20?
-20
Let v be 0 + -4 - (-52 - 5). Let i = 49 - v. Do i and -4 have different values?
False
Let r be (1 - 2)*((-1386)/(-210))/33. Is 2264 smaller than r?
False
Suppose -72*t + 70*t + 4*c + 26 = 0, -c = t + 8. Which is greater: t or -29/704?
-29/704
Suppose -2*u - 4*k = -16, -598*u + k - 4 = -599*u. Is 9/80 < u?
False
Let i = 5799.1 + -5799. Which is smaller: i or 395/12?
i
Let p = -31126 + 31144. Let w(k) = k + 18. Let g be w(0). Is g at least p?
True
Let m be (-2)/(-3)*1*-3. Suppose -12*b + 17*b - 140 = 0. Suppose -19*u + 5*u - b = 0. Is u less than or equal to m?
True
Let r(l) = -422*l - 3486. Let c be r(-7). Is c less than or equal to -538?
False
Let d = -85/4 + 4757/228. Which is smaller: 22 or d?
d
Let l be 2750/60 - 3/(-18). Suppose -l = 4*g - 2. Which is smaller: g or -6?
g
Let c be 1 + (12/(-3) - -3). Suppose -5*u + k - 97 = -0*u, 5*u - 4*k + 88 = c. Does -7 = u?
False
Let c be ((-400)/7)/(126/441). Which is smaller: c or -209?
-209
Let k = -4.82 + 7.8062. Let f = -0.0138 - k. Let p = -64 + 319/5. Is f smaller than p?
True
Let k be ((-5)/(-75))/(1*-1). Let n = 43 - 43. Suppose 4*u + 3*g = 4 - 1, 2*u - g + 1 = n. Which is greater: k or u?
u
Suppose l + 3*n = 8, 4*n - 2*n - 45 = 5*l. Let x be ((-18)/1)/1 + (-2)/2. Let a be (-10)/4 + x/38. Is l at least a?
False
Suppose -3*q - 4*v = -31 - 101, 2*q - 92 = -4*v. Let o be (-1)/(((-38)/q - -2) + -1). Which is smaller: o or -8?
o
Let u = -185.8 + 6.8. Let x = -107 - u. Let d = x - 75. Is -13/2 not equal to d?
True
Let p = 13 + -41.5. Let b = 31 + p. Let v = -2.38 + b. Is v greater than 2?
False
Let l = -123187 + 123181. Let k = 45.924 - -0.076. Is l at most k?
True
Let m = 81/5 + -93/5. Suppose -2*r = 4*d - 68, 15*d + 3*r - 72 = 11*d. Suppose -32 = -d*v - 77. Which is bigger: v or m?
m
Let k = -3526/33 - -915/11. Let n be 2*(575/10)/(-5)*1. Is k < n?
True
Let a = 152 + -147.34. Let b = -4 + a. Which is bigger: b or 2?
2
Let i be ((-838)/(-4))/(4/(-8))*(-49)/14. Which is smaller: 1467 or i?
i
Suppose -171 = 6*s + 133 - 64. Let j = 1 - 1.11. Are j and s equal?
False
Suppose -2649 = -j + 2*b, -j - b = -2*b - 2651. Let m = j - 7891/3. Let x = -22 + m. Is -3 not equal to x?
True
Let w be (-7)/(-28) + (-469)/4. Let b be -2 - 138/w - 2/6. Let q = 7 - 9. Do q and b have different values?
True
Let g(s) be the second derivative of -s**5/10 + s**4/6 + s**3/3 + 2*s**2 + s. Let d be g(3). Let q be -1 - d/30 - (-17)/15. Which is bigger: -2 or q?
q
Let v be 4574922/(-1023) - (-8)/124. Are -4471 and v unequal?
True
Let o = 39 - 30. Suppose -2*v = o*v + 55. Let n = -42/19 + -155/76. Which is smaller: v or n?
v
Suppose -3*i + 5*k + 12 = k, -i - 2*k - 6 = 0. Let r be ((-141)/(-36) + -4)*2 - 1369/(-5994). Is i > r?
False
S