 n + 6.056. Is s equal to 0.6?
False
Suppose -3 = -2*v + 5. Suppose v*q = 4*y, -12 + 2 = -3*q - 2*y. Suppose 0 = q*i - 3*i. Is 2 less than i?
False
Let h be 126/(-28) + 2/(-4). Let r(s) = s**2 + 8*s - 7. Let w be r(-9). Let b = w + -6. Which is greater: b or h?
b
Let a = 538 - 537. Which is smaller: -5/38 or a?
-5/38
Suppose 0 = 3*v + 3*t + 45, -5 = 6*v - 3*v - 5*t. Let q = -21 + 10. Is q greater than v?
False
Let c = 0 - 1. Let d = -562/1007 - -24/53. Which is smaller: d or c?
c
Let a be 89 + 11/(66/(-48)). Which is smaller: a or 411/5?
a
Let c(i) = -i**2 + 19*i + 4. Let j be c(17). Which is greater: j or 39?
39
Let g be 8/(-5) + 2/(-5). Let s be -3 + (-2)/((-108)/142). Let r = -160/297 + s. Which is bigger: g or r?
r
Suppose o = 5*r + 911, -9*o = -4*o - 3*r - 4599. Are o and 921 unequal?
False
Suppose 0 = -2*x + q - 5 - 8, 4*x = -2*q - 14. Let c be 1 - (1 + (-31)/x). Let v = -1925 + 1919. Are c and v equal?
False
Let t be 0 - (-1 + 2698/(-14)). Let p = 323 + -129. Let s = p - t. Which is smaller: 0.4 or s?
s
Let v be (-10 + 5)/(((-15)/18)/1). Which is bigger: 2 or v?
v
Suppose 3*w + i = 8, 7*i - 3*i = 2*w - 24. Let q(n) = 2 + w*n - 5*n**3 - 3*n**3 + 2*n**3 + 5*n**3 - 3*n**2. Let d be q(-4). Which is smaller: d or -1/3?
-1/3
Let f = 3.75 + -0.75. Let a = 19 + -39. Let w = a - -16. Is w >= f?
False
Let s = 58 - 32. Suppose 5*w = -n + 30, 5*n = -9*w + 4*w + 130. Are s and n unequal?
True
Let o be -6*(3 - 3/9). Suppose -3*k = 68 + 22. Let f = k - -14. Do o and f have the same value?
True
Let f = 438.9 + -439. Let v = 0.23 + -0.07. Which is bigger: v or f?
v
Let t(y) = 3*y**3 + 2*y**2 + 2*y + 1. Let c be t(-1). Let h be 2/(-2)*(-3 - c). Which is bigger: h or -3/46?
h
Suppose j - 2 = -3*m, -30*j + 4 = -4*m - 28*j. Is 2/735 less than m?
False
Suppose 132 = -0*s + 2*s + 2*f, 0 = 2*s + 5*f - 120. Let d = 107 - s. Which is bigger: d or 39?
39
Suppose 5*l = -5*h + 20, 0 = 3*l + 18 - 3. Suppose 7*s = h*s - 4. Suppose 3*n + 3*y = 3, -2*n + 7*y - 2*y - 5 = 0. Which is bigger: n or s?
s
Suppose -q + 28 = 4*o, q = 3*o + 7 - 35. Suppose -4*w - 3*z = -o*z - 15, 5*w - 2*z - 6 = 0. Which is bigger: 1 or w?
1
Let k = 10 - 9. Let l = 6.5 + -18.5. Is l not equal to k?
True
Let c = -68 - -89. Suppose -c = -4*s - 17. Is 4/43 less than s?
True
Suppose w - r + 8 = -5, 52 = -4*w + 2*r. Let b = 3 + w. Let t = b + 11. Is 0 bigger than t?
False
Suppose -2*i - i - 2*o - 192 = 0, -10*i = -2*o + 666. Do -69 and i have the same value?
False
Let s be 2 - (-1*2 + 1). Suppose 5*k = 3*i - 2, 5*k + 322*i + 9 = 318*i. Is s < k?
False
Let a be (-16 - 8/(-2))*-1. Suppose -2*y + 14 = -16. Let g = y - a. Are g and 5/2 unequal?
True
Let r = -2 + 1.8. Let a = r + 1.4. Let t = 1.4 - a. Does t = 1?
False
Suppose 0 = -3*i - 169 + 145. Let w(v) = v**2 - 6*v - 4. Let y be w(5). Which is greater: y or i?
i
Suppose 2*s + 5*l - 14 = 0, -2*l = -5*s - 6*l + 52. Suppose -s - 9 = -3*f. Is 6 != f?
True
Let u(z) = 410*z - 7 - 6 - 411*z. Let c be u(-11). Which is smaller: c or -6?
-6
Suppose -3025 = 9*g + 46*g. Let z(u) = -15*u**2 - 2*u + 2. Let y be z(-2). Is y bigger than g?
True
Let s(c) = -16*c**2 - 2*c + 4. Let t be s(-4). Let m = -9026/37 - t. Which is smaller: m or -1?
-1
Let w(k) = -3*k**2 + 4*k + 24. Let n be w(0). Let r = -0.1 + 0.1. Is r <= n?
True
Let r be 4/(-10) + (-924)/(-10). Let d be -2 + r/(4/(-1)). Let x be (-1)/2 + d/2. Which is greater: -12 or x?
-12
Let m = -97/3 + 32. Let x(q) = -q**3 + 4*q - 155 + 0*q**3 - q**2 + 151. Let f be x(-3). Which is smaller: f or m?
m
Let p(u) = -u**3 - 12*u**2 - 11*u + 2. Let d be p(-11). Suppose -3*v + 3*n = 18, -d*v + 4*n - n = 17. Let f be (-2)/(-12)*2 + 0. Is v smaller than f?
True
Let i(j) = -j**3 - 2*j**2 - 3*j + 11. Let q be ((-2)/(-8)*-2 + 1)*0. Let o be i(q). Which is greater: 19/2 or o?
o
Let u = 7520/13 - 578. Let f(c) = c + 10. Let w be f(-11). Is u not equal to w?
True
Suppose 3 = -4*v + 19. Suppose -v*c + 7 + 9 = 0. Let l be c + -309*(-2)/(-153). Which is greater: l or -1?
l
Let s = -13 + 13. Let t = -6 + 3. Let l = t - -1. Which is smaller: l or s?
l
Let h be (-3053)/(-3135) + -2 - 7/(-35). Let b = h + 16/57. Which is bigger: b or -1?
b
Let j be (-2)/(-13) - (-327)/(-13). Let g = j + 26. Is 4/29 less than or equal to g?
True
Let o = 65 - 52. Let w = 13 - o. Which is smaller: w or 1.9?
w
Let j = 1848 - 1850. Suppose -14 = p + c + 11, 5*p + 2*c = -131. Is j bigger than p?
True
Suppose -t = -5*k - 8, -2*k + 6 = 5*t - 7. Suppose -t*f = -6 - 3. Is 1 at most f?
True
Let r(x) = x + 4. Let k be 2*4/4*-1. Let g be r(k). Suppose -u - 4*a - 14 = a, -2*a = -g*u + 8. Are 2 and u nonequal?
True
Let k = 220 - 104. Is k > 117?
False
Suppose l - 23 = 2*h, -4*h + 59 = 6*l - l. Suppose -5*k + l = 5*f, -f + 5*k = 4*k + 3. Let t(m) = -7*m**3 - 2*m**2 - m. Let n be t(-1). Is n not equal to f?
True
Let s be (68/(-36) + 2)/(1/26). Let j(p) = p. Let f = 3 - 1. Let g be j(f). Is s > g?
True
Let w = 2 + 21. Let h = w - 22.5. Is -2 < h?
True
Suppose -4*r + 88 = 4*s, 5*s = -r + 6*r + 140. Let j be 30/s*(-20)/(-6). Let f(o) = o**3 - 2*o**2 - o + 3. Let a be f(0). Which is smaller: a or j?
a
Let f(r) = -r**3 + 2*r**2 + 26*r - 5. Let z be f(-5). Is z smaller than 46?
True
Suppose -3782 = -4*u - o, -2*u - 2*o - 124 = -2012. Let t = u + -2813/3. Is t smaller than 7?
False
Let s = 16657024 - 44890679179/2695. Let c = 1/245 - s. Is 0 equal to c?
False
Suppose 2*q = -23 - 33. Suppose -139 = 13*v + 238. Which is bigger: v or q?
q
Suppose 4*f - 16 = -0*f. Suppose -f*p + 4 = -0*p, -g - 5*p = -18. Let d(s) = 2*s - 27. Let h be d(g). Are h and 2/7 non-equal?
True
Let d be (-1260)/(-72)*(-4)/335. Which is bigger: d or 1?
1
Suppose 0 = p + 3*p - 56. Let g = 3037 + -3027. Which is smaller: p or g?
g
Let q be (220/(-52) - 1 - 1) + 6. Let y be 9/6 + (-15)/2. Let p = y - -5. Which is smaller: q or p?
p
Let p be (-52 - -24)/((-21)/14)*6/8. Let c(m) = -3*m - 1. Let w be c(1). Let l be w/14 + 186/14. Is l greater than p?
False
Let d(p) = -p**3 - 6*p**2 - 5*p + 6. Let x = 14 + -19. Let b be d(x). Suppose 0 = 3*h - b*h + 6. Which is bigger: h or 1?
h
Let v = 8929/4 + -20384903/9132. Which is smaller: v or -1?
-1
Let n be (-2)/7 - (-19)/42. Let s = 25 + -23.2. Let u = -1.9 + s. Which is smaller: u or n?
u
Suppose 39*f - 29*f + 2250 = 0. Which is greater: -224 or f?
-224
Let x = 212 - 248. Is x > -33?
False
Let i be (456/285)/((-2)/10). Is i equal to -63/8?
False
Let n = 3833/481 - -189/37. Is 12 bigger than n?
False
Let r(i) = i**2 + 18*i + 79. Let a be r(-8). Which is smaller: -3 or a?
-3
Let x = 113 + -123. Which is bigger: -11 or x?
x
Let j be (-28)/(-8)*2*-1. Let l be (-30)/21 - 2/j. Let o = l - -23/14. Which is smaller: o or -8?
-8
Let i = 2311/5 - 469. Which is bigger: i or -7?
i
Let p(i) = 6*i - 47. Let j be p(12). Let b be (84/3)/((-10)/j). Is b at most -70?
True
Let s = 2468470 + -32107724/13. Let v = s - -1354. Is v >= -1?
True
Let f = -610 + 626. Is 9 at most f?
True
Let v = 562 + -557. Let c(r) = 2*r**3 - 4*r**2 + 3*r - 1. Let y be c(2). Is v <= y?
True
Let h = 10.1 + -10. Let g = 1.4 - h. Let r = -0.3 + g. Which is smaller: r or 14?
r
Let v = -74 - -79. Suppose -5*y = 3*t + 99, -v*t + 2*t = 9. Which is smaller: y or -17?
y
Suppose 23 = -5*c - 2. Let p = 6 + -12. Is p greater than c?
False
Let d = -11 + 6. Let w = -1 + d. Let x be (11 + -3)*(5 + -2)/(-6). Is w < x?
True
Let p(f) = 11*f - 31. Let d be p(5). Let n(i) = 5*i - 37. Let q be n(12). Is q at least as big as d?
False
Suppose -q + 2*q - 19 = -4*i, -1 = 2*i - 3*q. Suppose i*k + 3 = k. Is k at least as big as 1/4?
False
Suppose 0 = 18*k - 13*k + 35. Let g be ((-6)/15)/(k/210). Let c be ((-8)/g)/(2/5). Is -3 bigger than c?
False
Suppose 3 = 6*t - 3. Let p be t*(0 - (0 - 13)). Let d be (-7)/14 + p/14. Which is smaller: 0 or d?
0
Suppose -4*q = p - 16, -p + 2*p - 1 = -q. Which is smaller: q or 2?
2
Let y = -20.01 - -20. Let c = 8.29 - 8. Let o = c - y. Is o at least 5?
False
Let f be (-10 - -7)*((-20)/(-3))/(-4). Suppose -5*g + f*o = 150, 0 = 2*o + 3 + 5. Which is smaller: g or -33?
g
Let m = 3.85 - 0.25. Let r = m - 4.6. Are r and 21 equal?
False
Suppose -4*v - 231 = -p - 1118, 5*p + 3*v = -4435. Let q = p + 7973/9. Which is greater: 0 or q?
0
Suppose 0 = 2*r + 4. Let k be (3/r)/(6 + -9). Is 2 greater than or equal to k