 - 98)*707/(-2)*(-44)/(-308). Is 1 bigger than z?
False
Let h = 69 + -66.7. Let t = h - 8.1. Let b = t - -5.9. Are b and -23 nonequal?
True
Suppose 95 = 3*q + 2*x - 6*x, q = 4*x + 37. Which is bigger: 314/11 or q?
q
Suppose s + 5 = 0, 5*o = -0*s + 3*s + 15. Let d = -66361/7 - -9533. Let b = 54 - d. Which is greater: o or b?
b
Let c = 5554 - 5584. Is 68/5 < c?
False
Let i(k) = 11*k - 4. Let r be i(4). Let h(u) = 26*u**3 - u**2 - 6*u**3 + 13 - 61*u**3 + 8*u - 3*u**2. Let l be h(-1). Which is smaller: r or l?
r
Let u = 1562 - 1526. Is u greater than 894/25?
True
Suppose 10*z - 11*z - 6 = -5*o, 8 = -5*z + 3*o. Which is bigger: z or -50/89?
-50/89
Let u be 23/(-4 - (-3 - 2)). Suppose -u = -8*x + 33. Suppose 2*d - x*d = -10. Is d less than or equal to 2?
True
Suppose -5*k - 369 = 5*p + 11, -73 = p + 4*k. Let l(w) = 9*w**3 - 34*w + 61. Let s be l(2). Let h = s + p. Is -9 >= h?
True
Let h = -10/207 + 1/45. Let t(l) = -l**3 + 10*l**2 + 28*l - 49. Let p be t(12). Which is greater: h or p?
h
Let n(i) be the second derivative of -i**4/12 - i**3/2 + 7*i**2/2 + 5*i. Suppose -25 = 5*t - 0*t. Let x be n(t). Is x > -7/3?
False
Let i = -3/57506 + 15483663/3306595. Let q be 1/6 - (-584)/(-120). Let c = q + i. Which is greater: 0 or c?
0
Let w be (4 - 1)/(260/(-68) + 4). Let x = -3838/5 - -786. Are w and x nonequal?
True
Suppose 2*q - 2*d = -40, -q + 5*d + 231 = 235. Let r(n) = -11*n. Let k be r(2). Which is smaller: q or k?
q
Let v(x) = -9*x**2 + 19*x + 7. Let n be v(6). Let j = n - -1621/8. Which is smaller: j or 0?
j
Let n = -36724 - -20593. Is n greater than or equal to -16131?
True
Let f = 131 + 205. Let k = f - 2695/8. Let r = 11390 - 11391. Is r >= k?
False
Suppose -4*l + 1588 = x, -4*x = 5*l - 2952 + 956. Suppose 10*v + 96 = l. Is v < 23?
False
Let j(d) = -328*d**2 - 7*d - 2. Let z be j(-1). Let m = 313 + z. Is 0 less than m?
False
Let s = 3261/176 - 221/11. Is -1 <= s?
False
Suppose -135028 = 118*h - 502952. Which is bigger: 3117 or h?
h
Let m = -1 - -1. Let k = -2.4 + -93.6. Let s = k - -86. Are s and m non-equal?
True
Let n be 12/6 - (-34 - -32). Which is bigger: n or 6/59?
n
Let m = 116.51 + -113.51. Which is smaller: 1/1651 or m?
1/1651
Let s = -121 + 128.3. Let k = s - 0.3. Let m = -16 + k. Is m less than 1/4?
True
Let t be ((-3)/(-7))/(69/(-46)). Let d = -232.6961 + 1.6961. Are t and d unequal?
True
Suppose 11*z + 60 = 41*z. Let f be -6 + 0 + (z - (-11 - -9)). Is -5/3 at least f?
True
Let x = 46 + -45.816. Let l = x + -23.584. Let s = -23 - l. Is -3 smaller than s?
True
Let x = 16/17 + -76/153. Let z = -11.38 + 19.38. Is z >= x?
True
Suppose 2*x = 34 - 2. Suppose x = 5*n - 24. Suppose -2 + n = -3*o. Is o greater than -0.7?
False
Let d = -23804/23 - -1035. Let h = -1.9 + 2. Which is smaller: d or h?
d
Let s = 0.2722 - -84.8678. Let a = s - 85. Let x = -1.14 + a. Are x and -0.02 nonequal?
True
Let k(m) = 4*m - 32. Let w be (6/(-4))/((-13)/78). Let v be k(w). Let p be (-669)/(-39) + v/(-26). Which is smaller: p or 18?
p
Let w = 1077 - 991. Which is smaller: 79 or w?
79
Let h(g) = -g**3 + 83*g**2 - 662*g - 245. Let t be h(74). Let u be 2/13 + 111/39. Is t <= u?
False
Let b be (-140)/455 - 3058/286. Let x = 16473/7 + -2363. Is x != b?
True
Let n = 1612 - 1674. Which is greater: 5 or n?
5
Let z(d) = -3*d**3 + 3*d**2 - 2*d + 3. Let o be z(2). Let c(a) = 5*a - 26. Let l be c(6). Let p be -1*(((-2)/l)/(-1) + 0). Is o less than or equal to p?
True
Suppose -s + 0*s + 2 = r, 4 = -r - 4*s. Suppose -r*v = -40*v + 8*v. Let g = 62486/73 + -856. Is g greater than or equal to v?
False
Let u = 562 + -451. Suppose -15*i = u - 66. Which is smaller: i or -25/9?
i
Let k = 63 + -54. Suppose -76*n - 48 - 104 = 0. Is n at least as big as k?
False
Let o(y) = -3*y**2 + 11*y - 30. Let g(t) = 4*t**2 - 10*t + 31. Let j(d) = -2*g(d) - 3*o(d). Let h be j(13). Let q be (20 + 0)*h/112. Are 4 and q unequal?
True
Let l = 534 - 482. Let x be (-2)/3 + (-16)/(-6). Suppose -4*a + x*d = l, 53 = -5*a + 2*a + 5*d. Which is smaller: -9 or a?
a
Suppose -2*m - 3 + 5 = 0. Let b(n) = 4 + 9*n**2 + 0*n + 3*n - 5*n**2 + 9*n - n**3. Let l be b(6). Which is smaller: m or l?
m
Let j = 52.34 - 56.34. Do 6/67 and j have the same value?
False
Suppose v - 3*u - 24 - 14 = 0, -151 = -5*v + 2*u. Suppose 5*w + 74 = v. Let l be ((-7)/3)/((-3)/w). Is l smaller than -4?
True
Let m be (0 - 14)/(51 + 143). Is -1 at least m?
False
Suppose -42*v - 45 = -37*v. Let j be 4 - (-1 + (-5 - v)). Let a be 26*((-6)/j - -5). Which is greater: a or -23?
-23
Let m = -3200 + 3200. Which is greater: m or -3/319?
m
Let n be (-15 - -6)*(4/(-2))/6. Suppose 10 = n*q + 4. Suppose 2 = -q*a - 5*g, a = -0*a + 5*g - 1. Is 4/11 smaller than a?
False
Let k = 505.3 - 627.3. Let s = 1193/7 - 170. Which is greater: s or k?
s
Let n(k) = -20*k + 1689. Let g be n(-63). Is g less than or equal to 2949?
True
Let i(h) = -h**2 + 3*h + 18. Let r be i(-3). Let u = 12 - 10. Let a be u + r - (-24)/(-9) - 0. Is a bigger than -64?
True
Suppose -11*o + 4*h = -6*o + 24, 13 = -4*o - 3*h. Let k be (-12)/(-11331)*15114/(-4) - o. Is -1 greater than k?
False
Let a = -1091 - -1102. Let p = -50 - -25. Let k = p - -24.94. Which is bigger: a or k?
a
Let j = 500320 - 7504814/15. Let l be (-1 - 3/(-2))*0. Which is smaller: j or l?
j
Let o be (-39)/21 + 87/203. Let y be -1 + -1 + -2 + (3 - 1). Which is smaller: y or o?
y
Let j(p) = -15*p - 6*p - 5*p + 12*p - 98. Let g be j(-7). Are 24/29 and g equal?
False
Suppose -17*u + 18*u = 2. Let p be 3/u*60/(-5). Let g be (-3)/(-3) + 10/p. Which is greater: g or -1?
g
Suppose 16*x = 151 + 473. Suppose 12 = 27*u - x*u. Which is smaller: -1/456 or u?
u
Let v = -3155 + 3163. Let m(l) = l - 10. Let g be m(7). Which is greater: v or g?
v
Let s = 598 + -2391/4. Which is smaller: s or -629?
-629
Let g be (-8)/(-24)*3/(-2). Let f(k) = k**3 - 17*k**2 + 23*k - 71. Let o be f(16). Which is smaller: o or g?
g
Let t be 1/(3 - (-210)/(-69)). Let a(n) = 6*n - 144. Let f be a(25). Let p be -1 + 15/3 - (f - -19). Is p at least as big as t?
True
Let s(o) = o + 5. Let p be s(-2). Let v be (-6)/40 - (p - 85/25). Let l be 315/100 + 6/(-15). Is l greater than v?
True
Let d be (-7 - 1)/(-24) - 1/3. Let g be -4*((-3)/(-1) - 4). Let w be 1/(g - (30 + 1)). Which is smaller: w or d?
w
Suppose 10*b = 7*b + 15. Suppose -5*r - 3*q + 120 = -7*r, b*q = -r - 34. Is -54 at least r?
True
Let j = 12 + -7. Let x(z) = z**2 + 18*z + 19. Let r be x(-17). Suppose 2*b = -2*b + 5*v + 3, 4*b - 38 = -r*v. Which is bigger: b or j?
b
Let w be 38/171 - 781/(-9). Suppose 2*x = 3*x - w. Suppose -8*o = -5*o + x. Is o at most as big as -29?
True
Let l = 22.967 + 0.033. Let k = 21.5 - l. Let f = -1.3 - k. Is f >= 20?
False
Let y = -42331459/39 + 1086212. Let m = y + -790. Suppose -3*h - 6 + 3 = 0. Is m >= h?
True
Let x = 13442.744 - 13443. Do 37 and x have the same value?
False
Let v be 8/6*(-3)/(-2). Suppose -k + 5*r + 35 = 0, -5*k + 117 + v = 3*r. Suppose -11 = -4*g + 85. Is g greater than or equal to k?
False
Let h(y) = y**2 + 59*y + 164. Let u be h(-51). Let s be (220/(-12) + 2)/(2/30). Which is smaller: u or s?
s
Let n = -106 + -42. Let m = n + 288. Which is greater: -2/5 or m?
m
Let q be 93/(-164517)*1/1. Which is smaller: 1 or q?
q
Let l(t) = 108*t + 4044. Let q be l(-10). Which is greater: 2963 or q?
q
Let k be (-10)/44*(-7)/(-5). Let a = 12242 + -12243. Which is smaller: k or a?
a
Let b(w) = -2*w**2 - 22*w - 22. Let q be b(-9). Suppose 10 = -5*f, 3*k - 2*k = -4*f - q. Suppose -2*s + 4*s = 4*p, p = 4*s + 28. Is k < s?
False
Let f(b) = 26*b**3 - 2*b**2 - b. Let l be f(-1). Let h = -22 - l. Let v be h/(-20) + 87/(-12). Is v equal to -7?
False
Let h = -80470.8773 - -80466. Let x = h + -0.1077. Let a = 0.015 - x. Which is bigger: -2 or a?
a
Suppose -20*u + 51 = 31*u. Is 72 != u?
True
Suppose -4*u = -f - 9, -2*f = 2*u - 18 + 6. Suppose 7*c + 3*c = -f*c. Does c = -3/76?
False
Let h = 11493 - 11492. Is h less than -2/215?
False
Let z = -0.0099 - 0.0485. Let x = -0.0416 + z. Which is smaller: x or -293?
-293
Suppose -10*i = -2*i. Suppose -v = m - 1, -v + 5*m + 0*m = -1. Let s be (1 - -1)/((-1)/v). Which is smaller: i or s?
s
Let d = -1429.1 - -1429. Let n = -50 - -50.053. Is d > n?
False
Let i = 31 + 391. Let s = -3790/9 + i. Let y = s + -49/45. Which is smaller: y or -4?
-4
Le