 - -4076. Let h = -3.05 + 0.05. Let s = h - -8. Is s smaller than y?
False
Suppose 3*n + 33 = -2*w, -w - 2*n - 15 = -n. Let q be (-25 - (-15235)/605) + (-872)/77. Which is bigger: w or q?
q
Let s = 147 - 139. Suppose 86 = -3*x - l - 0*l, 20 = -x + 4*l. Let j be 2*(-4 - x/s). Which is bigger: -1/11 or j?
-1/11
Let a be (-11 - -18 - -3) + 11/(-1). Is -2/223 > a?
True
Let x = -107506 - -108034.01. Let o = x - 528. Which is smaller: 0.2 or o?
o
Let i = 26746.7 + -26793. Is i at most -7?
True
Suppose 8*p + 2*b - 1148 = 0, -5*b + 18 = 48. Which is smaller: p or 76?
76
Let k = 179 - 174. Suppose 9*j = k*j + 24. Let p = -1 - -0.8. Do p and j have different values?
True
Let q = 4 + -3. Let r = 0.09696 + 199.90304. Which is smaller: r or q?
q
Let r(z) be the third derivative of -5*z**4/24 - 3*z**3 - 7*z**2. Let m be r(6). Let k = 634 + -681. Which is smaller: m or k?
m
Let m(l) = -l**3 - 13*l**2 - 40*l + 6. Let k be m(-5). Let p = -16 - -16. Suppose p = -2*x + 10*x - 56. Is x >= k?
True
Let o = 352/17 + -12413/510. Let t = o + 19/5. Are t and -74/7 non-equal?
True
Let f be 2/2*((-15)/5 + -39). Let l = 99 - f. Suppose 15*s + l = -114. Which is smaller: -15 or s?
s
Let s = 3 - 3. Let b = -220750/17 - -12986. Which is bigger: s or b?
b
Let q be (2/11)/((-2)/3). Let f = -9 - -68. Suppose -f*h = -63*h. Which is greater: q or h?
h
Let s = 5590 - 5590. Which is greater: 3/1987 or s?
3/1987
Let m = -114 + 118. Let s be 1*3*m/36*-3. Is -1 > s?
False
Suppose f - 387 = -5*a - 337, 3*a = 5*f + 2. Suppose 0 = l + 2*l + 6. Let m be (l/2)/(1/(-8)). Which is smaller: a or m?
m
Let q be 9/(-36) + 34/8 - 209. Let g = -198 - q. Let w(a) = -6*a**3 - a - 1. Let z be w(-1). Is z greater than g?
False
Let k = -902441/8 - -113329. Which is bigger: k or 523?
k
Suppose 2*z - 76 = 4*m, -6 = 2*z + 5*m - 37. Suppose -z = 4*p + 8. Let h(t) = 2*t**2 + 19*t + 1. Let u be h(p). Which is greater: 1 or u?
1
Suppose 2*t = 2*p - 3*t - 13, 17 = -2*p - 5*t. Let d be (1 - (-52)/(-8))*(11 - p). Let r be d/(-4) - 18/12. Which is greater: 14 or r?
r
Suppose 0 = -u + 43 - 5. Let p = u + -42. Let s = -8.3 + 6.3. Are p and s nonequal?
True
Suppose -a - 109*a + 277680 = 20*a. Is a < 2137?
True
Let q = 34 + -20. Let p = 25 - q. Suppose 378*u + 60 = 383*u. Which is smaller: p or u?
p
Suppose -91 = -3*x + 206. Suppose -6*n = x - 87. Which is greater: n or -120?
n
Suppose 0 = -5*g - 5*h - 7640, 4*h - 2*h + 6 = 0. Let m be (-435)/36*(6 - (-8656)/72). Let k = g - m. Is 0 greater than k?
False
Let q = 21527 + -36380629/1690. Let j = -7567/64220 - q. Is j less than 0?
True
Let i be (2 - 2)/6 + 3. Suppose -i*x = c + 9, 3*c - 4*x - 2 = 10. Which is smaller: c or -1/62?
-1/62
Let x = -4/15 + -1/15. Suppose 0 = -2*p + 5*a - 3, -203 = 2*p - 3*a - 202. Which is smaller: p or x?
x
Let l = 844 - 844. Let w(k) = -k + 508. Let o be w(l). Is 509 at most as big as o?
False
Let q = 5305.96 - 5306. Are 5.3 and q non-equal?
True
Let j be 39/4 - (-14 - (-118)/8). Suppose 0 = -5*g + j*g - 40. Which is bigger: g or 8?
g
Let l = -44903 - -44871. Let a be ((-1)/2)/(1/62). Is l bigger than a?
False
Let j be 4/(16/(-2972)) - ((-40)/(-5) + -6). Which is smaller: -747 or j?
-747
Let c = 0.044 - 60.044. Let s = -76 - c. Let z = 16.5 + s. Which is smaller: z or 2/5?
2/5
Let h(w) = 13*w**2 - w - 3. Let a be h(-2). Let f = -56 + a. Let o be (f/(-1))/(-10 + 9). Is o <= -5?
True
Suppose 0*g = -3*g. Let v be (2/(-20))/(7/(-392)*-20). Which is smaller: v or g?
v
Let i = 782/15 + -368/15. Let d = 2845 + -2818. Is i bigger than d?
True
Let g = 703763/346 + -2034. Which is smaller: -2/7 or g?
-2/7
Let w = -2.335 + -0.655. Let v = -0.11 + w. Let i = v - -2.8. Which is bigger: 1/4 or i?
1/4
Let b = 68409/5 + -13639. Is b less than or equal to 42?
False
Suppose 0 = -4*u + 2*z + 18, u = -u + 4*z + 18. Let b = 174 + -175. Let t be 4*u/42*(-7)/b. Is t at most 21/10?
True
Let v be -3 + -3 + -3 + 231/6. Let l be (-3)/(-3)*-1*(-27 + 0 + -3). Which is greater: v or l?
l
Let s = -8315 - -8172. Do -128 and s have the same value?
False
Suppose 0 = 3*z - 3*i, -i + 1 = -2*z - 1. Let l(r) = 2*r + 12. Let u be l(2). Is z at least as big as u?
False
Suppose 0 = -c - 2 + 7. Let y = 60 - 52. Suppose -c = k - y. Which is smaller: 0.11 or k?
0.11
Let f be 164/(-10) - (3 - 34/10). Suppose 0 = -5*j - 2*t + 9, -6*j + 2*j - 3*t + 10 = 0. Let d be j + ((-20)/1 - -1). Is d >= f?
False
Let d be (495/(-10))/9 + (-2)/(-4). Let m be ((-104)/16)/((15/(-6))/d). Let k = -51 - -36. Which is greater: m or k?
m
Let i = 62 + -41. Let t be (i/14)/((-6)/16)*-42. Let b be (-489)/t + (-6)/(-21) + 3. Is -1 < b?
True
Let f be 9/5 + ((-52)/(-10) - 5). Suppose -3*d + 0*d = f*q - 20, -2*q + 40 = -2*d. Let a be (2/3)/(q/5). Which is smaller: 1 or a?
a
Suppose 4*a = 5*i - 2332, 19*i = 23*i + 5*a - 1841. Is i at least as big as 466?
False
Let n(p) = -4*p + 27. Suppose -3 = -b - 5*h, -11*b - 2*h + 18 = -12*b. Let y be n(b). Which is greater: y or 71?
y
Let q be (-6)/(-4)*(-69020)/(-28101). Suppose -5*b = -3*i - 11, -1 + 3 = 2*b - 2*i. Which is bigger: b or q?
b
Let b = -63 - -70. Let c(p) = -p**3 + 4*p**2 + 14*p - 33. Let m be c(b). Is -82 <= m?
True
Let b = 1234473798/17155 - 71960. Which is greater: b or -1?
b
Let w be 0*((-6)/(-30) + 32/(-80)). Is -435 smaller than w?
True
Suppose v - 792 = h, -v + 6*v = -h - 804. Let a = 795 + h. Is 2/393 > a?
False
Let z be ((-21)/711)/(24/(-720)). Are 1 and z non-equal?
True
Let r(d) = -4*d**2 + d - 4. Let t(g) = 3*g**2 - 2*g + 3. Let l(j) = -2*r(j) - 3*t(j). Let s be l(3). Let f = 1927/885 - -4/177. Is s >= f?
False
Let w = -3 - -4. Let h = -2512 - -2405. Which is smaller: w or h?
h
Let u(p) = -19*p + 46. Let v be u(-13). Let b = 355 - v. Is 123/2 greater than b?
False
Let s = 29657 + -2402275/81. Which is smaller: s or -2?
-2
Let z = 12.568 + -7.568. Which is smaller: z or 300?
z
Let s(v) = 17*v + 316. Let g be s(-23). Let p = g - -315. Is p equal to 240?
True
Suppose -9*n - 4*i + 414 = -10*n, 4*n - 2*i + 1642 = 0. Let t = n - -1240/3. Which is bigger: t or 4?
4
Let z be 17067/6*(-24 + 26). Let l = -108067/19 + z. Is l smaller than 2?
True
Let z = 221/54 + -97/27. Which is bigger: -1610/9 or z?
z
Let a(s) = 30*s - 1139. Let i be a(38). Which is smaller: 2/22973 or i?
2/22973
Let u(o) = -2*o**3 - 19*o**2 - 10*o + 11. Let y(x) = -2*x**3 - 20*x**2 - 10*x + 11. Let d(f) = -3*u(f) + 4*y(f). Let n be d(-11). Does n = 1/61?
False
Let c = -320 - 18. Is -346 not equal to c?
True
Suppose 5*o = 2*z + 2*o + 162, -3*z + 4*o - 242 = 0. Let u be ((-416)/20 - 2)*10/3. Which is smaller: u or z?
z
Let y = 143 - 159. Suppose -j - 23 = 3*h, -3*h + 7*h - 2*j = -14. Let q be 8/14*h/8. Is y at most as big as q?
True
Let h = -166.89 + 167. Let d = -3.51 + h. Which is greater: d or -2?
-2
Suppose -27*d + 33*d = 1320. Let s = -213 + d. Suppose 13 = 3*y + y + 5*g, -3 = g. Is y <= s?
True
Let q(j) = -j - 7. Let i be q(-7). Let h be (61 + i)/(11/22). Suppose -3*v = -23 + h. Are -34 and v nonequal?
True
Suppose 62 - 3 - 35 = -24*j. Are j and 2/2755 unequal?
True
Let g be (-6)/(-21) - 0 - 47/(-7). Suppose -4*v = -2*v - g*v. Is 1/225 greater than v?
True
Let r be (-16)/(-11)*1144/208*15/(-520). Suppose -n + 3*n = 6. Let f = -2 + n. Which is greater: f or r?
f
Let p = -590/121 - -135097/484. Is 274 at least as big as p?
False
Let h = -22214.095 + 22152. Let a = 0.095 + h. Let j = -89 - a. Which is smaller: 1 or j?
j
Let o be (0 - 1/(-3))*(-3 + -6). Let g be (o + -3 - -109) + -7. Which is bigger: g or 97?
97
Let g = -1575/6332 + -2/1583. Is g < 3/116?
True
Suppose -5*h = 5*k - 15, -k - h + 9 = -3*h. Suppose -3*n = -q - 4, -1 = 6*n - 2*n + k*q. Let i = -4 - -95/24. Is i != n?
True
Suppose 3*s = -5*n + 1753 + 353, -3*n - 4*s + 1257 = 0. Suppose 0 = 5*l + z - n + 126, z + 175 = 3*l. Let w be 0 - 0 - (0 - 60). Which is smaller: l or w?
l
Let a be 35 + -21 - (8/2)/1. Let b be (-1027)/a - (-11 - (-147)/14). Which is greater: -103 or b?
b
Suppose 0 = -3*x - 3 + 6. Let w be (2 + x)/9*-3. Let c be 7/45 - (-6 + (-99)/(-15)). Which is smaller: w or c?
w
Let m be ((-15)/5)/((-1)/3). Let s = m - 16. Is s at most -11?
False
Let a = 10320.14 + -10224. Let v = 1.14 - a. Let i = v - -95.063. Is 0 not equal to i?
True
Let w = -2654 + 2600. Does -1.8 = w?
False
Let l(k) = -3*k**2 + 9*k - 9. Let c b