t g be p(-7). Let u = g + -116. Is -10 at least u?
True
Let m = 7 + 69. Let i be (3*(-304)/168)/(3/(-42)). Are m and i nonequal?
False
Let h(n) = -7*n + 2. Suppose 5*y - 8 = 3*y. Let p be h(y). Let f(t) = -t**2 + 3*t + 1. Let g be f(7). Is p smaller than g?
False
Let h = -2236/11 + 203. Suppose -8 - 28 = 3*p. Let s be (-6)/p*(3 + -3). Is s greater than or equal to h?
True
Suppose 103*y + 3331 = 1065. Let k be 12/(-33)*625/10. Is y smaller than k?
False
Let g be ((-8)/(-84))/(97/(-679)). Which is smaller: g or 5059/7?
g
Let d be (-12)/(-28) - 2332/(-14). Let u = 57 - d. Which is smaller: -111 or u?
-111
Suppose -g = -3*g. Suppose 0 = -15*u + 18*u + 6. Let z be (-21)/6 - (-4)/16*u. Is z bigger than g?
False
Let s be 64/((-21)/(-2) - 1). Let i(j) = j**3 + 135*j**2 + 264*j - 260. Let d be i(-133). Are d and s unequal?
True
Let j be 420/28000*(-130)/48. Is 0 <= j?
False
Let b = 371 + -384. Let v = 10 + -17. Let g = -7.1 - v. Which is smaller: b or g?
b
Let g be 13/2 + (-2 - (-21)/6). Let k(b) = 0*b - 6*b + 16 - 3*b + b**2. Let u be k(g). Which is bigger: u or 25/3?
25/3
Let i(o) = 6*o + 10. Let z be i(8). Let u = -2378 + 2439. Is u greater than or equal to z?
True
Suppose 6*n - 390 = -7*n. Suppose r - n = 54. Which is bigger: -1 or r?
r
Let d be -1*2/(1 + 1). Let q be -4 - d*(-43)/(-7). Let t = 14.8 + -15.8. Is q != t?
True
Let w = 3575 - 3766. Is -1335/7 less than w?
False
Let o be -2 + (1102/420 - 0). Let b be (4 - -44)/(-8) + (-553)/(-98). Let c = o + b. Which is smaller: 1 or c?
c
Let u = 29879 + -29862. Let i(l) = -18*l. Let z be i(-1). Let y be (-1)/(-36) + 4/z. Is u < y?
False
Let b(h) = 177*h - 8. Let j be b(7). Let s = j - 30779/25. Suppose -34*c = -36*c. Which is greater: c or s?
c
Suppose -3*c + 3491*o - 3489*o - 14660 = 0, -5*c - 24444 = 2*o. Is c greater than -9775/2?
False
Let f be (-1 - (0 - 2))/((-7)/(-14)). Suppose r - 136 = -t - 0*t, -f*r + 270 = t. Which is greater: r or 135?
135
Let m = 124737 - 784969938/6293. Is m at most as big as 1?
True
Let a = -18822338/227 + 82918. Which is greater: a or 1?
1
Let l be (-5)/(-8)*(-46)/(-15). Let f be (-8602)/3696 + (-1)/(-8). Let c = f + l. Is -8 > c?
False
Let g = -2468/51 + 115010/663. Is 124 not equal to g?
True
Let m(h) = -h + 7. Suppose 15*g - 12*g = 9. Let r be m(g). Suppose u + 4*u + 20 = 0, -4*u = -r*n + 24. Which is smaller: n or 0.4?
0.4
Let c be (29 + 1)*(5 + 7/(-35)). Let g be (48/c)/(2 - 687/342). Which is smaller: -37 or g?
g
Suppose 5*w - 31 = 94. Suppose -5*t + w = 25. Suppose -i + 2*i - 40 = t. Is 0 at least i?
False
Let d(j) = 319*j + 140. Let m be d(-7). Let u = -27182/13 - m. Which is bigger: 0.2 or u?
u
Let c = -3523 - -3523. Which is smaller: c or 665?
c
Let x(d) = 24*d - 100. Let k be x(4). Let q(u) = u**3 + 11*u**2 + 6*u - 11. Let p be q(k). Is -0.3 less than p?
True
Let y be 16 + (-5 + -16 - -13). Is y equal to 247/31?
False
Let q(o) = 284*o - 883. Let k be q(63). Is k greater than or equal to 17008?
True
Let v(d) = -4*d**2 - 8*d + 2. Let k(a) = -5*a**2 - 10*a + 2. Let g(j) = 5*k(j) - 6*v(j). Let w be g(-1). Is w < -5/4?
False
Suppose -a = -0 - 5. Suppose 0 = v + 3, 2*v - 20 = -l + 4*v. Let k = -17 + l. Which is smaller: a or k?
k
Let p(f) = -13 + f**3 + 12 - 8*f**2 - f**2 + 13*f + 3. Let i be p(9). Which is bigger: i or 122?
122
Let i = 25126/3 + -8375. Is i equal to -15780?
False
Let k = -1222 + 186968/153. Let x(v) = v + 6. Let t be x(-6). Which is smaller: t or k?
t
Let i be 2*81/6 + -1. Let d = i + -76/3. Let v = -378.6 + 378.1. Is d at most as big as v?
False
Let d be -2 + (2 - 3) - 63. Let f = d + 66. Suppose -4*n - 8 = -f*n. Which is greater: n or -18/7?
n
Let n = -175 - -171. Let b be (n/6)/((320/24)/10). Which is smaller: -2.5 or b?
-2.5
Let i(u) = 5*u + 139. Suppose -23*x + 26*x + 68 = -2*g, 0 = 4*g - 8. Let y be i(x). Is -1 greater than or equal to y?
False
Let c = 183336.591 - 183668. Let y = c + 0.409. Which is smaller: y or -1?
y
Let u be 519/(-346) - 15/(-12). Is -0.09657 != u?
True
Let a(v) = v**3 - 3*v**2 - 3*v - 6. Let d be a(0). Let c(z) = 4*z**2 + 20*z + 8. Let j be c(-4). Which is smaller: d or j?
j
Let w(q) = -q**3 + 13*q**2 + 29*q + 7. Let v(b) = b**3 - b**2 - 2*b. Let k(a) = -5*v(a) - w(a). Let x be k(-3). Which is bigger: 426/5 or x?
x
Let u(w) = -17*w + 157. Let v be u(9). Suppose -5*n - v*g - 9 - 15 = 0, 13 = -4*n + 3*g. Which is greater: n or -3?
-3
Suppose 0 = 21*v - 15*v - 12. Let g = 254 - 305. Which is smaller: g or v?
g
Let x = 3162 + -3161. Which is smaller: -1/265 or x?
-1/265
Suppose 6 - 18 = -q. Let j be (7/(-602))/(((-9)/q)/3). Let v = -46 + 47. Which is smaller: v or j?
j
Suppose -2*i + 4*i = -3*s + 138, -5*i + 2*s + 307 = 0. Let a be 2/6 + (-51)/i. Which is greater: a or 1?
1
Let v = 0.023 + -0.223. Let u = v + -0.11. Let j = 0.28 + u. Is -3 not equal to j?
True
Let d be (5/(-3))/(((-355)/(-18))/(-71)). Suppose 0 = -3*q + 2*q - 4. Let o be (-280)/(-966)*d/q. Which is smaller: o or 0?
o
Let x be (-51)/170*-20 - 1334/(-9). Which is bigger: 153 or x?
x
Let j = 8 + 2. Let x = 14757.9 + -13922. Let g = x + -836. Is j bigger than g?
True
Let q(h) = h**2 + 55*h - 1984. Let g be q(-80). Which is smaller: g or -31?
-31
Let l = 177798/5 + -35560. Let w = -1 - -1. Which is smaller: l or w?
l
Let m be ((-20)/(-10))/((-1)/12). Let p = 165/7 + m. Which is bigger: 3/4 or p?
3/4
Let z = -223.98816 + -0.05184. Let s = z - 7.96. Which is greater: s or 0.1?
0.1
Let p = -4166.8 - -4166. Is 166 at most p?
False
Let a be (-1)/(-11)*2 - 1705/726. Let d(k) = k**2 - 10*k - 98. Let v be d(-6). Which is bigger: a or v?
v
Let w(r) = -2*r**2 + 75*r - 22. Let k be w(32). Let f = 201 - k. Are f and -128 non-equal?
True
Suppose -15*z - 51*z + 3729 = 47*z. Is z equal to 6?
False
Suppose 0 = 406*z - 407*z - 5*t + 7, 5*t = 5*z - 185. Let p be (-25)/(-10)*64/5. Is p > z?
False
Let z = 3.247 - 1.247. Is z bigger than 1/599?
True
Let y be 2 + 24/(-6) - 79. Which is bigger: y or -73?
-73
Let u = 137 + -68. Let r be 13/39*2/u. Let x = -91 - -92. Which is greater: x or r?
x
Let l be -3 + (-13)/(-3)*3. Suppose -l*t + 5 = -5. Let r be (0 - 0)*(-2 + t). Which is bigger: r or -6/5?
r
Let l = 3637 + -578281/159. Let w = -12146.2 + 12146. Which is smaller: w or l?
w
Let f(y) = -9*y**2 + 35*y + 11. Let p(o) = -4*o**2 + 17*o + 5. Let g(v) = 3*f(v) - 7*p(v). Let w be g(7). Let i = -155/3 - w. Is -34 > i?
False
Let z be 2*2*(-15)/(-12). Suppose -8 = 4*t - 4*r, -z*t - 3*r - 2 = -8. Which is greater: 5/24 or t?
5/24
Let g = 44749/14 + -3195. Let x(n) = -2*n**3 - 14*n**2 - 3*n - 19. Let k be x(-7). Do g and k have different values?
True
Let y(d) be the first derivative of d**2/2 + 9*d + 16. Let p be y(-6). Suppose -28 = 7*t - p*t. Is t greater than or equal to -6?
False
Let m = -65.6 - -84. Let c = -18.5 + m. Is -33 less than c?
True
Let f be 39 - (2/9 - (-11)/(-9)). Suppose 28 - f = 2*p. Let s(d) = -d**3 - 4*d**2 + 11*d. Let q be s(p). Is -5 greater than or equal to q?
False
Let r = 10885 - 10932. Which is smaller: -169 or r?
-169
Let k = -458 + 453. Let s = k + 4. Which is smaller: s or 8?
s
Suppose -3*f - 2 = 2*v - 8, -v - 4 = 5*f. Let o be -4 + 9 + (-28)/36*v. Let b be 2/(-2) + -29 + -1. Which is greater: o or b?
o
Let h = 3015 - 2147. Let p be 0 + 2 + (-1705)/h. Suppose -3*n - 19 = -4*f, 0*n + 13 = 3*n + 4*f. Which is smaller: n or p?
n
Let h be (-21 + 819/42)*(-1 - -2 - 9). Which is bigger: 116/11 or h?
h
Let r = -23976 + 23974. Is r equal to -140/17?
False
Let w(v) = -3*v**2 + 5*v - 84. Let f be w(-7). Let s = f + 1871/7. Suppose 5*r + 0 - 10 = 0. Is s less than r?
True
Let p be 2/11 + (-349)/407 + 1. Let b = -424 + 425. Which is smaller: b or p?
p
Suppose 4*a = 5*w - 14, -w + 17 = 2*a + 3. Suppose -78 = -w*d - 84. Which is bigger: d or 4/61?
4/61
Suppose u - 457 + 121 = 0. Let z be (-1)/3 + (-9)/((-81)/u). Let k = z + -42. Which is smaller: k or -7?
-7
Let l be (-1)/(-2)*(0 + 0). Suppose 57 = -3*m - l*m. Suppose 39 = -5*h + 64, -y + 5 = 5*h. Is y at least as big as m?
False
Let z be ((-2)/(-5))/(1/(((-620)/(-48))/31)). Which is smaller: -1.76 or z?
-1.76
Let z(h) = -44*h**3 + 178*h**2 - 9*h + 5. Let b be z(4). Which is smaller: b or -1/1324?
-1/1324
Let m = 143/10 - 824/55. Is m at most -1?
False
Suppose -117*w + 60 = -130*w + 8. Let x = 0.027 + -30.027. Which is b