ppose b*t + 6*q - 2*q = 0, -20 = -4*t + 2*q. Is t less than or equal to 1?
False
Let t = 29 + -30.4. Let i = 2.9 + -1.6. Let k = i + t. Which is smaller: k or -1/11?
k
Let d = -11 + 19. Let h = -10 + d. Let b = 16 + -17. Is b bigger than h?
True
Let u be (4/3)/((-14)/21). Let a be ((-21)/(-9))/(u/(-6)). Suppose -q - a = 28. Which is bigger: -34 or q?
-34
Let s be 0 - 2 - (-6)/4. Suppose -6 = -n - 31. Let l = -27 - n. Is s at least as big as l?
True
Suppose 8*x - 76 = 12. Which is smaller: x or -40?
-40
Suppose -d - 3*u - 30 = 0, -2 = 3*d + 4*u + 63. Let o = -76/5 - d. Let w(r) = r**2 + 3*r + 2. Let a be w(-2). Which is smaller: o or a?
o
Let y = -1525/432 + 57/16. Let m be (-4)/(-18) - 38/144. Let g = m - y. Which is bigger: g or 0?
0
Let h(k) = k**3 + 7*k**2 - 12. Let m be h(-6). Let z be (4 + 288/(-74))/(m/(-4)). Which is smaller: 1 or z?
z
Let t = 49 + -32. Let o = -3 - -6. Suppose g - 52 = -g + 4*a, -o*a + 60 = 4*g. Which is smaller: t or g?
t
Let a = -284.9 - -272. Let y = a + 13. Which is greater: 3.3 or y?
3.3
Suppose 65 = 21*n - 292. Which is smaller: 122/7 or n?
n
Let s(m) = -m**3 - 9*m**2 - 6*m + 33. Let t be s(-8). Suppose t*z - 20*z = -12. Is -2 not equal to z?
True
Let u = 12423 - 782669/63. Let z = 1/63 - u. Let j = 14 + -152/11. Are z and j equal?
False
Let i be -3 + 0 + 636/(-32). Let o = i - -11147/488. Let d = 1 + -1. Does d = o?
False
Let w(o) = 2*o**3 + 12*o**2 - 3*o - 39. Let x be w(-6). Is x less than -16?
True
Let q = -63 - -61. Let l be (-1555)/(-4)*(-7)/70. Let x = 39 + l. Which is smaller: q or x?
q
Let j be -10 - (10 - (6 - -2)). Suppose -10 = -5*y - 5*x, 3 = 2*y + 2*x - x. Which is bigger: j or y?
y
Let j(m) = -2*m**3 - 2. Let w be j(-2). Let i be 42/27*(-12)/w. Which is greater: 0 or i?
0
Let v = 42 - 43. Is v < 1/28?
True
Let d be (-3 - (-5 - 0))*-1. Let m(w) = w**2 - w - 1. Let l be m(d). Is 6 != l?
True
Suppose -264*n + 268*n = 3*x + 404, 4*x + 2*n + 546 = 0. Do -136 and x have different values?
False
Let q = -7/23 + -71/69. Let g = 43 - 41. Suppose 3*p + g*p - 5*b = -5, 3*p - b = -3. Is q greater than or equal to p?
False
Suppose 0*g - 7*g = -546. Suppose 5*b = 3*l + 80, 4*b - g = -l - 14. Is b not equal to 15?
True
Suppose 23*y - 19*y + 8 = 0. Let u be (y/4)/((-2)/(-32)). Which is bigger: u or -10?
u
Suppose 16 = -a - 2*k, -2*a + 3*k = 5*a + 95. Let s be (18/(-35))/(2/60). Which is bigger: a or s?
a
Let t be 4 + 22316/(-4860) + 3/5. Let w be (-3 - 0 - -4)*3 - 2. Is w less than or equal to t?
False
Suppose -3*o + 8 = 4*b - 2*b, 2*o = -2*b + 6. Let c(k) = -10*k - 6. Let y be c(-2). Is y less than b?
False
Let v = 44.9 - 53. Let m = -29 + 21. Let c = m - v. Is c less than 1?
True
Let p be (54/3)/(4/((-48)/9)). Let m be 6/344*(-16)/p. Is 0 greater than m?
False
Let d = -829.09 + 839. Let r = -10 + d. Let l be 0/(2 + -1 + 0). Is l bigger than r?
True
Let z(k) = -2*k**2 + 5*k + 3. Let a be z(3). Let m = -97 - -312. Let b be m/(-45) - -4*1. Which is smaller: b or a?
b
Let g = -20164/4921 - -78/19. Let x be (566/84)/(76 + -2). Let o = x - g. Which is greater: o or -1?
o
Suppose 2*s - 24 = -4*t + 6*t, t + 48 = 4*s. Let r(y) = -y + 10. Let v be r(5). Which is smaller: s or v?
v
Suppose -1242 = 24*t + 846. Which is smaller: t or 1/4?
t
Let t be ((-4)/(-1))/(-8) + (-81)/(-2). Let g be (4/6)/(4/24*t). Is g at least 0?
True
Let k = -0.1 - 0.7. Let w = k + 2.4. Let o = w + -0.6. Which is smaller: o or 6?
o
Let q be 15 - 15 - (-1 + 2 + -68). Is q at most as big as 67?
True
Let t be 602/(-438) - 8/(-6). Does 4 = t?
False
Let t = -29.48 + -0.52. Let s = -31.1 - t. Let u = s - -2.1. Which is greater: u or 0.06?
u
Suppose 614 + 358 = -12*a. Which is smaller: a or -80?
a
Let d(y) = 14*y**2 - 127*y + 10. Let x be d(9). Is -2/2413 < x?
True
Suppose -3 - 7 = 2*y + 4*g, 0 = 3*y + g. Let w be 120/(-22) + 3 - -3*1. Which is smaller: w or y?
w
Let z be -181*(-4 - -5)/(-1). Is z bigger than 180?
True
Let n be 258/5 + (-8)/(-20). Suppose 5*t = -u - 58, -u = 4*t - 3*u + n. Is -12 at most t?
True
Let u be -24 + 0 + -3 + -6. Which is smaller: u or -3?
u
Let o = -0.5 - -1.5. Let d = 0 + o. Suppose 3*g - 4 = k, 6 = -2*k + 4. Do d and g have the same value?
True
Let q = 1.43 - 1.43. Which is bigger: 0.035 or q?
0.035
Let v = 27 - 26.9. Let z(n) = n**3 + 2*n**2 + 2*n + 1. Let o be (-4)/(-14) - 16/7. Let w be z(o). Is w less than v?
True
Let b be 8/224 + 3/12. Let s = 1.6 - 3.6. Which is bigger: s or b?
b
Let q be ((-2)/5)/(198/(-30)). Which is smaller: q or -1?
-1
Let m = 1051/99 + -289286/495. Let b = m + 572. Let n = 78 + -78.2. Is n less than or equal to b?
False
Let h be (-29616)/40*2/66. Let l = 112/5 + h. Is l >= 1?
False
Let t = -1789 + 1933. Is t greater than or equal to 0?
True
Suppose 2*z - 4*z - 5 = -3*s, 6 = 3*z. Suppose -s*d + 3*r = 0, 0*d + 5*d = 3*r + 4. Let g be d - (8/3 + 0). Is 11 equal to g?
False
Let d = -19.25 + 3.25. Which is smaller: d or -13?
d
Suppose 157 = 11*q + 25. Let b = q - -7. Is b at least as big as 18?
True
Let k be -1 + 6/((-6)/(-13)). Suppose 2*y - 22 = 3*x + 17, -y + 5*x = -37. Does k = y?
True
Let b = 5475/32 - 84167/672. Let j = b + -183/4. Suppose 5*s - l - 3*l + 8 = 0, -2 = -l. Which is bigger: s or j?
j
Let o = -3 + 5. Let x = -70 + 100. Suppose x*h = 28*h. Which is bigger: h or o?
o
Suppose -3*u - 44 = 2*d - 8, 2*u + 4*d + 24 = 0. Is u at most -21?
False
Suppose 35*q + 350 = 85*q. Do -66 and q have different values?
True
Let d = -28 + 28.24. Let o = 21.24 - d. Let r = 21.05 - o. Which is smaller: -1 or r?
-1
Let n be 1/(-2)*(4 + -6). Let f be 3 - n - -5 - 3. Let t(m) = 2*m + 2. Let w be t(f). Which is smaller: w or 11?
w
Let u = 142.937 + -143. Let q = u - -0.063. Let b = 0.11 + 7.89. Which is smaller: b or q?
q
Let k(a) = -a**3 - 7*a**2 - 6*a - 3. Let r be k(-6). Let q(o) = 8*o**3 + 14*o**3 - 23*o**3 - 4 - 6*o**2. Let u be q(-6). Is r greater than u?
True
Let f(n) = 4*n - 14. Let t be f(5). Let p be -4*(-3)/t + -8. Is p greater than or equal to -7?
True
Let d(m) = -2 + 1 - m + 1. Let a be d(-5). Suppose -a*i = 10 - 5. Is i greater than 0?
False
Suppose -a = -3*s + 2*s - 32, 5*s - 160 = -5*a. Let p(m) = m**3 - 47*m**2 + m - 14. Let n be p(47). Which is bigger: a or n?
n
Let b(d) = -3*d**3 + 2*d + 1. Let f be b(-1). Suppose -v - 8 = -3*j + 3*v, -4*j + f*v = 6. Let c be (-1)/j - 43/140. Which is bigger: -1 or c?
c
Suppose -3*u = 2*g - 1663 - 2098, 2*u - 4*g = 2518. Is u not equal to 1256?
True
Let a(k) = 2*k**2 + 20*k + 4. Let y be a(-10). Which is smaller: y or 15/4?
15/4
Let d = 2.05 + -2. Let y be 18/48 + 19/(-8)*1. Which is greater: y or d?
d
Let z be (-6)/3 + (5 - 3). Let a = -1/2 - z. Let s = -19 - -4. Which is smaller: a or s?
s
Suppose 0 = 5*i - 15*i - 30. Let n be (-26)/i*24/128. Is 3 at most n?
False
Let h be (-360)/63 - (4 - 10). Is h at most as big as -207?
False
Let h(v) = 8*v. Let i be h(1). Let w = 0.07 - 0.095. Let q = w + -0.075. Which is smaller: q or i?
q
Let g = -39 + 55. Suppose 0 = -4*f - 0 + g. Suppose 2*o - 29 = -f*m + 21, -o - 4*m + 19 = 0. Which is bigger: o or 32?
32
Let x = -638 - -686. Which is greater: 0.1 or x?
x
Suppose -3*r - 5 = -3*b + b, -4*b = r - 45. Let c(q) = q**3 - 2*q**2 + 3*q - 1. Let w be c(2). Suppose b*u - w = 5*u. Which is smaller: 0 or u?
0
Let d be -1*((-1001)/(-21))/(3/9). Are d and -143 unequal?
False
Let s(b) = 34*b**2 - 33*b + 1. Let q be s(1). Does q = -1?
False
Let t be 10/(-26)*(-2)/(-5). Let h = -462 + 463. Is t equal to h?
False
Let o = 2 - 0. Let r = 0.5 + 67.5. Let g = r - 63. Which is smaller: o or g?
o
Let g = 7 - 7.015. Let s = 1.105 - g. Let b = 0.12 - s. Is -3 less than or equal to b?
True
Let i = 153.9 - 154. Which is greater: -28 or i?
i
Let q(f) = -f - 8. Let j be q(-8). Let x = 1279 + -57551/45. Which is smaller: x or j?
j
Let c = -311 - -217. Let r = -94 - c. Is 1/5 > r?
True
Suppose 4*c + n = -25, c + 11 = -3*n + 2. Let s(l) = 2*l + 12. Let u be s(c). Let y be (-2)/5 - 34/(-35). Is y smaller than u?
False
Let g be (-1)/1*(-20)/2. Suppose -g*k + 8*k + 8 = 0. Suppose k*d = -0*d - 16. Do d and -3 have the same value?
False
Let n(a) = -a + 9. Let k(w) = w - 9. Let q(b) = -5*k(b) - 6*n(b). Let d be q(13). Let c be d/3*(-81)/18. Which is bigger: -5 or c?
-5
Let i(w) = 5*w + 2. Let p(c) = -6*c - 1. Let h be (-5)/12*-3*-4. Let d(q) = h*i(q)