 607 - 1070. Let t = -505 - j. Which is smaller: 4 or t?
t
Let n = 2860371/344 + -8315. Are n and -1 non-equal?
True
Let t = 0.019 + -266.019. Let f = 267 + t. Is f at least as big as 8.7?
False
Let w = 807 + -1430. Let a = w + 633. Which is greater: a or 20?
20
Let x(g) = -g**2 + 8*g + 15. Let o be x(9). Let b = o + -17. Let f = 43/4 + b. Is f greater than -4?
True
Let h = -47471 - -83691375/1763. Which is smaller: h or -1?
-1
Let d(c) = c**2 - 2*c - 1. Let k(x) = -x**2 + 2*x + 1. Let j(f) = -3*d(f) - 2*k(f). Let r be j(-2). Let m(u) = u + 8. Let i be m(r). Which is bigger: i or 7/13?
i
Let m = 825 + -837. Let v be (1 - m/(-9))/((-5)/780). Suppose 4*w = -6*c + 2*c + 228, 0 = 4*c + 3*w - 223. Is v at least c?
True
Let a = -3893 - -3892. Is 4249/2 > a?
True
Let k = -0.1 - -0.2. Let d be 3 - 14/(14/(-45)). Suppose 35*r = 11*r - d. Which is bigger: r or k?
k
Let u = 6954/5 + -57199/30. Which is smaller: -517 or u?
-517
Let m = 248 - 242. Let f = -14 + 14.105. Let b = 0.005 - f. Which is smaller: b or m?
b
Suppose 124 = 24*v + 76. Which is smaller: v or 1.268?
1.268
Let m(l) = -244*l + 7802. Let h be m(32). Is -1638 equal to h?
False
Suppose -11 = -4*z + 1. Let r = -235 + 230. Let b be ((4/r)/2)/(1/(-5)). Are b and z nonequal?
True
Let i = -54 + 57. Suppose 2*z = 8, -2*x - 15 = i*x - 5*z. Let w be (-4)/6*102/(-4). Is w at most x?
False
Let w be 20/(-35) + (-332)/7. Suppose -4*a - 3*u = -12, -12 = -5*a + a + 3*u. Which is smaller: w or a?
w
Let r = -892.84322 - 0.15678. Which is bigger: -2 or r?
-2
Let l(d) = -d**2 - 64*d + 200. Let a be l(3). Are a and -60/49 nonequal?
True
Let f(c) = -3*c**2 + 12*c + 17. Let q be f(7). Let l be q/253 - (1 + 305842/(-242110)). Let x = l - 6/355. Is 1 at least as big as x?
True
Let a = 2311 - 2274. Are a and -2/3 unequal?
True
Let z be (-1)/8*((-8)/10)/((-350)/875). Is z <= -4/1079?
True
Suppose 133*m - 144 = 124*m. Let c(s) = 10*s - 161. Let j be c(m). Which is smaller: -9/13 or j?
j
Let r = -197 + 355. Let w = r + -102. Suppose 3*b = 2*n + 28, 3*n + w = -0*b + b. Which is greater: n or -22?
n
Let k = -71 - -141. Let j = k - 165. Let c = j + 104. Is c at least as big as 3?
True
Let p = -143 + 143. Suppose p = -11*w - w. Which is smaller: w or -1/245?
-1/245
Let l be (5 + (-429)/6)*((-5200)/28)/5. Which is smaller: 2471 or l?
l
Suppose 185 - 125 = 6*q. Let f be (-4)/q*125/50. Is f bigger than -6/47?
False
Let w = -44633/264379 + -3/4481. Which is greater: 0 or w?
0
Let a be (-4)/(-6)*39987/18. Which is smaller: a or -1?
-1
Let x be 10/(-12)*-2 - 1. Let k = -250 + 249.869. Let q = k + 0.171. Which is greater: q or x?
x
Let j = -21126 - -21126. Let x = -0.1 - 0.01. Let r = 3.89 - x. Which is smaller: j or r?
j
Suppose -3*h + 5*a - 4 - 3 = 0, 4 = 2*a. Let f be (-1 - h) + (111 - 108). Let g = 51 - 451/9. Is g bigger than f?
False
Let o be 160 - 141 - (0 - 115). Which is greater: 146 or o?
146
Let g(t) = -4*t**2 + t - 9. Let d be g(5). Let q = d - -103. Let s = 89/4470 + 2/149. Which is smaller: s or q?
q
Let q be ((-117)/42 + 0 + 3)*(-2080)/360. Is 0 > q?
True
Suppose -4*i = v - 2*i + 3382, 3*v + 4*i = -10146. Which is smaller: v or -3378?
v
Let v(n) = 326*n - 217. Let j be v(6). Is 1 <= j?
True
Let u = -11189/6837 + 211/129. Are 0 and u equal?
False
Let j = -4836.002 + 4836. Which is greater: j or 20.1?
20.1
Let c(a) = a**2 - 12*a - 13. Suppose -q + 4*f + 1 = 0, -2*f = q - 4*f - 7. Let l be c(q). Let y = l - 26. Which is smaller: y or -25?
y
Let w be -2 + -14*(-2)/4. Let k = 120 - 145. Let n be (-3 - ((-140)/k)/(-2))/1. Is w smaller than n?
False
Let u = 2 + -6. Suppose 0 = d - 2*r + 160, -33*d + r - 305 = -31*d. Let o be (236/2065)/(4/d). Which is bigger: o or u?
u
Let u(t) = -1 + t + 15 - 8*t + 0*t**2 + t**2. Let b be u(7). Suppose -10*r = -b*r - 144. Is -36 greater than r?
False
Let q = 126 - 122. Suppose 0 = -4*p - r + 455, -4*p - q*r - 94 = -558. Let h = p - 106. Is 18 less than h?
False
Let r be 5 - 9 - (-2048)/208. Is -2/5 at least as big as r?
False
Let o = -3.87932 - 0.12068. Which is smaller: o or -2/11319?
o
Let u(v) = v**3 + 66*v**2 - 73*v - 402. Let g be u(-67). Is -12/139 at most as big as g?
True
Let h be (-3)/(-3*(-5)/(-45)). Let d be 6/h*(-176)/(-12). Are 11 and d equal?
False
Let q = -238 - -243. Suppose -5*h + 3*h + 16 = 2*x, 4*h - q = 5*x. Is 10 bigger than x?
True
Suppose -2478*v + 2486*v = -17888. Is -2236 >= v?
True
Let c = -1451/7 - -4640/21. Let b(w) = 12*w**2 - 2*w - 1. Let z be b(-1). Which is smaller: c or z?
z
Let a(d) = -18*d**2 - 3*d + 3. Let g be a(4). Let h = -275 - g. Is 3 > h?
False
Suppose 3*o + 11 - 2 = 0. Suppose a - 4 = -2*p, 3*p = a - p + 20. Let v be 48/(-18) - (a - -2)*1. Which is bigger: o or v?
v
Suppose -8*j + 10*j + o + 6 = 0, -4*o - 14 = -2*j. Do 2/19753 and j have different values?
True
Let w(x) = -6*x**3 + 2*x**2 - x + 1. Let l be w(2). Let t = 87 + -107. Let i be (t/3)/(11/66). Which is greater: i or l?
i
Let o = -67.9528 - 0.0472. Let f = 67 + o. Which is greater: 2/467 or f?
2/467
Let f be 37/(-629)*(-1 + 1 + -3). Let g = -63 + 62. Is f bigger than g?
True
Let n = 74 - 65. Let k be -9*(0 - 3)/n. Suppose 0 = -2*f + k*f + 69. Which is smaller: f or -70?
-70
Suppose -2*s - 50 = -0*s + 4*q, -3*s - 40 = -q. Let z be 1510/s*-3*1. Is z != 303?
True
Suppose -9*z = -11*z + 18. Let x = 22 - z. Which is bigger: 12 or x?
x
Suppose -259*c + 275*c = 0. Which is bigger: c or -8/285?
c
Let x = 338150/1351 - 1752/7. Let c be 4/(-7 - -3) + -16 - -17. Which is smaller: c or x?
c
Let c(x) = x + 20. Let m be c(-20). Let l = 15163/330 - 277/6. Is m bigger than l?
True
Let z be 8/9 - 3723/1971. Which is smaller: -116/67 or z?
-116/67
Let z be (-140)/28 + (-116 - 1). Let b = z - -128. Let p be 10/6 + 2/b. Is 5/2 at most as big as p?
False
Suppose -85*n + 81*n + 100 = 0. Let k be (120/n)/(-2 + 0). Which is smaller: k or -1?
k
Let i = -391.78 + 0.78. Let u = 391 + i. Does 53 = u?
False
Let n be (-4)/5 - ((-153)/85)/(-9). Let m be n/(((-116)/(-10))/((-24)/30)). Is m less than -1?
False
Let n be 6 + (-1)/(-7) + (-192)/(-28). Let p(g) = -27 + g + 0*g + 0*g. Let i be p(n). Is -14 > i?
False
Let z = 9572 + -86146/9. Is -572 at most as big as z?
True
Let u be (30/35)/(4/56). Let s be 152/u*(-21)/(-14). Do 19 and s have the same value?
True
Let b(p) = -9*p + 61. Let z(q) = 6*q - 62. Let j(n) = -3*b(n) - 4*z(n). Let x be j(-20). Which is smaller: 7 or x?
x
Let l = 108 - 99.24. Let c = 0.24 + l. Let p = -0.7 - -1. Which is smaller: c or p?
p
Let b(t) = -t**2 - 20*t - 64. Let o be b(-15). Suppose 0 = -15*q + 20*q - 75. Let s(x) = -x**3 + 15*x**2 + 3. Let g be s(q). Are g and o equal?
False
Let c be 11/((26/715)/((-2)/(-5))). Suppose c = -19*r - 164. Which is bigger: r or -22?
r
Let i = 3655 + -4374. Which is smaller: i or -717?
i
Let s(i) = -5*i**2 - 89*i + 18. Let k be s(-18). Which is bigger: k or -2/161?
k
Suppose m + 55 + 19 = -4*g, 3*g = -4*m - 257. Suppose -3*c - 7*c + 350 = 0. Let u = c + m. Is u at most -27?
True
Suppose 842 = -5*j + 182. Let g = -71 - j. Let l = 48 - g. Which is bigger: l or -16?
l
Let l = -869 + 869.519. Is l at most 1?
True
Suppose -14 - 244 = 6*q. Let t = 84 + q. Suppose -6*i = 2*g - i - 82, 82 = 2*g + 3*i. Is t != g?
False
Let y(v) = -6*v + 24. Let q be y(2). Let k be (-8 + 4)/((-13)/q). Suppose 9 = s - p + 1, -5*s = 3*p - 16. Which is smaller: k or s?
k
Let y(v) = v**3 + 4*v**2 - v + 15. Let p be y(-5). Suppose -3*a + 6*a + 6 = 0. Let q be a - 80/45 - 0. Which is bigger: q or p?
q
Let v be ((-2126)/4)/((-352)/704). Is 1056 at least as big as v?
False
Let k(m) = -23*m**2 + 817*m - 12. Let f be k(36). Is f != -408?
False
Suppose 0 = -4*a + 3*u - 2*u + 17, -3*u = -9. Let n = a + -6. Let f be 15/(-13 + 4 + 12) - (-16)/(-3). Is f at least n?
True
Let k(r) = -69*r - 2682. Let u be k(22). Is -4199 less than or equal to u?
False
Suppose -55 = -5*b - 20. Let m be 0 + -3 + 5 - -9. Let d(x) = 7*x - 69. Let c be d(m). Is c less than b?
False
Let i be (-2)/80 - 455221/(-50440). Let k be ((-1)/1)/((-1)/28). Suppose 0 = 3*p - 14 - k. Which is smaller: p or i?
i
Let v(c) = -c**2 + 13*c + 19. Let n = -214 + 230. Let d be v(n). Which is smaller: d or -30?
-30
Suppose -11 = -8*n + 13. Suppose -r - 7 = -2*c, -5*c = r + n*r + 15. Is c greater than -2/25?
True
Suppose -5*d - 2341 = 5729. 