1/4 or i?
-1/4
Let q be (7 - 10)/(2/4) + 722. Which is greater: q or 717?
717
Let t(x) be the first derivative of x**3/3 + 9*x**2/2 + 14*x + 4. Let v be t(-5). Let b = -229/3 - -77. Are v and b nonequal?
True
Let t = 16.9 - 16.9. Let d(p) = -25*p**3 - p**2. Let z be d(-1). Which is greater: t or z?
z
Let f = 1.5 + -6.7. Which is smaller: -3 or f?
f
Suppose -2*o - 26 = -4*y + 14, 5*y = 4*o + 68. Which is greater: o or -4?
-4
Let z = -27286/297 - -1011/11. Suppose m + 2*x = 3*m, -x = -3*m. Do m and z have the same value?
False
Suppose 0 = 4*l - 3*l. Suppose -3*f + 4 + 17 = l. Let y(t) = 3*t - 1. Let h be y(3). Is h >= f?
True
Let p = 788 + -847. Is -57 not equal to p?
True
Suppose 4*u - 3*p = -7, 1 = 4*u + 2*p + 3*p. Is u at most 11/35?
True
Let a = -58 - -6. Let p(x) = 4*x**3 + 4*x**2 - 4*x - 1. Let u be p(2). Let k be (-90)/(-4)*a/u. Is -30 at most as big as k?
True
Suppose 0 = -3*g - 3*a + 24, -4*a + 17 = -g + 2*g. Suppose 0*m = g*m. Let v be 20/12*(m + 3). Is 5 at least v?
True
Suppose 0*a + a = -2*g + 15, 4*g - 4*a - 12 = 0. Let v be (-46)/8 - (-1)/(-4). Let r be 4 + -3 + (0 - v). Which is smaller: r or g?
g
Suppose -f = f + 10, -327 = -t + 3*f. Let v be t/143 - 2/11. Is 3/5 < v?
True
Let r = 20 + -43. Let q = 23.13 + r. Are -0.1 and q equal?
False
Let w(m) = m**3 + 9*m**2 + 12*m - 10. Suppose 0*f = -2*f + 2*z - 12, 4*z - 10 = 2*f. Let a be w(f). Which is smaller: -0.7 or a?
-0.7
Let b(s) = -2*s + 34. Let i be b(-14). Suppose 4 + i = -3*l + 5*k, -66 = 3*l - 2*k. Is l > -20?
False
Let a = -174127/59 - -2951. Is 1 at most a?
False
Suppose -18*w = 243 - 225. Which is bigger: w or -1/530?
-1/530
Let b be (-4 + (-5913)/(-1479))/((-3)/9). Is b less than or equal to 1?
True
Let k = -17.4 - -16.4. Do -59 and k have the same value?
False
Let s = -224 + 228. Is 70/13 greater than s?
True
Let y = 15093450/239867897 - 96/66427. Let w = -4/157 - y. Which is greater: w or 0?
0
Suppose 18*k = -2*j + 15*k + 36, -3*j + 2*k + 67 = 0. Suppose 2*n - 31 = 3*n. Let p = n + j. Which is bigger: -8 or p?
-8
Let f be (-2 + 4)/(1 - (-49)/(-47)). Let k = f - -50. Let n be (1/(-3))/(3/9). Which is greater: n or k?
k
Let g = 0.7 + -91.7. Let s = -90 - g. Is 2/45 < s?
True
Let x = -245 - -235. Do x and -11 have different values?
True
Let i = 770/3 - 5486/21. Let r = -167/35 - i. Let g be 2/(-2) - (-1)/1. Is r at most g?
True
Let r(k) = -29*k**2 - 9*k - 16. Let m be r(-3). Which is smaller: -251 or m?
-251
Let l = -67 + -27. Let y = 95 + l. Which is smaller: y or 1/12?
1/12
Let u be 10790/16770 + (2/3)/(-1). Which is smaller: 4 or u?
u
Let j = -204938/23 + 8912. Let l = 3071177 - 1200830991/391. Let d = l + j. Which is bigger: d or 0?
0
Let p be 11/(-2) - (-6)/4. Let o be p - (-2)/((-4)/(-6)). Let s be -3*(-1)/(2 + o). Is 4 > s?
True
Let u(t) = 4*t + 15. Let y be u(-4). Let o = 5286540 + -12846292909/2430. Let z = o + -2/243. Which is bigger: y or z?
z
Let p be (-2 - -4)*1 + 0. Suppose -p*h = -y - 1, -1 = -2*h + 3*y + 2. Which is smaller: h or -1/13?
-1/13
Let z = 537 - 535. Which is greater: z or 41/12?
41/12
Let q be 2 - (2 + (-144)/30). Suppose 3*m - 4 = 2*g - 5, -5*g + 3*m = -7. Suppose -r = -2*r + k + g, 4*k + 13 = 5*r. Which is smaller: q or r?
q
Suppose -285*g + 276*g = -9. Which is smaller: -1/176 or g?
-1/176
Let y = 6 + -3. Let u = -0.454 - -0.324. Does u = y?
False
Let x = 229 - 304. Do 0 and x have the same value?
False
Let z be -2*(-3 + 2) - (4 + -2). Which is smaller: 12/53 or z?
z
Let y = 1661 + -1544. Which is smaller: 1 or y?
1
Let s(f) = f**3 + 46. Let y be s(0). Let l be -1 - 1/y*268/(-6). Which is bigger: l or -1?
l
Let g = 211 + -211. Which is bigger: g or -0.1?
g
Let d(r) = -10*r. Let p(h) = -h**3 - 6*h**2 - 6*h - 6. Let j be p(-5). Let z be d(j). Let x be ((-6)/4)/(z/(-4)). Which is bigger: x or 1?
1
Suppose s - 5*a + 11 = -18, 5*s + 117 = -3*a. Let i = -46 - s. Which is smaller: i or -21?
i
Let z be (3/15)/(3/24). Let o = 87 - 88. Is o <= z?
True
Let j(p) = p**2 - 5*p - 1. Let v be j(6). Suppose 13 - 3 = v*g. Which is smaller: 3 or g?
g
Suppose 2*x - 3003 = 35*x. Is -100 greater than or equal to x?
False
Let k = 7 + 4. Suppose -5*s = 15, q - 2*s = 6*q + k. Which is smaller: q or -3?
-3
Suppose 0 = 5*a - 48 - 72. Suppose -5*b + n + 34 = -a, 45 = 3*b - 4*n. Which is smaller: 10 or b?
10
Let r = 0.416 + -0.49. Let c = r + 11.074. Which is greater: -2 or c?
c
Let l be (-6)/18*(-18)/3. Suppose 2*c - l*o + 56 = 6*c, 2*c - 20 = o. Is 59/5 bigger than c?
False
Let c be 78/(-65)*20/(-6). Let u be (c/8)/(1/2). Let t = -1670/11 - -152. Which is smaller: u or t?
t
Let i = -10.86 + -0.14. Let f = 10.2 - 9. Let a = f - 1.1. Is a > i?
True
Let p = 2735.12 - 2683. Let l = p - 52. Is l equal to -5?
False
Suppose 20*o - 25*o + 315 = 0. Let t = -529/9 + o. Is 5 > t?
True
Let p = -257 - -232. Is p bigger than -32?
True
Suppose -5*s - 15 = -2*z - 5, 0 = 4*s - 3*z + 15. Let l = -9/85 + -5/17. Is l <= s?
True
Let t = 314 - 313. Let h be (6/24)/((-11)/2). Is h smaller than t?
True
Let l(c) = -c**3 + 13*c**2 + 16*c - 30. Let v be l(14). Let h be 490/510 + (v - -1). Do -1 and h have the same value?
False
Let m = 619.9 + -620. Let a = 3 + -10. Let c = a + 6.6. Which is smaller: c or m?
c
Let g = -20.4 + 23. Let l = g - 2.7. Let w = 1.9 - l. Is w less than or equal to -0.01?
False
Suppose -2*g + 2 - 42 = 0. Let o = g - -21. Is o < -16?
False
Let r = -4.58 - 0.42. Let v = -11 - r. Is v bigger than 2/7?
False
Let m = -0.8 - -3.5. Let k = m - 12.7. Let b be ((-8)/(-4))/2 - 2. Is k bigger than b?
False
Let t be 3*(-848)/(-4290) + 6/(-10). Let f = t - 996/715. Which is bigger: f or -2?
f
Let v = 0 - 0.1. Let y = 389 + -389. Let m = y - v. Is -10 != m?
True
Let h be ((-285)/(-45))/(2/(-84) + 0). Is h bigger than -266?
False
Let c = 0.0405 + 7.9595. Is 83 less than or equal to c?
False
Let h be 153/238 + 5/(-35). Is 24.8 bigger than h?
True
Let c be (-16)/(16/(-1005)) - 7/(-1). Is 1012 equal to c?
True
Let s = -99 - -155. Is 53 not equal to s?
True
Let o = -37.982 - -0.382. Let z = 6.4 - o. Do 0 and z have the same value?
False
Let k be 63/(-30) - 105/30. Which is smaller: -5 or k?
k
Suppose -4*m + 2*i + 33 = 7*i, i - 9 = -m. Suppose 0 = b + m + 23. Let o be (-10)/b + 0/(-4). Which is smaller: o or 7?
o
Suppose 2*v = -4*c - 6, -c + 4*v + 1 = 2*c. Let b(n) = 20*n**2 - 4*n - 4. Let m be b(c). Is m not equal to 19?
True
Let a be 26/30 + (-13)/(312/(-32)). Do 8/5 and a have different values?
True
Suppose 0 = -q - 3*z - 2*z - 245, 205 = -q + 3*z. Let j = q - -3742/17. Let p = -8 + 5. Which is smaller: p or j?
p
Suppose c + 1 = 2*c. Let k be (-2)/(270/(-681)) + (-5 - -2). Let m = k + -22/9. Is m less than or equal to c?
True
Let d = 14 + -24. Let s(c) = -c**3 - 9*c**2 + 11*c + 1. Let x be s(d). Are 1/3 and x nonequal?
True
Let w(q) = 4*q**2 + 5*q + 3. Let y be w(-3). Suppose -2*b = 5*k - k + 34, -2*b - y = -k. Let m be 144/(-10) - ((-9)/10 - 11/(-22)). Is b != m?
True
Let s = -19702/7 + 2810. Let y = 5 + -9. Which is bigger: y or s?
y
Let r = -32.64 + 0.77. Let y = r + 32. Do y and -2 have different values?
True
Let y = 25 - 18. Let d = 6 - 14. Let m = d + y. Which is smaller: m or -2?
-2
Let a be -3*371/21*1. Is a >= -50?
False
Let i be 13/(-26) + ((-5)/(-5))/(2/(-13)). Let x = 79/10 - 293/20. Is i less than x?
True
Let t = -3 - -9. Let p be t/(-9)*15/(-1). Let y = -10 + p. Is y < -1/21?
False
Let i(w) = -w + 8. Let p be i(4). Suppose 0 = -p*b + b + 6. Let h be (8/4)/(68/b). Which is bigger: h or -1?
h
Let z(f) = -f**3 + 5*f**2 + 6*f + 3. Let h be z(6). Suppose -2*i = 3*i + 3*b + h, -4*i - b = 1. Is -4/9 less than i?
True
Let p be (-125)/165 + 2/(-6). Suppose -11 = 5*q + d, 5*q + d = 5*d - 6. Which is bigger: p or q?
p
Let p = -109 - -69. Let x be (-1)/(-4)*p/115. Are 1 and x equal?
False
Let g = -278 - -1124. Is 845 greater than or equal to g?
False
Let r(q) = -q**2 + 8*q - 4. Let h be r(7). Let m be 26/7 - 1 - h. Let k = 1 + -1. Which is smaller: m or k?
m
Suppose j - 5 + 4 = 0. Let t be 10/6*3*(-2)/(-8). Which is smaller: t or j?
j
Let i be 8 + (-7446)/24 + 9. Is -294 less than or equal to i?
True
Let b = -33 + 33. Let x = 23 + -35. Let i be (x/(-30))/((-77)/(-5)). Which is bigger: i or b?
i
Let o(d) = d**3 - 6*d**2 - 2*d + 11. Let l be o(5). Let k be (l/(-308))/((-4)/7). Are k a