rue
Let l(u) = -5*u + 175. Let o be l(38). Is o greater than 6?
False
Let k(l) = -l - 3. Let v be k(-4). Suppose 5*j - 3*d + 62 = 0, -2*j = -j - 3*d + 10. Let z be (-3)/(-5) - (-13 - j). Which is greater: z or v?
v
Let k(c) = -3 - 2 + 3 - c. Let i be k(0). Let t be i/6 + 48/9. Which is smaller: 3 or t?
3
Suppose -59 = -v - 3*j, 5*v + 23*j - 24*j - 215 = 0. Which is smaller: v or 5?
5
Let o = -15023627/5642280 + -1/89560. Let c = o + -1/252. Are 1/4 and c unequal?
True
Let c = -448 + -738. Let h be (-12)/18 + c/(-24). Let l = -49 + h. Which is bigger: l or 1/2?
1/2
Let c = 441 - 440. Do c and -10 have different values?
True
Let h be 28/(1/((-2)/(-4))). Let z be (-39)/h - (1 - 4). Let r(v) = -v + 8. Let j be r(8). Which is bigger: z or j?
z
Let a(b) = -b + 4. Let d(f) = -1. Let p(c) = -a(c) - 2*d(c). Let g be p(3). Which is bigger: -2/55 or g?
g
Suppose 4*m - 7 = 105. Let q be (-2029)/m + 10/(-35). Let n = q - -72. Is -1 at most n?
True
Let o = -19.8 - -22. Let q = 25 - 22.2. Let k = q + o. Which is greater: k or -1?
k
Let i(b) = -3*b + 21. Let a be i(10). Let c be (a/296)/(45/60). Which is smaller: 1 or c?
c
Let w be (1 + 10/(-4))*(-22)/33. Let l be 3/(-21) + 541/(-623) + w. Is 0 at most l?
False
Let z be 76/(-6) + (-102)/(-153). Is z at least -20?
True
Let j = -7 + 54. Which is bigger: 187/4 or j?
j
Let b = -67 - -467/7. Let g = 33 + -49. Which is smaller: g or b?
g
Let p = -579 - -586. Is -63 at most p?
True
Let f(m) = 2*m**3 - 3*m**2 - 5*m + 3. Let i be f(3). Let v be 1/5 - 2094/(-30). Suppose -3*y + v = -5*g, g = 2*y + 4*g - 15. Are y and i equal?
True
Let v be -43*3*-4*(-10)/(-24). Are v and 216 equal?
False
Let s(d) = d**3 + 5*d**2 + 8*d + 4. Let j be s(-3). Let k be j/(-13) + 12/(-78). Is k not equal to 2/9?
True
Suppose -j + 18 = 2*j. Suppose 5*p + 34 = 4*h, -5*p - 6*h - 25 = -h. Let s be (-8 + j)*p/(-4). Which is smaller: s or -0.1?
s
Let d(l) = -l - 2. Let x be d(-6). Suppose -x*p + p = 0. Suppose 2*k = -p + 2. Which is bigger: k or 0.05?
k
Suppose -3*j + 7 = 4*v, -3*j = v + j - 18. Let z be 1/(-3)*(-9)/v. Let q = -7.6 + 7.6. Which is greater: q or z?
q
Let v be ((-58)/15 - 2/(-10))*-7. Which is bigger: v or 27?
27
Let v = -0.04 + -0.25. Let k = -0.18 - v. Let t = k - 0.01. Which is greater: t or -0.1?
t
Suppose -3*m = 15*h - 20*h - 48, h + 10 = m. Is h greater than or equal to 2?
False
Let a = 197 - 198. Suppose 2*s - 12 = -3*s - 4*h, 2*s - 5*h - 18 = 0. Let x = s + a. Is 11/4 at least x?
False
Let n = 590 + -569. Is n less than 22?
True
Let o(d) = 27*d**3 + d**2 + 1. Let l be o(1). Which is bigger: 14 or l?
l
Suppose 156*q - 1632 = 144*q. Is 131 equal to q?
False
Let b = 2.89 + 82.11. Is 0 at most as big as b?
True
Suppose 3*y - 7*y + 80 = 0. Suppose 0*i = i - y. Let t = i + -21. Is t > -2?
True
Let v be -1 + (6 - 2) - -40. Let h = v - 68. Is -25 < h?
False
Let t = -7.9 + 50.9. Let p = t - 47. Is -4 at least p?
True
Let u = 20 + -75. Let s = -49 - u. Is -2 less than s?
True
Let t = 0 - 3. Let j = -131/3 + 42. Which is smaller: t or j?
t
Let l = 2295/2 - 227209/198. Let p = l - 67/1584. Let j = 3 - 4. Which is bigger: j or p?
p
Let w be -1*(-2)/(-8)*7. Suppose -4*g - 4*n - 12 = 0, 4*g - 1 = 2*n + 11. Suppose 3*u - l + g = 0, -u - 2*u - 4*l - 11 = 0. Which is smaller: w or u?
w
Let p be 7072/340 - 2*3. Which is smaller: p or 15?
p
Let m = -58 + 67.1. Let o = m - 9. Which is smaller: o or 2/7?
o
Let t = 1715 + -1736.9. Let f = -6 - -28. Let n = f + t. Is 1/2 at least n?
True
Let o be -2 + -2 + (-178)/(-3) + 1. Are 55 and o equal?
False
Let w(z) = 0*z**2 + 2 + z**2 - 2 + 5*z. Let t be w(-4). Let f(v) = -v**3 - 3*v**2 + 4*v. Let h be f(t). Which is greater: 1 or h?
1
Suppose -3*z + j = 1, -4*j + 2 = -4*z - 10. Let h be 8/6*(-9 + (-2079)/(-234)). Are z and h equal?
False
Let p = -2071/7 + 295. Let l(u) = -5*u - 1. Let r be l(-2). Suppose r*z - 4*z = -5. Do z and p have different values?
True
Let x = -101 + 508/5. Let o = 8 + -9. Let k = 1 - o. Is x bigger than k?
False
Let k be -33 + 4/(24/(-30)). Is -5 bigger than k?
True
Let z = 474 - 328. Is 147 > z?
True
Let u(m) = 7*m**2 + 9. Let h(n) = 3*n**2 + 4. Let w(o) = 9*h(o) - 4*u(o). Suppose 2*j - j = 0. Let l be w(j). Which is smaller: l or -6/13?
-6/13
Suppose 3 = -3*a + 3*y, 0 = 3*a + 2*y + 3 + 10. Let t be (-99)/22*22/a. Are 34 and t non-equal?
True
Let i be 2 - (-40 + -1) - (-1 + -2). Let t = i + -47. Is 2/43 equal to t?
False
Let w be 3/(150/(-1))*4. Suppose 8*y - 6*y = -96. Let u be -1*(-2)/(-8) - 12/y. Is u < w?
False
Let t(u) = u - 9. Let y be t(14). Suppose 4*b + y*b = 4*b. Which is greater: b or -1/13?
b
Suppose c = -3*a + 10, a = -0*a + 3*c. Suppose 3*n - n = -a*j + 7, 0 = -3*n + 6. Let y be 0/(-4)*(j - 2). Is 2 at least as big as y?
True
Let v = -88.7 - -1.7. Let p = 93 + v. Let d = -1 + 2. Which is bigger: d or p?
p
Let l = -7627 - -53175/7. Which is bigger: -31 or l?
l
Let j = -6.9 - -13.9. Let z = j + -7.1. Is z less than -24/5?
False
Let o(c) = -2*c**3 + 13*c**2 + 9*c - 11. Let v be o(7). Suppose -v + 1 = n. Let d = -48/35 - -4/7. Does n = d?
False
Let o be (-15)/(135/6)*(-2)/(-22). Let v(c) = c - 8. Let n be v(8). Let b be n/(-6) - (0 + 1). Which is smaller: o or b?
b
Let z(n) = n**3 + 9*n**2 + 17*n + 10. Let h be z(-7). Let q = -27 + h. Is -37 greater than or equal to q?
True
Let p = 798 - 799. Is 1/1027 at least as big as p?
True
Let i(t) = 2*t + 544. Let z be i(15). Are 573 and z unequal?
True
Let z be 2*2/14 + 2065/(-7399). Which is greater: 0 or z?
z
Let q = -941 + 1573. Suppose -6*w + 2*w + q = 0. Let f = 469/3 - w. Is -1 greater than or equal to f?
True
Suppose 2*r + h + 16 = 0, 52 = -4*r + 3*h - 0*h. Let j be ((-4)/r)/(54/10). Which is smaller: j or 1?
j
Let c = -0.0138 + -0.0862. Let h = -0.3 - -0.35. Is c at least as big as h?
False
Suppose 3*g - 4 = -t, 3*t + 12 = 2*g - 9. Let i(n) = -2*n - g*n + 6*n. Let j be i(3). Are 4 and j non-equal?
True
Let h be 3/(2*9/6). Let t(d) = d**3 - 12*d**2 + 14*d + 16. Let w be t(11). Let j be (-7)/w*1/(-1). Which is smaller: j or h?
j
Let q = 1552 - 1280. Is q greater than 272?
False
Let a be (-10)/(-2) + -112 + 36. Is a smaller than -15?
True
Suppose -6*g - 4 = -2*g. Let n = -665.98 - -666. Which is greater: g or n?
n
Let x = -24499/30 - -817. Let i = x + -1/5. Let z(g) = -2*g**3 - 2*g - 2. Let t be z(0). Is t at least i?
False
Suppose 32 = 9*v - v. Suppose -v*j + 10 = -x - 7, 2*x - 2*j + 10 = 0. Is x greater than or equal to -6/5?
True
Suppose 8 = -b - b. Let t(q) = 2*q**2 + 3*q + 1. Let h be t(-2). Let n be 0*((b - -2) + h). Which is bigger: 7/5 or n?
7/5
Let n be 1/(-4) + 135/324. Which is smaller: n or -0.179?
-0.179
Let c = 56 + -5. Is 51 at most c?
True
Let u = 357 - 434. Let o = -57245/63 - -6898/7. Let y = u + o. Which is smaller: y or -0.3?
-0.3
Suppose -825 = -14*p + 2577. Do 243 and p have different values?
False
Suppose -4*a + 16 = 0, -2*x + 3*x + 3*a = 12. Is -1/36 < x?
True
Let g = -174/5 - -173/5. Let i be 1/(1*2/6). Let j = i - 4. Which is smaller: g or j?
j
Let p = 30 + -30. Let j be 4/10*5/81. Are j and p nonequal?
True
Let g(f) = 7*f - 3. Let r be g(5). Let m = -37 + r. Let d be 3/(6/(-14)) - -1. Which is smaller: m or d?
d
Suppose -5*r + d = 3190, 0*r + 4*d = -4*r - 2552. Let b be (-39)/(-91) + r/(-14). Is b equal to 47?
False
Let c = 4 - 1. Let s = -6 + c. Let q(t) = -t**3 - 3*t**2 + 7*t + 8. Let o be q(-4). Is o greater than s?
False
Let j(y) = y - 3. Let k(l) = l**2 - 4*l - 5. Let b be k(5). Let a be j(b). Suppose -3*m - 13 = 5*d, -d = 2*m + 3*d + 10. Which is bigger: a or m?
m
Let o be (1834/6)/(72/216). Is o >= 918?
False
Let y = -19.1 + 18.13. Let g = y + 0.9. Let n = -0.93 + g. Is -2 bigger than n?
False
Let g be -5*2*567/15. Is g != -378?
False
Let m = 39.9 + -38.9. Which is smaller: -89/2 or m?
-89/2
Let m = 551 - 306. Let t be (-2)/(-8) + m/28. Which is bigger: 7 or t?
t
Suppose -91*f = -86*f - 10. Let d be (-22)/(-13) - (15 + -15). Is d <= f?
True
Let m be 9 - 14392/4800*3. Which is smaller: -1 or m?
-1
Let p = 106 + -327. Is p less than or equal to 1?
True
Let r be ((-2)/(-12))/((-4)/(-24)). Let a(h) = 6*h**2 - 2*h + 1. Let g be a(r). Suppose x = 5*t - 5, 4*x + t = g*x + 5. Is -6 greater than x?
False
Suppose 50*b = 49*b - 103. Are b and -103 nonequal?
False
Let w be (123/369)/((-2)/18). Is w