-5 - -7)). Suppose 0*y - h = 2*y. Is y > v?
False
Let c = -148 + 1039/7. Let b = -12 - -12.8. Are c and b nonequal?
True
Let x(d) = -9*d**2 - 107*d + 13. Let c be x(-12). Is 2/997 bigger than c?
False
Let k = 4.1 - 4. Let z = -171 + 172.6. Which is greater: k or z?
z
Let k = -12 + -3. Let n be 3 - (1 + k/(-6)). Let y = n - -7/6. Is 0 equal to y?
False
Let o(r) = 3*r - 8. Let j be o(5). Let k(y) = y**2 - 7*y + 1. Let u be k(j). Let v = 2/459 + 292/3213. Are u and v non-equal?
True
Let j(p) = 2*p + 5. Let t(r) = -1. Let u(q) = -j(q) - 4*t(q). Let k be u(-2). Let c be (160/52 - k)*-2. Which is smaller: 1 or c?
c
Suppose -226 = -o - 4*g, -g = g. Which is bigger: o or 227?
227
Let w(f) = -f**3 - 14*f**2 - 13*f + 5. Let u be w(-13). Let v = 6 - u. Let t(l) = l**2 - 2*l + 2. Let y be t(v). Is 8/5 < y?
False
Let z = -70 + 102. Suppose 28*x = z*x. Which is smaller: 6/5 or x?
x
Let z be (2/(-5))/(87*36/(-675)). Which is greater: z or -1?
z
Let o be (-1*214)/(124 - 15) + 2. Do o and 1 have the same value?
False
Let b be 564/(-9) - (24/18)/4. Let c be ((-8)/(2464/b))/(3/8). Let d(u) = -u**3 - 6*u**2 + 6*u - 5. Let l be d(-7). Which is bigger: l or c?
l
Let s = -65 + -3. Let x = -69.96 - s. Let w = x - 0.04. Does w = -3/7?
False
Let g = 9799/4 - 2464. Which is bigger: -13 or g?
-13
Let s be (2 + -20)*24/18. Let y = s + 26. Suppose -2*w - 5*d = -12, -4*w = 4*d - y - 10. Is w bigger than -1/10?
True
Let c = 524 + -527.91. Let q = -4 - c. Is 0 not equal to q?
True
Let t be (30/12)/(-3 + 2838/948). Is t greater than or equal to -396?
True
Let p = -28 + 40. Let h = 12.05 - p. Which is smaller: h or -0.2?
-0.2
Let f(g) = -3*g + 84. Let n be f(23). Is 14 smaller than n?
True
Suppose -60 = o - 6*o. Let m = o + -8. Let w = -596 + 600. Are m and w non-equal?
False
Let h be -2 + 0 + (-36)/(-10). Let t = 86 + -94. Let n = t - -10. Which is smaller: n or h?
h
Let r(l) = 4*l - 20. Let a be r(6). Suppose 5*i = 4*s - 0*s - 45, 4 = -a*i. Is 9 != s?
True
Let f be (-2)/5*(3 + -2). Let v be 10/(-45) - 3/(-27)*-25. Let w be (v + 69/24)*-3. Is f greater than w?
False
Suppose -n - 2*l + 16 = 2*n, -4*l - 22 = -3*n. Suppose 0*x - x - 2*w - n = 0, 2*x = w + 8. Which is smaller: 7 or x?
x
Let l = 366 + -356. Is l smaller than 48/5?
False
Let i = -22111/39 + 567. Let r(z) = -z**3 + 4*z**2. Let u be r(4). Which is smaller: u or i?
u
Suppose 4*s - 11 = 4*q + 3*s, 0 = 5*q + 5*s + 45. Let x be (-10)/q*116/435. Let l be 14/(-10) - (-4)/10. Which is greater: l or x?
x
Let q be 16/88 - 40/198. Let t = -394 - -393. Is t greater than q?
False
Let j = 4 + -1. Suppose 2*t - 3*k + 15 = 0, 3*k - 15 + 0 = 0. Suppose t = -c + 5*c - 28. Are c and j non-equal?
True
Let t(r) = -r**2 - 5*r - 4. Let x be t(-1). Does 198 = x?
False
Let v = -248739/163 + 1526. Which is smaller: 1 or v?
v
Let x = -294 + 294. Does -182 = x?
False
Let r be (96/164)/4*(-16)/544. Which is smaller: 0 or r?
r
Suppose 0*n - 46 = n. Let o = 72 + -39. Let m = o + n. Which is bigger: m or -12?
-12
Let f be 186/66 - 3 - 24/(-11). Suppose -5*x = f*h - 0*h + 29, -h = -x - 3. Suppose 0*l + 4*l + 16 = 0. Which is bigger: h or l?
h
Let x = -237749/150 + 1585. Is x less than or equal to 0?
False
Let f be (3 + 1)*22/(-8). Let p = -51 - -39. Let d = p - f. Do d and 2/5 have different values?
True
Let o = 21 - 23. Let i be 8/(-6)*o/4. Which is smaller: i or 0?
0
Let h(j) = -j**3 + 3*j**2 + 4*j - 5. Let v be h(4). Let k(r) = -2 + 2 - r**2 - 3*r + 2. Let s be k(v). Is s smaller than -9?
False
Let g(r) = -r**2 + 13*r - 7. Let o be g(8). Let u = o + -9. Let h be 2*3/u + 0. Which is bigger: h or 3/5?
3/5
Suppose -8*c = -9*c + 29. Let d be 0/(-2) - 30*-1. Let l = c - d. Is l equal to -2/13?
False
Let o = -59/20 - -16/5. Is -0.0272 less than or equal to o?
True
Let f(b) = b - 4. Let n be f(9). Suppose 0 = 10*x - n*x. Let t = -11/51 - 1/153. Does x = t?
False
Let c be (-2)/(-11) + 252/66. Suppose w = -c*w + 20. Suppose 0 = -g + 2*r + 8, 16 = 5*g - w*r - 0*r. Which is bigger: 2/75 or g?
2/75
Let u = 128 + 42. Let w be 9/12 - u/(-8). Suppose -4*f - 2 = -w. Is 5 bigger than f?
False
Let f be 0/(1 + 3) + (-5002)/40. Let j be 1746/(-14) - (-4)/(-14). Let p = f - j. Are p and 1 equal?
False
Let m be (-24)/(-9)*(-6)/(-8). Suppose 0 = -m*w + 11*w - 396. Is w equal to 0?
False
Let b = 15079/52 - 290. Let o(k) = -3*k - 1. Let u be o(0). Does u = b?
False
Let r be -2 + (1 - (-1 + 1)). Suppose -35 = 3*l + l - 3*y, 3*l - y + 30 = 0. Let x be 0/r - (9 + l). Which is bigger: 3 or x?
3
Suppose 27*i + 5*g = 29*i - 188, 0 = 5*i - g - 470. Is 379/4 not equal to i?
True
Let f(d) = -3*d**2 + 9*d + 41. Let g be f(-9). Is g <= -284?
False
Suppose 2*t + 2*t = 0. Suppose -1390 = 4*p - 3*g, 2*p - g - 2*g + 698 = t. Let m = p + 1722/5. Which is greater: m or -1?
-1
Let k be ((-4)/(-3))/((-1)/9). Let d(i) = -22*i**2 + 2. Let w be d(-1). Let f = w + 8. Is k less than f?
False
Let h = 1 + 1. Suppose -30 = -7*a - 3*a. Let q be (2 + -2)/2 + a + -1. Is q bigger than h?
False
Let u(z) = -z**2 + 3*z + 2. Let a be u(4). Let v be 0 + 9 + 8/a. Suppose -2*d + 5*w + 9 = -v, 4*d + 4*w = 0. Do d and 4/3 have different values?
True
Let h = 169 - 147. Suppose -5*r + b = -107, -3*r + 4*b + 32 = -h. Is -2 != r?
True
Let l = 85 + -83. Suppose -a - 1 = 2*j, -l*j - 4*a = -9*a + 7. Which is smaller: j or -3?
-3
Suppose 2*b - 168 = 4*j + 122, -j + 2*b - 65 = 0. Let d = j + 75. Is d less than 2/163?
True
Suppose 3 = -5*n + 313. Suppose a = -4*v - 79, 2*v + 2*a = 5*v + n. Let c be (-1)/(-4) - (-5)/v. Is 0 equal to c?
True
Suppose 20 = 2*s - 0. Suppose 0 = -7*v + 62 + 8. Is s > v?
False
Suppose 18 = -b + 4*m, -2*m + 18 = 4*b - 0*m. Let f(w) = -w**3 + w**2. Let l be f(b). Let a be (-7)/7*l/(-14). Which is greater: 1 or a?
1
Let t(q) = -q**3 - 5*q**2 - 2*q + 10. Let w(h) = h**3 - h**2 - 1. Let p(s) = -t(s) - 2*w(s). Let m be p(7). Is 5 less than m?
True
Let c(m) = -32*m - 578. Let a be c(-19). Is a greater than 38?
False
Suppose 3*r - 4*x = r, -4 = 2*r - 5*x. Suppose 3*h - 5*h = -r. Is h less than 3?
False
Let d(i) = 1 - 3*i - i - i + 6*i**2 - i**3. Let k be d(5). Let m be -5 - -1 - (1356/(-270) + (-16)/(-72)). Are k and m equal?
False
Let h = 6.62 + -6.52. Is 4/33 < h?
False
Let m = -153 - -139.4. Which is greater: 0.1 or m?
0.1
Suppose 9*v + g - 43 = 4*v, -2*v + 3*g + 24 = 0. Suppose -3 = -4*l + 5*b, -18 = l + 53*b - 58*b. Which is bigger: v or l?
v
Let i = -35 + 32. Let a(x) = 3*x - 5. Let g(q) = 4*q - 4. Let z(p) = i*a(p) + 2*g(p). Let j be z(-2). Is j at most as big as 10?
True
Let c be (8 + -2)/(9/(-6)). Let z be 2 - (c + (-1 - 6)). Suppose 12*d = z*d. Which is smaller: 2/3 or d?
d
Let l = 522.331 + -0.331. Is -1/3 >= l?
False
Let d(f) = -f**3 + 10*f**2 + 2*f - 1. Let j be d(10). Let s be (3 - 7) + (j - 2). Let u be (7/(-4))/(s/52). Is -7 < u?
False
Let z = 147 - 174. Which is greater: -35 or z?
z
Let b be (10/(-5))/((-2)/4). Suppose -15 = -r - b*r. Let z be (-1)/(r + -2 + 1). Which is smaller: 0 or z?
z
Suppose 8 = -2*s, -26*s = x - 21*s + 456. Which is greater: -435 or x?
-435
Let l = -1785 + 1793. Is 4/11 < l?
True
Let z = -6578 - -12873/2. Which is smaller: -142 or z?
-142
Let f = -535 + -1184. Which is greater: -1718 or f?
-1718
Let d(r) = 3*r - 12. Let v be d(4). Which is smaller: v or -18/77?
-18/77
Let w(f) = 83*f + 858. Let d be w(-6). Which is greater: 1/4 or d?
d
Suppose 0 = -2*n - n + 36. Suppose 11 = -4*u + 63. Suppose q - 4 = -5*p + n, -4*q - 3*p = -u. Is q > 0.1?
True
Let x be 109 + (-1 - (2 - 4)). Suppose x = 4*c - 2*b, -3*b - 23 = -c - b. Suppose 2*k - k + c = -5*p, -4*k + 4 = 0. Which is smaller: -8 or p?
-8
Let k(d) be the third derivative of -d**4/4 + d**3 + 2*d**2. Let s be k(-4). Suppose 0 = -0*h - 5*h + s. Which is smaller: h or 4?
4
Let p = -1507/2 - -9041/12. Which is smaller: 0.25 or p?
p
Let p = -2 + -1. Suppose 3*h + 3*u = 3, 39*h = 42*h - 5*u + 45. Which is greater: h or p?
p
Let z be 2 + -2 - (-13)/(-1274). Which is bigger: z or 1?
1
Let v = -0.1 + 1.1. Let w = 717 + -726. Is w smaller than v?
True
Let t = -1058 + 68767/65. Which is smaller: 0 or t?
t
Let d = 134 - 133.7. Is d greater than or equal to -0.5?
True
Let j = 71 - 102. Let k = 3361 - 3392. Does j = k?
True
Let m be (8/(-102))/(90/945). Which is bigger: 0 or m?
0
Let a be (-156)/(-8) - (-3)/2. Suppose 6 =