 17 + -5. Let n = -386.8 + 375. Let q = n + j. Is -2/9 at least q?
False
Let x(m) = 828*m**3 - 2*m**2 - 8*m + 3. Let v be x(5). Let z = -1966384/19 + v. Let n = z - -81. Which is greater: -1 or n?
n
Let k be ((-1)/410)/(1156/26605). Let v = -1/136 - k. Which is smaller: 1 or v?
v
Let i(l) = l**2 - 8*l + 9. Let p be i(7). Suppose 5*u - 3*q = -375, 4*u + 150 = 2*u + p*q. Which is smaller: u or -74?
u
Let y = -0.79 + 1.37. Let w = -4.58 + y. Which is smaller: -0.1 or w?
w
Suppose c + 2*c = 3300. Let b be ((-2)/(-5))/(20/c). Let d be 20 - (2 + -5 + 1). Do b and d have different values?
False
Let p(d) = -d**2 - 11*d - 34. Let m be p(-14). Suppose 0*s - 5*s = -2*w + 377, -3*s = 2*w + 239. Which is smaller: s or m?
s
Suppose -2*n + 5*n = 12. Suppose 0 = 3*j - o - 0 - n, -5*j - 5*o - 20 = 0. Let d be 1/12*4/4. Is d <= j?
False
Let z be (-2)/15 + (-184)/(-30). Let x = -21 + z. Let s = x - -12. Is -1 greater than or equal to s?
True
Let j = 538 - 7547/14. Is -0.3 >= j?
True
Suppose -3*k - 3*n - 3 = 0, -5*n - 12 = -2*k - 42. Let l be k + 2 + (-168)/(-32). Which is smaller: l or 1?
1
Let z = -1.386 - 0.164. Let k = z + -0.45. Let u = -6/179 - 256/3043. Is u less than or equal to k?
False
Suppose -5*h = 4*x + 157 - 22, -3*h = -5*x - 141. Let w be ((-2)/x)/(2/(-25)). Let z = w - 1/2. Is z smaller than 0?
True
Suppose o = n - 0 + 6, -3*o = -2*n - 13. Which is smaller: 1/16 or o?
1/16
Let p = -3/44 + -167/132. Let r = -2/1091 + 1107/8728. Which is smaller: p or r?
p
Let t be ((-256)/(-6))/(-8)*10. Let w = -54 - t. Is w < -0.09?
True
Let c = 102217/777 + -921/7. Suppose 30 = -2*g + 28. Do g and c have the same value?
False
Let b be 275/11*72/(-195). Which is bigger: -10 or b?
b
Let o(x) = -2*x**3 + 66*x**2 + 66*x + 61. Let l be o(34). Is 30/7 not equal to l?
True
Suppose 0 = -l + 3*l + 4*v, l - 5*v = 0. Suppose 4*r - s + 2 = l, -5*r + 4*s - 8 = -3*r. Let c = -28/297 + 2/99. Is r >= c?
True
Let m = -2.075 + 0.075. Is m at most as big as 0?
True
Let x = -3.2 - -3. Let u = 0 - x. Let m = -1.852 + 0.852. Which is bigger: u or m?
u
Suppose 159 = 2*q - 5*i, 4*q - 23*i = -28*i + 273. Is 80 smaller than q?
False
Let z be (-6)/(-4)*14/(-78). Suppose 4*t - 5*x = -35, 51*t - 56*t + 4*x = 28. Which is greater: t or z?
t
Let a = 874 - 875. Let z = -2546/555 - -68/15. Which is bigger: a or z?
z
Let j be (1/(-2))/(2*2/(-1608)). Is j at least as big as 201?
True
Let n(l) = 9*l + 2. Let t be n(3). Let s = t + -28. Let m be (-3)/(-6)*-1 + 2. Which is smaller: s or m?
s
Let v be 1197/(-27) + (1 - -1)/6. Let j be (-2 + (-12)/(-8))*v. Which is smaller: j or 21?
21
Suppose -2*q + 4 = -0. Suppose -2*o = -j, 7*o + 15 = q*o - 5*j. Let t be (24/32)/(o/24). Is -17 > t?
True
Let f(z) = z**3 + 6*z**2 - 9*z - 10. Let q be f(-7). Let a be 2*(4 + 62/q). Which is bigger: 38 or a?
a
Let n = -2 - -2.1. Let r = -0.4 - 6. Let m = 6.23 + r. Which is smaller: m or n?
m
Suppose 0 = 5*g - 6 - 14. Suppose -g = 4*m - 0. Is m greater than or equal to -1/34?
False
Let c be -2 + 5 + 1 - 442/111. Are c and 0 equal?
False
Let w = -696 - -730. Which is smaller: w or 0.2?
0.2
Suppose 0 = u - 3*t - 14, 4*u + 3*t - 1 = -35. Let l = 12423/2 - 6341. Let b = l + 126. Which is bigger: u or b?
b
Let b be (4/40 - 9/66)/((-1)/(-25)). Let t = 13 - 40/3. Which is bigger: b or t?
t
Let m = 2619.03 - 2634. Let b = -0.03 + m. Are -1 and b unequal?
True
Let t(v) = -v**2 - 4*v - 5. Let c be t(-6). Let y = -17 - c. Suppose 14*l - 18*l = y. Which is greater: 5/6 or l?
5/6
Suppose a - 5*v - 115 = 0, 5*a + 5*v = 4*v + 445. Suppose g - 4*g + a = 0. Are g and 30 equal?
True
Let i be 9/(-15) - 66/(-10). Suppose 0 = -6*u + 3*u - i. Suppose -6*x + 5*x - 3*k - 15 = 0, 5*x + 11 = k. Is u at least as big as x?
True
Let y = -767 - -1535/2. Let f = -2 - -7. Let l = f - 3. Is y at least as big as l?
False
Let l(n) = n**3 + 9*n**2 + 13*n + 12. Let z be l(-8). Let y be z/(-30) + 12/18. Suppose -j + 2*p = -3, 0 = 4*p - p. Which is smaller: j or y?
y
Let y = 23.5 + -20.5. Which is smaller: y or 7?
y
Let u be 2234/(-4)*(-4 - -2). Suppose 4*r + 175 + u = 0. Let s = -4201/13 - r. Which is bigger: 1 or s?
1
Suppose 0 = u - 3*u. Let h be 14/77 + (-148)/330. Let j = -1/15 + h. Is j at most as big as u?
True
Let h(q) = q**3 - 5*q**2 + 32*q - 51. Let a be h(2). Is a greater than 45?
False
Let f = 173/101 - 70252/505. Which is bigger: -138 or f?
f
Let p = 14 + -9. Suppose -4*s - 2*x + 1 = 5, -4*x = 5*s + p. Is 2/5 < s?
False
Let j = 384 + -102. Which is greater: j or 280?
j
Let n = 819 - 699. Which is bigger: n or 122?
122
Let c be 1 - (-4)/(-7) - 3. Let r = -335/133 - c. Which is bigger: r or 1?
1
Suppose 5*n - 3*n + 6 = 0. Let p be n/21 - (-503)/(-7). Is -71 > p?
True
Let y(n) = n**2 - 11*n + 7. Let g be y(10). Let i be 1*(-85)/30 + 1/2. Which is smaller: i or g?
g
Let t be (-22)/(-99) - (-4)/9. Do t and -580 have the same value?
False
Let p = -18552490785 + 1263702909783917/68115. Let z = 2/4541 + p. Which is greater: 0.1 or z?
0.1
Let m = 0.13 - 0.03. Let v = -0.17 + m. Let i = v - 0.03. Which is bigger: i or -4/3?
i
Let v(t) = t**3 - 15*t**2 - 16*t - 29. Let m be v(16). Let y be (4/10)/(2/m). Which is smaller: -7 or y?
-7
Let i = 256 - 766/3. Which is smaller: i or 1.9?
i
Let d be 3/(-6)*(0 + 0). Suppose 0 = -3*a - 5*t, -a - 2*t - t = d. Let q = 93/5 + -646/35. Which is greater: q or a?
q
Let d(c) = 4*c**3 + 2*c - 1. Let z be d(1). Suppose -z*v = -6 - 4. Let x be -2 + (8 - 2) - 2. Is v > x?
False
Let n = -20 + 96. Is n >= 82?
False
Let a be 12/(-66) + (-62)/22. Let u(m) = -m + 6. Let q(h) = h - 7. Let p(r) = a*q(r) - 4*u(r). Let f be p(2). Which is smaller: -2/7 or f?
f
Let h be -2 - 12*-1*(-40)/(-228). Suppose -5*j = -v + 15, -v - v + 4*j = -12. Is h greater than v?
True
Let j = 2140 - 2114. Is 23 less than or equal to j?
True
Let m be 16/20*1*25. Let t be ((-6)/m)/(42/224). Is t != -1?
True
Suppose 0 = 2*z + 5*m + 34, z - 4*m = -m - 6. Suppose 3 = 2*a + 5*u, 25 = -a + 3*u - 1. Let j = a - z. Which is greater: 0 or j?
j
Suppose -2*p = 3*p. Let q = -294 + 4701/16. Which is bigger: p or q?
p
Let l = -168.3 + 168. Which is smaller: 2/129 or l?
l
Let x = -4.2 + 2.2. Let z = -7 - -12. Let n = -4 + z. Which is smaller: x or n?
x
Let g = 49426/37 + -1336. Is g at least 0?
False
Let f = -0.05 - -0.15. Let v = 35983 + -324295/9. Let p = 50 + v. Which is smaller: f or p?
f
Let u = -68 - -208. Which is smaller: u or 845/6?
u
Suppose 0 = -i - 3*x + 14, x - 4*x = -2*i - 8. Suppose -22 = -i*a - 16. Suppose -a*u + 5*u = -8. Is u bigger than -8/3?
False
Let i = -27.38 + 29.38. Let d be 0 - 2*3/8. Which is greater: i or d?
i
Let t = -1 + -1. Let w be 1/2*(57/129 - 1). Let r = w - 260/301. Which is smaller: t or r?
t
Let h = -1/37 + 151/1480. Which is smaller: h or 0?
0
Let c = -847 - -845. Let j = 4 + -5. Let x be 1*(j + (-10)/6). Which is smaller: c or x?
x
Let t = 1 - -1. Let h(u) = -u**3 - 14*u**2 - 14*u - 12. Let a be h(-13). Suppose -3*w - 4*b = -9*b - 31, -3*w - b + a = 0. Does t = w?
True
Let y = 339845/96 + -3540. Which is smaller: y or 0?
0
Suppose a - 140 = -6*a. Let x = 19 - a. Is x less than -3/10?
True
Let d = -1 + 0. Let h = -9 - -8.2. Let g = h - -0.5. Is g at most d?
False
Let y = -2.04 + 0.54. Which is greater: y or -10?
y
Suppose 33 = 4*u + 5. Suppose -5*x - u = -l, -5*x - 3 = -0*l + l. Suppose -3*m + 6 = -f, -4*f + l = f + m. Is f at least as big as 3/13?
False
Suppose 3*h - 5*q = -213, -5*q = h - 8*q + 67. Let f be (-8)/16 - (-149)/(-2). Which is smaller: f or h?
h
Let l = 392 + 158. Let n be 6/(-21) - l/1778. Let k = -3/127 - n. Which is smaller: k or 2?
k
Let n = -1/835 - -849/11690. Suppose 5*l - l = 0. Which is bigger: l or n?
n
Let b = 578 - 578. Which is greater: 5/83 or b?
5/83
Let h(n) = -2*n**2 + 11*n - 4. Let o be h(5). Let x(a) = -9*a - 6. Let k be x(o). Which is smaller: -13 or k?
k
Let q be 35/14*(-16)/40. Let z be 0/(3/((-6)/(-4))). Suppose 2*c = -z*c + 6. Is q bigger than c?
False
Let q = -27.8 - -47.8. Which is smaller: q or -0.1?
-0.1
Let u(j) = -8*j - 18. Let r(a) = -15*a - 35. Let q(m) = -6*r(m) + 11*u(m). Let k be q(-11). Let n be (-1)/2*k/(-20). Which is smaller: n or 4?
n
Let p be 91/(-42) - 2/(-12). Let q = p - -4. Suppose 2*d + 5*a = -9 + 4, 4 = d - 4*a. Which is greater: q or d?
q
Suppose 21 = -s + 23. Suppose -d 