u = -17 + k. Let z be (4/2 + 1)*u. Is z not equal to 15?
False
Let l be 24/(-21) + (-1)/(-7). Suppose 3*f + 4 = -5. Let u be 3 + l + f + 3. Which is greater: u or 3/13?
u
Let i = -1184 + 1257. Which is smaller: 966/13 or i?
i
Let j be 3 + 1*(-8)/((-40)/(-15)). Is -1/444 >= j?
False
Let q be ((-2)/(-93))/((-38)/(-18) - 2). Which is smaller: 0 or q?
0
Suppose -3*o + 5*d + 100 = 0, d = 3*o + 2*d - 70. Is o at least -9?
True
Let k(q) = -5*q + 70. Let p be k(-10). Are 122 and p nonequal?
True
Let b be 2/(-1) + (13 - -2). Suppose 0 = -b*m + 12*m. Suppose 0 = a - m*a - 11. Are a and 11 unequal?
False
Suppose a + 1 = b, -3*a - 3 + 2 = -4*b. Let k(l) = -l**3 - 3*l**2 + 2*l + 3. Let u be k(-3). Let j be (u - (-2 - 0)) + -1. Does b = j?
True
Suppose -5*j = -y - 11, -2*j - 2*j - 5*y = -32. Suppose h = -j*h + 76. Suppose h = -5*m + 2*w, 2*m = 7*m - 5*w + 25. Which is smaller: -5/3 or m?
m
Let r = -114 + 221. Let o = -105 + r. Which is smaller: -1 or o?
-1
Suppose -2*l + 3*l - u = 0, u = 3. Suppose 4*z + 5*g = 13, l*g - 6*g + 3 = 0. Is 4 at least as big as z?
True
Let l = -537 + 2683/5. Let f = -4 - -4. Is f bigger than l?
True
Suppose 630 = -63*v + 63. Let s(h) = -h**2 + 3*h + 2. Let n be s(5). Which is bigger: n or v?
n
Let z = 15 - -192. Let x be (-1)/(-6) + (-7)/((-1386)/40917). Let t = x - z. Which is greater: t or -1?
t
Suppose -4*b - 1276 = 2*f, 4*b - 3*f + 1296 = -0*f. Is b smaller than -321?
False
Let o be 2/(-10) - (-2)/10. Let b = 19 - 19. Suppose -c - 8 + 9 = b. Is o less than or equal to c?
True
Suppose -2*b + 22 = 4*r, 5*r = 4*r + 4*b - 8. Let w be (-1)/(10/r + -3). Is w > 0?
True
Let d(b) = 14*b + 5. Let w be d(-12). Which is bigger: w or -164?
w
Suppose 5*o - 5*d + 5 = 0, -15 = -2*o - d - 17. Which is bigger: -42/25 or o?
o
Let t be 2/(-22)*(-15)/(-6). Let h = 57/154 + t. Are 0 and h nonequal?
True
Let s(d) = -2*d**2 + 7*d + 5. Let t be s(6). Let q be (-1)/(t/(-13) - 2). Suppose 0 = 2*n - 4*c - 1 + q, -3 = 3*n - 3*c. Is 3 at most as big as n?
True
Let r = 11 + -6. Suppose 13 - 3 = r*i. Suppose 1 = 2*s + b, -28*s = -26*s - b - 3. Is i bigger than s?
True
Let m = 823 + -893. Which is smaller: -1 or m?
m
Suppose 7*f - 4*f + 296 = -71*f. Let n = -5 - -9. Is f greater than n?
False
Suppose 3 = 5*q - 8*q. Let p(h) = 59*h**2 + h + 1. Let z be p(q). Is z <= 59?
True
Suppose j - 8 = -3*j. Let k(a) = -a**3 + 3*a**2 + 3*a + 3. Let q be k(3). Let l be (2/(-6))/(j/q). Which is smaller: l or 0?
l
Let l(o) = -o**2 + o + 4. Let x be l(3). Let u(w) = -w**3 + 3*w**2 - 6*w + 5. Let d be u(3). Is d < x?
True
Let c = -0.1 - -0.2. Let v = -0.188 - -0.188. Let z = v + c. Which is smaller: z or -0.05?
-0.05
Let u = -95797451/1327 + 72191. Which is smaller: 1 or u?
u
Let k = 681 - 646. Which is smaller: k or 178/5?
k
Let v(w) be the second derivative of -w**5/20 + w**4/4 + w**3/2 + 25*w. Let n be v(4). Are -14/5 and n equal?
False
Let x be (2 + 22)*(-3)/(-26). Let n = 163/26 - x. Let m = n - 29/6. Is 1 >= m?
True
Let z = 200 - 183. Is z greater than 1?
True
Let z be 20/80 - (-2)/8. Let v = 12 - 3. Which is smaller: z or v?
z
Suppose 2*t - 5*o = -246, -3*t - 379 = -2*o - 3*o. Let i = 149 + t. Which is smaller: i or 18?
i
Suppose 0 = -l + 4*b + 18, 2*b - 7*b = 5*l + 10. Let n be 2/8 - 28/(-16). Suppose n*p - l = 4. Is p < -1?
False
Let u = -963 + 946. Let x = 14 + 5. Let y = x + u. Which is smaller: 5 or y?
y
Let i be 1/6*15 + 375/26. Is i bigger than 17?
False
Suppose -472*b = -481*b + 4788. Is 533 at most b?
False
Let j(n) be the second derivative of 3*n - 13/6*n**3 + 0 - 25/2*n**2 - 1/12*n**4. Let h be j(-10). Is h at most 4?
False
Let q = 69 + -70. Which is bigger: q or 0.001?
0.001
Let c = -17479 + 13126723/751. Are -1 and c unequal?
True
Let h(b) = b**2 + 10*b + 5. Let r be h(-10). Let t be r/(48/(-15) - -3). Is t at least -25?
True
Suppose 0 = 23*c + 9 + 14. Let a be ((-6)/20)/(192/(-20)). Which is greater: a or c?
a
Let i = 0 + 0. Let y = -6 - -4. Let w be 2/((-5)/(5/y)). Which is greater: i or w?
w
Let b = 16.3794 + 0.3906. Let m = -0.23 - b. Let j be 0 + (0 - (-3)/9). Which is smaller: j or m?
m
Let d = -127 - -137. Let m be (136/(-20))/((-6)/d). Is m equal to 12?
False
Let b be (2 + -4 + 3)*(2 + -94). Which is smaller: -97 or b?
-97
Let m be 14/21*(-27)/6 - -272. Which is smaller: 270 or m?
m
Let u = 1385 + -1358. Which is smaller: u or 287/11?
287/11
Let v = 0.23 + 2.77. Let k = -89 + 86. Do k and v have the same value?
False
Suppose -3*k - 3*v = -462, 4*k = k + 5*v + 454. Suppose -281*b + 278*b = -k. Is b > 51?
False
Let z(a) = 15*a**2 + 27*a + 1. Let m be z(-6). Do 380 and m have different values?
True
Let s = -5191/2432 - -41/19. Is -1 != s?
True
Let m = -85 + 93. Let v be (14/(-8) - (2 + -6))*m. Which is greater: 19 or v?
19
Let v = 21 + -14. Let b = -1792 + 1795. Are v and b non-equal?
True
Let b(p) = p**2 - 22*p - 70. Let j be b(24). Is j at most as big as -14?
True
Suppose 0 = -16*r + 7*r. Let i be (-2)/(-8) + (-3)/(-20). Is i greater than or equal to r?
True
Let g be 28/(-70)*(0 + -1). Let p(j) = -2*j**3 + j**2 - j + 1. Let o be p(1). Which is smaller: o or g?
o
Let a = -10 - -57. Let y = 66 - a. Which is greater: y or 2/5?
y
Suppose -12*y + 9*y - 3 = 0. Is 2/61 less than y?
False
Let f = 17519.1 + -17518. Let k = -6 - 0. Is f != k?
True
Let u = -14 + 15. Let y = 0.07 + -0.19. Is y >= u?
False
Let x = -45 + 16. Let w = -37 - x. Which is bigger: w or 2?
2
Let a be ((-6)/(-8) - (-9)/(-12))/(-1). Suppose 14*y - 5*y + 9 = a. Which is smaller: y or 1/104?
y
Let m(k) = 5*k - 6. Let x be m(1). Which is smaller: -1/1833 or x?
x
Let a be ((-9)/54 - (-25)/6) + -4. Which is greater: a or -10/51?
a
Let r(h) = 118*h - 1. Let g be r(-1). Let z = -166 - g. Let m = z + 231/5. Is 0 less than or equal to m?
False
Let h be ((-208)/30)/((24/30)/(-2)). Which is greater: 18 or h?
18
Let k(y) = -2*y**2 - 6*y + 10. Let q be k(-6). Suppose -4*j = -148 + 48. Let s = j + q. Which is smaller: -5/8 or s?
s
Let v = -1250 + 1228. Let t = 29 - 53. Which is bigger: v or t?
v
Let t be 10/4 - (456/16)/(-19). Which is smaller: 6 or t?
t
Let k = -3.1 + 3.2. Let x = 3.03 - 0.03. Let d = x + -3.2. Does d = k?
False
Let c(w) = 3*w**3 + 11*w**2 + 5*w - 8. Let z(x) = 4*x**3 + 12*x**2 + 4*x - 7. Let f(n) = 3*c(n) - 2*z(n). Let i be f(-8). Are 1 and i unequal?
True
Let h be ((-296240)/65)/8 - (0 - 1). Let x = -569 - h. Are x and 2 unequal?
True
Let d be 2/4 - (-21)/14. Suppose y - d*y - 9 = 0. Is y < 1?
True
Suppose -2*v - 15*v = 11*v. Which is greater: v or 1?
1
Suppose -14*q + 266 = 252. Let y be 75/84 - (-2)/8. Which is bigger: q or y?
y
Let r(c) = c**2 - 4*c - 5. Let k be r(7). Suppose 0 = i - 3*i - k. Let b be 4/(-6)*(-12)/i. Are -1 and b equal?
True
Let x = 2/3247 - -16187/77928. Let g = x - 3/40. Which is bigger: g or 1?
1
Let r = 12 - 7. Suppose 2*w = r*w - 51. Let b(x) = x**2 - 4*x - 16. Let j be b(8). Which is greater: j or w?
w
Let b(z) = 8*z - 54. Let l be b(-12). Let i be ((-196)/(-245))/(2*(-2)/l). Is 31 greater than i?
True
Let v(i) = -i**3 - 5*i**2 + 2. Let z be v(-5). Let y be (33/(-9) - -5)*3. Suppose y*t = 2*o + 18, t = 4*o + o. Is z at least as big as t?
False
Let y be 316/(-3) - 5/(30/4). Let k = -104 - y. Does k = -0.8?
False
Let y = -1.638 + 2.038. Is -0.081 > y?
False
Let y be (-1)/(-1)*(20 - -4). Let u = -26 + y. Which is greater: u or -1/2?
-1/2
Let h be 5/70*(73 + -5) + -1. Which is greater: 5 or h?
5
Let d be (-4 - -1)/((-267)/4). Is -1 at most as big as d?
True
Suppose -13*n + 2 = -11*n - 3*o, -4*n = -o - 4. Which is greater: -9 or n?
n
Let w = 91 - 90.88. Is w at least as big as 2/13?
False
Suppose -3*m + f = -36, m - 5*f = -2*m + 36. Let r(t) = -t**3 + 12*t**2 + t - 15. Let s be r(m). Let b be s - ((-74)/14 - -2). Is 1.3 at least b?
True
Suppose b = 21 + 119. Suppose -b = -2*a - 2*a. Let i = a + -734/21. Is i less than or equal to -1?
False
Let a be (-4)/6*(-12)/(-8). Let l be a*((-6)/(-2))/1. Which is greater: l or 2?
2
Suppose -3*r + 5*r = -2*n + 26, -4*r - 2*n + 50 = 0. Let w be (-12)/(-9) + (-4)/(-6). Suppose w*l = 6*l - 48. Do l and r have different values?
False
Let i = 956 + -1136. Is -177 greater than i?
True
Let g be 4/(-14) + 284/14. Suppose -g = 5*i - 0*i. Let s be (-15)/(-6)*(-2)/1. Do i and s have different values?
True
Let b = -15.9 - -14.9. 