Are 7 and z equal?
False
Suppose 2*a - 2 = 4*a. Suppose -5*n - 9 = 3*i, 3*i + 9 = 5*n - n. Let l be -1 + 2 + i/4. Which is smaller: l or a?
a
Let b be ((-6)/(-4))/(3/(-200)*-2). Let r be (4/(-22))/1 - b/(-275). Which is smaller: r or -4?
-4
Let s(m) = m**3 + 4*m**2 + 67*m - 252. Let x be s(4). Is x less than 1298/9?
True
Suppose 6*q - 9*q + 204 = 0. Let x = 69 - q. Which is smaller: x or 22?
x
Let q = 505 - 545. Which is greater: -35 or q?
-35
Let r = 2.8 - 2.56. Let c = r + -0.44. Which is greater: 2 or c?
2
Let q = 24 + -28. Let b be (-40)/51 - q/6. Which is greater: b or 1?
1
Let l = -391 + 391. Which is greater: -19/2 or l?
l
Suppose 3*q - 6 = -3. Let t be (8 - 9)/(-2 + q/1). Is t smaller than 2/23?
False
Suppose 0*n - 5*n - 5 = 0. Let u(o) = o**2 - 13*o + 26. Let p be u(11). Suppose 12*d - 3*d = -p*d. Is n less than or equal to d?
True
Let j = 818 - 374. Which is bigger: 443 or j?
j
Let b be 84/49 - (-2)/7. Suppose -40 = b*r + 2*r. Which is bigger: r or -9?
-9
Suppose -121*a = -117*a + 216. Is -53 at least as big as a?
True
Let v = 2 + -9. Let r(m) = m**2 + 7*m. Let c be r(v). Let j be c + 0 + (-1 - -3). Which is smaller: 6 or j?
j
Let t = 2.4 - 3.4. Let l = -2 + t. Do 1 and l have the same value?
False
Suppose 0 = 309*t - 301*t - 8. Which is greater: t or 3/142?
t
Let g = -0.2 - -3.2. Let v = -36 - -22. Let l = v + 13.7. Which is smaller: g or l?
l
Suppose 5*n - 4*c = 736, -3*c + 3 = -0. Is n smaller than 149?
True
Let q = -2802 + 75655/27. Is q greater than or equal to 11?
False
Suppose -3*o - 4*g = -50, 2*o + 5 = 5*o - 5*g. Suppose -y + 1 = -4*j, 23 = 2*y + y - 2*j. Is y < o?
True
Let f(l) = l**2 - 2*l + 1. Let v be f(6). Suppose -3*r + g = -v, -r + 4*g - 1 = -g. Let y be (-32)/(-12)*(-6)/(-2). Is r at most y?
False
Suppose 0 = -15*s + 16*s - 114. Let i = s - 131. Which is smaller: -2 or i?
i
Suppose 2*d - 3 = 3. Suppose -5*h + 4*k + 5 = -k, -2*h + 3 = -d*k. Let t = 335 - 2005/6. Is t != h?
True
Suppose 4 = -2*g - 5*p, 0 = -4*g + 2*p - 15 + 7. Let r be 12 + -9 - 0/g. Which is greater: r or 1?
r
Let d be (3 - 4) + 3/(36/33). Suppose 0 = -2*t + 3*m - m + 2, -5*t + 3*m + 7 = 0. Suppose -t*x - 5*n + 0*n = 11, 2 = -2*x - 2*n. Which is smaller: x or d?
d
Let k be 5 - (-4 - -8) - -25. Let l be (-4)/k + 6*(-14)/(-39). Is l at most -25?
False
Let u be ((-18)/36)/(1/(-2)). Suppose 0 = -14*a + 13*a + u. Which is greater: a or 3/13?
a
Let j be 3 - -6*60/(-176)*2. Which is smaller: 0 or j?
j
Let h = -13 + 16. Suppose -h*c = 1 + 2. Which is smaller: 1/16 or c?
c
Let j be (77/22)/(-1) - (-9)/(-6). Which is smaller: j or -90/17?
-90/17
Let h = -12 - -38. Are 24 and h non-equal?
True
Let n be 111/(-108) + 8/(-36). Suppose 9 = b + 8. Which is smaller: b or n?
n
Let n = -56 - -113. Let j = -57.31 + n. Which is greater: j or -2?
j
Let k(c) = -c**3 - 5*c**2 + 5*c - 6. Let n be k(-6). Is -7/13 greater than n?
False
Suppose -2*a + 5*t - 65 = 0, -a + 120 = -6*a + 4*t. Let d be 16/2*(-2 - a/8). Which is smaller: d or 2/3?
2/3
Let d be 297/(-5) - (-27)/(-45). Let l be (4 - d/(-18))*(6 - 0). Is 3 equal to l?
False
Let r = 6.82 + -6.52. Let b = 0.01 - -0.59. Is b at least as big as r?
True
Let l = 487/5358 - 7/57. Is l != -1?
True
Let b = -0.5 + 0.4. Let h = -17 + 22. Which is smaller: h or b?
b
Let z = 369.014 + -369. Is z < 0.01?
False
Let o(s) = s**2 - 67*s - 205. Let u be o(71). Which is greater: u or 75?
u
Let x = -0.85 + -0.28. Let z = -0.87 + x. Which is smaller: -11 or z?
-11
Let l(z) = z**3 + 52*z**2 + 48*z - 67. Let y be l(-51). Which is greater: y or 80?
y
Let d = 0.296 + 3.704. Is -18 at least d?
False
Let y = 10 - 17. Let v(c) be the second derivative of -c**5/20 - 2*c**4/3 - c**3 + c**2 + c. Let a be v(y). Is a smaller than -1?
True
Let d(g) = g**3 + 15*g**2 - 16*g + 4. Let x be d(-16). Suppose x*f + 22 = -2*w, 2*w - 1 = 3*w. Let l = f - -8. Is l equal to 7/2?
False
Let v = 36.5 + -35.7. Which is greater: v or 0.02?
v
Let t = 15 - 11. Suppose -t = 18*d - 20*d. Let v be (-2)/1*(-4 + 3). Is v != d?
False
Let w(b) = -b**3 - 4*b**2 + 5*b + 2. Let d be w(-5). Suppose 11*g - d + 13 = 0. Which is smaller: g or -1/16?
g
Suppose -2*q + 0 + 2 = 0. Let f(w) = 188*w + 1. Let t be f(-2). Let z be ((-1494)/t + -4)*5. Which is smaller: q or z?
z
Suppose 2*w - 5 - 41 = 0. Let u = w - 25. Which is smaller: u or -4/3?
u
Let m(h) = h - 2. Let y be m(3). Let g = 3/2336 - -4411/203232. Is y != g?
True
Let w be (6 - (-6 + 11))*0. Which is bigger: w or 4/5?
4/5
Let f(y) = 13*y - 52. Let j be f(4). Are 1/55 and j equal?
False
Let t(v) = -v**3 - 12*v**2 + 26*v - 15. Let h be t(-14). Which is greater: 9 or h?
h
Let a = -7243 - -50495/7. Do -30 and a have different values?
True
Suppose a + 5*t = -18, 4*t + 2 = -5*a + t. Suppose -2*g + 0*g - 6 = r, a*g + 14 = -5*r. Let x be ((-3)/(-20))/(2/(-8)). Is x smaller than g?
False
Let j(b) = b - 1. Let m be j(0). Let z(q) = -q**3 + 11*q**2 - 12*q + 14. Let c be z(10). Let t be 37/24 + 9/c. Which is smaller: t or m?
m
Let n be (-2)/(-38)*-15*(-1)/12. Which is bigger: -4 or n?
n
Let l be (0 - 0) + 17/(-1). Suppose 85 = 13*u - 18*u - 5*c, 4*u = -3*c - 67. Is l at least u?
False
Let y = -18 + -9. Let i = -7 - y. Which is smaller: i or 19?
19
Let r(s) = -21*s**2 - 3*s - 17. Let m be r(-3). Is m greater than or equal to -199?
True
Let o = -0.2138 - -0.2838. Which is bigger: 4 or o?
4
Let i = 1.6 + -3.8. Let s = 2.2 + i. Which is greater: -0.9 or s?
s
Let a(i) = i**2 - i - 6. Let j be a(5). Suppose 4*o - 24 = -4*w, w - 2*o = o - j. Which is greater: w or 2/3?
w
Let n(g) = 7*g**3 + 11*g**2 + 8*g + 13. Let s be n(-5). Is s at most as big as -627?
True
Suppose 0 = 6*x + 462 + 348. Let p = -208 - x. Is p equal to -72?
False
Let z = -11 + -84. Which is smaller: -94 or z?
z
Let z be 80/(-294) - (-12)/36. Which is bigger: z or 0?
z
Let p = -140 - -15. Is p at least -1?
False
Let q = 92 - 97.9. Let u = -3.1 + q. Is u less than or equal to 0?
True
Let w be 230/(-8) - 21/(-28). Let n = -52 + 24. Is w at most as big as n?
True
Suppose g + 36*c = 35*c + 1, -2*c = 8. Is g at most 102?
True
Let l be (-13)/258*18/4. Let i = l - 1/43. Let w = 0.032 - 1.032. Which is greater: i or w?
i
Let g = -0.44 - -34.44. Let d = g + -46. Which is greater: d or 1?
1
Let c = 97 - 124. Let x = c + 27.2. Is x > 0.56?
False
Let b = -7002 + 49184/7. Which is bigger: b or 24?
b
Suppose -11*x + 192 = 37*x. Suppose -2*u + 20 = -2*z, 2*z - 33 = -5*u - 11. Which is greater: x or u?
u
Let o(t) = t**3 + 6*t**2 - 2*t - 1. Let m be o(-6). Suppose -m = -2*y + 5*j, -2*j + 6*j = -5*y + 77. Is 12 less than or equal to y?
True
Let b be (154 - -2)*(-3)/(-6). Suppose 6*n = n - 4*y - b, -58 = 4*n + y. Let u = -15 - n. Is u smaller than -3?
False
Let v be (4/52)/((-3)/(-21)). Suppose -3*l - 3 = -6. Which is bigger: v or l?
l
Let y = 86.021 - 86. Let n = -1.979 - y. Are 0.4 and n non-equal?
True
Suppose 4*h - 2*h = 28. Suppose 13*s - 2 = h*s. Let t be -3*(s - 81/(-42)). Which is bigger: -1 or t?
t
Let b be -1*(5 + (-112)/24)*2. Let c = -1 - -1. Which is smaller: b or c?
b
Suppose 0 = -5*m + 3*v + 195, -15 = 2*v + v. Let f = m + -217/6. Is 8 bigger than f?
True
Suppose 13*x - 121 = 100. Is x greater than 16?
True
Let f(o) = 18*o**2 - 2*o - 1. Let j be f(-1). Suppose 5*l = 5*t - 10, 3*t + 12*l = 9*l. Let c be 76/j - (-15)/t. Is 17 at most c?
True
Let c be 5 + 2 + 516/(-12). Suppose 0 = -4*r - r + 60. Let j be (r/(-9))/((-3)/c). Which is smaller: j or -15?
j
Let a = -13 + 26. Let f(m) = -m**3 + 10*m**2 + m - 6. Let s be f(10). Suppose -s*l - a = -0*l + 3*c, -5 = 2*l + c. Which is smaller: -2/7 or l?
l
Let p(b) = b**3 - 7*b**2 + 7*b - 1. Let x be p(5). Let k be -20 - (2 + -10 - -4). Is k <= x?
True
Let r = -1459 + 1458. Which is smaller: r or -4/77?
r
Let o(q) = q**2 - 8*q - 19. Let z be o(-4). Suppose -27*k + z*k - 24 = 0. Which is smaller: k or 13?
k
Let b = -13525/4 + 3365. Which is greater: b or -17?
b
Suppose c = 4*f - f - 97, c - 35 = -f. Let p = -40 + f. Is p equal to -1?
False
Let h(f) = f**3 - 5*f**2 + f - 5. Let k be h(4). Let p = k - -16. Which is greater: -4/27 or p?
-4/27
Let u = 204.6 + -279. Is -0.1 greater than u?
True
Let p be (-321)/108 + (-7)/(-84). Is -4 < p?
True
Let n be 4 + 1 + -24 - 5. Which is smaller: n or -19?
n
Let p = -732 - -734. Let i = 5730/13 + -441. Which is s