be r(-14). Which is bigger: 2/23 or n?
n
Let o = 11683 - 11683. Which is bigger: -17/15 or o?
o
Let f = 16966 + -16971. Which is smaller: f or 848?
f
Let u = -16143 + 16142. Is -2/50251 >= u?
True
Let n = -301 - -219. Let o = n - -70. Let b = 0 + 0.1. Is o not equal to b?
True
Let w = -20057 + 20083.7. Which is smaller: w or 3?
3
Suppose -297 = 3*c - f, 7*c + 409 = 3*c - 3*f. Let h be 75/c + (1/(-4) - -1). Let i be ((-30)/(-25))/(h + (-14)/(-10)). Which is bigger: i or 1?
1
Let p be (1 - 0)*((-5763)/(-1524) + -2). Let d = 4/127 - p. Which is smaller: 1/15 or d?
d
Let u = 8/691 - 104373/2764. Which is smaller: u or -38?
-38
Suppose 27*i - 6006 = -37*i + 53*i. Is 7104/13 less than or equal to i?
False
Suppose 73 = 5*f + 3*s + 21, -f = 3*s - 20. Suppose -13 = -f*z + 3. Let j be -38*(-27)/(-510) + z. Which is smaller: 1 or j?
j
Suppose 0 = -32*i + 634 + 774. Suppose -i = -13*z - 161. Let q = -29 + 17. Are z and q non-equal?
True
Let q = -257 + 8737/34. Let h = -6068 + 6068. Is q equal to h?
False
Let r be (-106 + 1)*(268/66 + -14 + 10). Let j(x) = -3*x + 4. Let s be j(3). Is s less than r?
False
Let s be 39*(-1 - 0/3). Let n = -348 + 354. Suppose -9*h - 354 - n = 0. Which is bigger: s or h?
s
Let a = 20548 - 20534. Is -0.94 greater than a?
False
Let t = -1046.19 + 1045.4. Is t at least -0.1?
False
Let y be ((-22)/10)/(12 - 11)*-32. Which is bigger: 71 or y?
71
Let s(n) = 2*n**2 + 2*n - 233. Let v be s(8). Are -15 and v unequal?
True
Let d(n) be the second derivative of n**5/20 + 7*n**4/4 + 8*n**3/3 - 13*n**2 - 16*n. Let v be d(-20). Let y = v - 53. Is y bigger than 2?
False
Let d be 3/(-3*(-30)/9). Let i = 43238 + -43239. Which is smaller: i or d?
i
Suppose 3*p = 94*c - 99*c + 983, -p = 5*c - 981. Let f = -119 - -314. Which is bigger: c or f?
c
Let l(q) = -2*q**3 - 7*q**2 + 13*q - 20. Let o be l(-8). Let g be 10/(-40)*o - (0 - -5). Which is greater: -2 or g?
-2
Let v be 4/2*(-3)/(-6). Let u(w) = -w**3 - 8*w**2 - 6*w + 12. Suppose y + 3*a + 0 = -10, y - 2*a + 5 = 0. Let z be u(y). Do z and v have the same value?
False
Let k(h) = -h**2 - 3*h + 55. Let d be k(-7). Let y(u) = 3*u - 6. Let z be y(4). Suppose z = -3*g + d. Is 4 <= g?
True
Let p = 97 + -94. Suppose -5*q - 3 - 3 = y, -p = y + 2*q. Let o = 2/457 - -395/14167. Are y and o nonequal?
True
Let w = 244 - 7566/31. Let d be 0 + 7 - (396/18 - 14). Is d at least w?
False
Let z = -33142 - -33142. Which is smaller: z or 66/863?
z
Suppose -l - l = 5*z + 73, z + 17 = -l. Let j(o) = o**2 + 9*o + 6. Let d be j(z). Is d > 56?
True
Suppose 25*j + 11 = 23*j + 5*k, -j = k - 5. Is 225/79 bigger than j?
True
Let z(v) = -131*v + 35. Let p(a) = 87*a - 23. Let t(x) = -7*p(x) - 5*z(x). Let i be t(-5). Let s = 473/2 + i. Does -9 = s?
False
Let q be 9 + (-10595)/117 - 11. Which is smaller: -94 or q?
-94
Let r(c) = -2*c - 33. Let k be r(-15). Let x be k + -1*35/5. Are x and -9 unequal?
True
Let a be 7/(-840)*1555 - -13. Which is greater: 11 or a?
11
Suppose -8547 - 5623 = 13*t. Which is bigger: t or -1089?
-1089
Let t be 0 + 140 + (-7)/7*3. Suppose -t*b + 141*b - 4 = 0. Is b at most -4/247?
False
Suppose -56 = -2*h - 5*b, -4*h + 91 = -h + 4*b. Suppose 6*a + 3*v + 4 = a, 0 = -4*a + 5*v - 18. Let p be 65/2 + (-2)/(6 + a). Is p > h?
False
Let y be (-41)/((-5740)/(-660)) + (-1)/(1/(-5)). Which is bigger: 689 or y?
689
Let t be 18335/505 - 15 - 21. Which is smaller: t or 1?
t
Let a(n) = -n**3 + 87*n + 192. Let j be a(-8). Suppose 21 + 12 = 5*i - f, 2*f + 31 = 5*i. Which is smaller: i or j?
i
Let z = 262 - 263. Let n = -22.2 - -21. Let h = -1.4 - n. Which is smaller: z or h?
z
Let p = 2168 + -2170. Let a = 125.053 + -125. Is a less than p?
False
Let m(g) = -1337*g - 678. Let k be m(4). Is k less than -6027?
False
Suppose 0 = 20*y - 14 - 6. Suppose 2*l - 5*z - 179 = 0, -303 = -4*l - 3*z + 2*z. Let k be 16/l + (-8)/14. Which is bigger: k or y?
y
Let c(s) = 339*s + 455. Let w be c(9). Which is smaller: 3507 or w?
w
Suppose 3 = 2*y + 5. Let k be (6/(-15) - -1)*(-22 + 27). Let w = k - y. Which is smaller: w or 19/4?
w
Let b be (-6 - -1 - (-297)/36) + -2. Suppose 8*o = 4*f + 3*o, -13 = -5*f + 3*o. Suppose f*w = 16 - 6. Are w and b non-equal?
True
Let t = 422162795/6369 + -66284. Is t at least as big as -1?
True
Let u(m) = m**3 + 13*m**2 - 83*m - 955. Let a be u(-14). Let w be (-89)/(-8) + 9/(-36). Which is smaller: a or w?
w
Suppose c + 131 = -2*r + 9, 2*c + 250 = 2*r. Suppose -194*y = 7*a - 191*y + 861, -a + 2*y = 140. Are c and a unequal?
True
Let v be (9/(-2 - -1))/((-6)/90). Let s be (5 - v/25)*30/(-17). Let n = -26/85 + s. Is n >= -6/35?
True
Suppose -5*q = 10, 2*r + 0*r + 12 = 3*q. Let d be (r - -3)*(38/(-4) + 2). Let i = d + -49. Which is bigger: i or 0.2?
0.2
Let c be (70/126)/((-206)/(-222108)). Let g = c - 599. Is g at least 0?
False
Let y = -462 + 254. Let x = -208.3 - y. Let j = -107/390 + -1/39. Is x > j?
False
Let g be 1*-35*((-106)/10 - -5). Let m be (-6)/14 - (-280)/g. Which is smaller: m or 1/84?
1/84
Let q = 168 - 134. Let s = 40 - q. Let p be (650/45)/2 - 1. Is s <= p?
True
Suppose 0 = z + 3, -5*b - 47 = -b + 5*z. Let c(y) = y**3 + 7*y**2 - 9*y. Let s be c(b). Suppose 14 = 3*m - d - 1, 2*m - d = 10. Is s equal to m?
False
Let o = 221 - -59. Let p be 7 + (-2432)/o + 2. Which is bigger: 0 or p?
p
Let x(u) = u - 6. Let t be x(9). Suppose -5*r + 53 = -4*f, t*r + 77 = -4*f - 0*r. Let o = 16 + f. Is o >= 2/51?
False
Suppose -3*w + y - 15 = -0*w, 2*y = -5*w - 25. Let p be ((-30)/21)/(w/35). Let a be p/6*(123/57 + -2). Is a smaller than 0?
False
Let l = -16601 - -16423.876. Let z = l + 177. Which is greater: -2 or z?
z
Let o(n) = -n**3 + n**2 + 6*n - 2. Let j be o(4). Let f = -3947 - -3918. Let a = f - j. Are a and 2/27 equal?
False
Suppose -6*r + 168 = -7*r. Let b = 687/4 + r. Let t = 1 - -2. Which is bigger: b or t?
b
Suppose 2*t = 24*t - 550. Let c be 4*3*6/(-24). Is t less than c?
False
Suppose 6 + 0 = 3*z. Let p be (z/(-3))/(20/(-60)). Suppose -4*g - 4 = -4*u, -u + 3*g - p = -1. Is u at least as big as -0.1?
True
Suppose 5*k + 2*f = 56, 0*f + f + 2 = 0. Suppose 2*h = -2 + k. Suppose -3*l - 5*v + 0 = 4, h = -3*l - 4*v. Which is greater: -13/5 or l?
-13/5
Suppose -16 = -o + 4*b, -4*o + b - 3 = -2*o. Suppose d = -4 + 3. Let c be o/(-1 - 3)*d. Are c and -3/53 equal?
False
Suppose 994903 = 4*j + 87*j. Is 10934 at most j?
False
Let t = 71791 - 1220103/17. Is t less than 20?
False
Let r = 0.2612 - -0.7388. Which is bigger: r or -9729?
r
Let u be (0 + 4)/(5 - 297/55). Is -108/11 smaller than u?
False
Let m = 750 - 927. Is m smaller than 6/11?
True
Let n be (7*4/6)/((-18)/54). Let b be 6/(-9)*(-231)/n. Let m = b - -10. Which is smaller: m or 3/13?
m
Suppose 13 + 92 = -3*v. Suppose t + 32 = 4*z - 3*z, 3*z = 12. Let w be 35/t*56/2. Is v < w?
False
Let c(w) = -11*w**3 + w**2 - 2*w. Let r be c(3). Which is greater: r or -291?
-291
Let o be 6*((-3)/15)/((-2)/115). Let u = -50 + o. Let a = 47 - 47.1. Do a and u have different values?
True
Let b be (0 + (-6)/9)/(2/6). Let i be b + 2 - (-14)/(-7). Is i < -2/7?
True
Let p(n) = -n**2 + 15*n. Let y be p(-8). Let x be y/(-258) - (7 + 114/(-18)). Which is bigger: x or 0?
x
Let a = -2370 - -3375. Which is smaller: 1002 or a?
1002
Suppose 0 = -3*r + 143*r + 72*r + 212. Which is smaller: -4/583 or r?
r
Suppose 3*o + 2*v - 5 = 1, -5*o = 2*v - 10. Suppose 2*k = -5*p + 9, -k + 0 + 4 = o*p. Which is bigger: p or -1/4?
p
Let g = -143/15 + 307/35. Let c = 365904 - 365905. Which is greater: c or g?
g
Let y = -19141.8 + 19142. Let f = -4 - -2. Does f = y?
False
Suppose 0 = w + 3*y - 25, -3*y = 4*w - 82 + 9. Suppose 6*t - 3*t - 5*l - 53 = 0, 0 = 4*l + w. Let c = -1 + 13. Which is smaller: t or c?
t
Suppose 7*k - 956 = 1494. Let q = k + -450. Which is bigger: q or -99?
-99
Suppose b - 4 = 0, -5*b = -0*t - 3*t - 734. Let a be ((-36)/(-21))/(4/t). Is -102 greater than a?
False
Suppose 12849 - 31998 = -11*w + 10661. Which is bigger: w or 2708?
w
Let z be ((4/3)/(-2))/((-40)/(-60)). Which is greater: z or -10/71?
-10/71
Let s be 9881/123 - 2/6. Let y be 28/8*s/84. Let b be (-4)/18 - (-40)/18. Which is smaller: y or b?
b
Let w(x) = -x**2 - 13*x + 57. Let q be w(6). Let n(j) = -2*j**2 - 71*j - 566. Let g be n(-10). Is q less than or equal to g?
True
Let u = -0.14 - -6.14. Suppose 2*d + 6 = 2*f, -2*