. Let f be b(n). Do f and 65 have the same value?
False
Let c = 367 + -269. Suppose -116 = -9*f - c. Is f < 7/8?
False
Let x = 0 - -11. Suppose -5*o + 5 = -f, 2*f = 5*o + 1 - x. Let n = -1 + o. Is -2/23 at most n?
False
Let k(n) = 4*n - 3. Let s be k(5). Let h = 23 - s. Suppose 3 = -h*v - 3. Is -2/19 < v?
False
Let s = 70.67 + 0.33. Let z = 227 - s. Which is bigger: z or 1/3?
z
Suppose 5*i = -4*n + 178, 3*n + 37 - 187 = -i. Let x = -2 - -5. Is x < n?
True
Suppose -8*p + 12*p + 232 = 0. Let a(m) = -2*m**2 - 24*m + 19. Let i be a(-10). Let g = p + i. Which is smaller: -2/137 or g?
-2/137
Suppose -82*w + 87*w - 345 = 0. Let q be (66/w - 1)*6. Which is greater: -1 or q?
q
Let m be (-5)/82*((-94640)/(-50))/(-14). Is m > 7?
True
Let n(u) = -2*u**2 + 45*u - 22. Let l be n(22). Which is smaller: l or 1/19762?
l
Let z = -562 - -432. Let f be 150/z + (-4)/(-26). Let b = -619/40 + 111/8. Which is greater: f or b?
f
Let m(r) = -4*r + 56. Let b be m(9). Let x be (-2)/2 - 14/(-14). Let t be ((-124)/(-48) + x)*8. Is t <= b?
False
Let i(d) = -23*d**3 - 9*d**2 - 29*d - 55. Let k be i(-5). Are 2742 and k unequal?
True
Suppose 3*a - 9 = 3*g, 3*g = 2*a + 30 - 35. Which is bigger: -1/1500 or g?
g
Let z = 17895/1708 + 23/244. Let u be 3 + (0 - -1)/(3/291). Suppose 10*o = -0*o + u. Do o and z have the same value?
False
Let m be -12*((-2)/2 + 28*(-70)/(-112)). Let s = -1.1 + 1. Which is smaller: s or m?
m
Let b(j) = 2*j + 11. Let r be b(-2). Suppose -r*q = 6*q - 3*q. Is q at least as big as -1?
True
Let g(d) = -5*d - 25. Let v(y) = -10*y - 25. Let r be v(-2). Let o be g(r). Are -2/95 and o unequal?
True
Let y = -219 - -53. Let c = -105 - y. Is c equal to 0.1?
False
Let v = 33778/3 + -9820. Which is bigger: 1 or v?
v
Let c = -29582 - -29582. Which is greater: c or 9517?
9517
Let d be (-630)/(-108) + (205/(-30) - -7). Which is smaller: 91/17 or d?
91/17
Let p(x) = -x**3 - 4*x**2 - x + 3. Let k be p(-3). Let g be (28/21)/(k - 746/(-2)). Is -1 >= g?
False
Suppose 6*u = -f + 2*u - 5, -2*u = 5*f + 7. Is f greater than -2/6865?
False
Let b be ((-10)/2 - -3)/(1480/(-10138)). Is b > 15?
False
Let m be 5*11/(-275)*-310. Let p be (-8 - 0)/(2/(-16)). Is p at most as big as m?
False
Let d = 347 + -416. Let x = 65.2 + -2.2. Let j = d + x. Is -0.3 greater than j?
True
Let s be 9/69*4118/(-639). Is -1 less than or equal to s?
True
Let h = 625 + -591. Let v be 25*-1 - (h + -26). Is -31 > v?
True
Let l be 5/((-50)/(-4)) + (-189)/(-15). Let m = 15846/1145 + -9/229. Is m != l?
True
Let g = 545168/7 + -77416. Is g greater than or equal to 464?
True
Let f = 0.314 - -62.686. Let u = 64.7 - f. Is u less than -1.3?
False
Suppose 33*x + 87*x + 885114 = 563*x. Is x at most as big as 2001?
True
Let k(q) = -q**2 + 94*q - 545. Let h be k(42). Is 1639 <= h?
True
Let l be 18/(-3)*(-4)/8. Suppose -l*a + 0*a + 418 = 5*g, g - 106 = 5*a. Let u = -432/5 + g. Is u bigger than 1/11?
False
Suppose -2360 = 27*f - 389. Let r = 94 - 164. Is r less than f?
False
Let m(z) = 8*z**2 - 58*z - 162. Let p be m(13). Is 440 at most as big as p?
False
Let g = -0.192 - 0.038. Let i = -280 - -457. Let c = i - 177.1. Is c at least g?
True
Let s be (-36)/(-8) + (-6)/4. Let n(a) = a**3 - 4*a**2 + 3*a + 3. Let y be n(s). Suppose y*l = -8 - 4. Is 2 > l?
True
Let y(d) = -113*d + 792. Let r be y(7). Is 55/47 at least r?
True
Suppose -2 = -z, 32*x - 3*z + 18 = 36*x. Suppose -x*n - 41 = -6*q + 85, 0 = 3*n - 3*q + 114. Is -38 not equal to n?
True
Let b be ((-200)/(-80))/((-5)/2). Is b smaller than -0.0141?
True
Let v(g) = -g**3 - 13*g**2 + 23*g + 18. Let h be v(-15). Let i = -2703/22 + h. Let w(a) = a + 1. Let d be w(-1). Is i > d?
True
Let p(z) = -z**3 + 122*z**2 - 357*z + 70. Let o be p(119). Which is greater: 3 or o?
o
Suppose 0*i = -8*i - 2104. Let w = -161 - i. Is w less than 101?
False
Let i be -133*(-141)/2556 - (-4)/2. Let c = 1/284 - i. Let n = c + 10. Which is smaller: -5 or n?
-5
Let j(a) = a - 4. Let d be j(8). Suppose -5*y - 4*r - 2 = -16, 5*r = -4*y + d. Does y = 5/11?
False
Let m be ((-3)/(324/(-2778)))/(805/(-21)). Let t = 8/539 + -1630/37191. Let v = t + m. Which is greater: v or -2?
v
Let y = 2667 + -2689. Which is greater: y or -46?
y
Let c = -233.1 + 233.2. Which is bigger: 46/3 or c?
46/3
Suppose 1008*o - 1005*o + 2*x = -59, 0 = 2*o + 2*x + 44. Which is smaller: 2/183 or o?
o
Let s = 829 - 535. Let o = 80 - s. Is -215 less than o?
True
Let d(j) = -77*j + 59. Let y be d(10). Is -709 at least as big as y?
True
Let t = 3.4 + -0.4. Let l = t - 4.4. Let g = -30 - -89/3. Is g greater than l?
True
Let v(r) = 2*r**3 + 5*r**3 - 40 + 14*r - 3*r**3 - 5*r**3 + 10*r**2. Let d be v(10). Which is greater: d or 102?
102
Suppose s + 167 = -3*l, -128 = 3*s - 2*l + 340. Let j = s + 117. Is j bigger than -41?
False
Let i(u) = 4*u**2 + 5*u - 18. Let a be i(-7). Suppose 2*n + t = 57, 5*n + 2*t - a = -0*n. Let p = 60 - 31. Does n = p?
True
Suppose 3*g - 15*j + 16*j - 849 = 0, 4*g - 1132 = 4*j. Are 287 and g equal?
False
Let d = 20965564927/128 - 163795128. Let a = 1652 + d. Let t = -749/2432 + a. Which is smaller: t or 1?
t
Let s = -260944/7 + 37198. Let a = s + 80. Is -2/5 < a?
True
Let k = -2066 + 2346. Which is smaller: 559/2 or k?
559/2
Suppose 3*n - 4*m + 61 = -36, -n - 4*m - 43 = 0. Let z be -1 + 180/n + (-8)/4. Is -7 less than z?
False
Let g(c) = -c**3 + 3*c**2 + 8*c + 13. Let w be g(5). Suppose w*p = 14*p - 22. Are p and 5 equal?
False
Let r = -10067 + 10110. Which is greater: r or 9?
r
Let v = -4564.9 - -4660.9. Let s = -3 + 3. Which is smaller: s or v?
s
Suppose 3*y + 4518 = -o, 3*y + 9743 = -4*o - 8320. Let t = o - -1620886/359. Which is smaller: 1 or t?
t
Suppose 0 = -2*u + 156 + 246. Let g = 228 - u. Is 22 less than g?
True
Let a be 3 - (2/3)/((-8)/12). Suppose 9*u - a = 10*u. Let f(x) = -3*x - 16. Let r be f(u). Is -4 smaller than r?
False
Let y(z) = 4 - 1 + 32*z - 19*z - 15*z. Let u be y(0). Suppose -a - u*o - o = -20, -a + o = 5. Which is bigger: 1/39 or a?
1/39
Let b be (-450)/53850*(-3)/(-9). Is b bigger than -1?
True
Let q = 1.87 - 2.1. Let v = -492 + 491.9. Let l = q - v. Is l at least as big as -0.1?
False
Suppose g = -18*g + 19. Let h = -18/385 - -299/6160. Which is smaller: h or g?
h
Suppose 0 = -8*k - 103 + 471. Let w be -1 + 1 + (k - 19). Suppose -2*r + 6*r = 104. Which is greater: r or w?
w
Suppose d + 152 = 5*a - 78, -2*d = 5*a - 230. Suppose -2*q - a = -104. Is 28 greater than q?
False
Let s = -6328/195 + 162/5. Let i = -9 + 13. Suppose 4*m = -i*g + 2 - 10, 5*m = -4*g - 7. Which is greater: s or m?
m
Let h = -0.174 + -75.826. Let r = h - -44. Let n = r + 31.8. Is n greater than or equal to 3?
False
Let o = -94/273 + 1/91. Let k(z) = 4*z**2 - 5*z**2 + 6*z - 2*z - 18*z - 2*z - 14. Let h be k(-15). Is h greater than o?
True
Let z = 2/179 + 2187/12530. Let i = -9/70 + z. Is 0.6 greater than or equal to i?
True
Let u = 112.5913 + -1.1313. Let h = u - -3.54. Are 1 and h nonequal?
True
Suppose -w = 3*t - 56, -103*w = -104*w + 2*t + 56. Do 47 and w have different values?
True
Suppose -50*j = -57*j + 7. Let u = -2 + -7. Let a = -8.7 - u. Is j greater than or equal to a?
True
Let t be 14/6*6*9. Let i = 306 + -286. Suppose -13*f + 4125 = i*f. Which is smaller: f or t?
f
Let k = -21 + 2. Let j = k - -18. Suppose 0 = 4*h + 2*z - 154, 23*z - 112 = -3*h + 18*z. Which is greater: h or j?
h
Let h = -89 - -106. Let s be -2 + 3 - (h + 2). Do s and -16 have different values?
True
Let p(a) = 5*a**2 - 60*a + 234. Let h be p(8). Which is bigger: h or 226/3?
226/3
Let z = 114 + -218. Let w = z + 104.8. Which is smaller: w or 1?
w
Let t be (-168 - -245)*2/(-30)*7. Which is smaller: -36 or t?
-36
Suppose t = 2*a + 1, 2010 = a + t + 2018. Let j = 13 + -9. Let d be 5/20 - 1/j. Is d at most a?
False
Suppose -239154 = 245*r - 13754. Is -917 at least r?
True
Let h = 8091 + -8090. Which is smaller: 2/43691 or h?
2/43691
Let a = -16.5 + -1.5. Let h = 1.08 + -58.08. Let j = h - -56. Is a at least as big as j?
False
Let n = -0.9682 + 5103.9682. Is n bigger than 1/4?
True
Let u be (6/4)/(6/(-32)). Let h = u - -11. Suppose -5*s = 20, -3*n = 6*s - h*s + 6. Which is greater: 7/4 or n?
n
Let s = -2959 + 2960. Which is smaller: 11/287 or s?
11/287
Let o = -34 - 38. Let s = -75.923 + 7.923. Let k = o - s. Do k and 2 have different values?
Tr