 -2/13?
t
Let n(u) = -1221*u + 3664. Let z be n(3). Is 2/52281 at least as big as z?
False
Let d(s) = s**3 + 7*s**2 - 15*s - 14. Let v be d(-8). Let g be v + 0*(-3)/(-4 - -1). Let f = 58 + -17. Which is smaller: g or f?
f
Let l be (6/11532)/((-1)/(-4)*-14). Is l greater than -1?
True
Let s = -1.23564 - -1.07864. Let v = 0.3 - 0.2. Which is smaller: s or v?
s
Let h = 183 + -1283/7. Let m = -520 + 520. Are m and h non-equal?
True
Suppose -52 = -4*c - 20. Suppose 5*o - 2*i = 14, c*i + 16 = 3*o + 3*i. Suppose -o*p + 3*g + 15 = 0, -2*g - 10 = 2*p + 2*p. Is -3 equal to p?
False
Let g be 2*-206*-1*(-30)/(-24). Let k = g - 2573/5. Is 299 greater than or equal to k?
True
Let n = -108 - -111.3. Let b = 1 - n. Is -3 at most as big as b?
True
Let d = 68 - 19. Let c be (20/25)/((-2)/(-5)). Suppose -c*h + 17 = -d. Is 34 less than h?
False
Let f = -5/294939023 - -606395265643/37419208787033. Let y = 6/289 - f. Is y at least 0?
True
Let h = -6/1183 - -2432/13013. Which is greater: h or 3.819?
3.819
Suppose 5*u - 20 = 2*o, 0 = u + 2*u + 5*o + 19. Suppose 12 = -g - u*g. Let t be ((-8)/(-12))/(g/(-24)). Which is smaller: t or 0.5?
0.5
Suppose i = -2*w + 11, -3*w + i + 36 - 12 = 0. Suppose 5*z - 114 = 4*f, 2*z - 68 = 3*f + w*z. Let q = 8 - f. Is q smaller than 33?
False
Let v be (8 - 2232/(-20))/(4/10). Let j = 143 - v. Which is smaller: j or -154?
j
Let c be (-12640)/52864 - (-4 + (-45)/(-12)). Is c >= -1?
True
Let w(v) = -20 - 69*v + 35*v + 36*v. Let f be w(14). Suppose -3*g + 15 = -f*g, -2*h = g + 9. Is -17/9 <= h?
False
Let g = -12800 - -35080. Is g smaller than 22280?
False
Let c = 9203602918/31 + -1905150299551/6417. Let i = c - -6308/9. Let d = 6/31 - i. Which is greater: 1 or d?
1
Let n(l) = 6*l**3 - 14*l**2 + l**2 - 5*l**3 - 18*l**2 + 34*l + 27. Let k be n(30). Is 148 at least k?
True
Let t = -5494 - -5656. Suppose 2*u + 480 = 3*p + u, 4*u + 330 = 2*p. Which is bigger: p or t?
t
Let n be (-2)/9 + (-1)/9*970. Let z be (4 + -5)*(4 + n/(-4)). Which is bigger: -32 or z?
z
Let i = -41/5 + 34/5. Let m(v) = v**2 + v - 2. Let d be m(-2). Is d bigger than i?
True
Suppose 7*p = 4*z + 6*p, 8 = -4*z + 3*p. Which is smaller: z or 3/1945?
3/1945
Suppose 0 = -2*w + 2, 2*o + 226 = 5*w + 1907. Is 843 less than or equal to o?
True
Let l(g) = -4*g + 278. Let f be l(43). Which is bigger: f or 93?
f
Let r = -41150 - -41150. Let m = -7/12 - -109/84. Which is smaller: m or r?
r
Let m be 2/930*3947093 + (-2)/(-3). Let f = 8489 - m. Which is smaller: f or -1?
-1
Let x = 1990038911 + -9915673397/5. Let c = x - 15037416331/2178. Let r = c - -1/726. Is 1 < r?
False
Let w = 1.8 + -1.837. Let p = -1.497 - -1.56. Let a = p - w. Which is smaller: a or -10/9?
-10/9
Let h(d) = -1505*d - 12041. Let x be h(-8). Is 1/5974 not equal to x?
True
Suppose -2 = p, 3*u + 4*p + 4 + 4 = 0. Suppose 5*b = w - 31, b + 4 - 1 = u. Suppose 168 = -9*s + 312. Is s greater than w?
False
Let v = 16 + -15.94. Let q = v + -0.16. Suppose 33 = 2*a + 119. Which is smaller: q or a?
a
Let z = -397.8 + 367.2. Which is bigger: z or 0?
0
Let h(p) = p**2 + 13*p - 56. Let v be h(3). Suppose 5*o + 128 + 72 = 0. Let k be v/(-20) - (-6)/o. Is k <= 0.22?
False
Let z be (-26)/39 + (-55)/(-15) + -1. Is 62/23 < z?
False
Let q be 96 - (-1 + -1)*1. Let i = 130 - q. Suppose 14*c - i = 12*c. Is 16 < c?
False
Let d be 30363/206857 + (-4)/28. Is 1 != d?
True
Let i(s) = s**2 + 9*s + 19. Let v be i(-6). Let g = 14647/4060 + -104/29. Does v = g?
False
Suppose 0 = 694*x - 695*x - 12. Do -109/9 and x have different values?
True
Let j = 646957/21948585 - 49/1671. Which is greater: j or 1?
1
Let r = 270/13 - 3845/182. Suppose -p = -2*l + 7, -3*l + p = -2*l - 6. Is r at least as big as l?
False
Suppose -3*s + 26 = -5*u, 4*s - 13 - 11 = -4*u. Let g = 11 - 3. Which is smaller: g or s?
s
Let p(t) be the second derivative of 7*t**3/3 - 3*t**2/2 + t + 10. Let s be p(-1). Which is smaller: s or -0.1?
s
Let t = -39.949 + 27.949. Are 63.4 and t equal?
False
Suppose -76 = -a + y + 4, -y = 5. Let w be ((-2)/a)/((-86)/(-129)). Which is smaller: -4 or w?
-4
Suppose -9*d + 90 = -7*d. Let i = -15 + d. Suppose -2*l + 6*t + i = 4*t, -5*t - 25 = 0. Which is smaller: 0 or l?
0
Let i be (-27)/(-18) + (-678)/4 + 0. Let r be (-12)/20 + i/(-30). Suppose -d + 9 = 3. Is d at most as big as r?
False
Let x be 0/(-1) + 9/264. Let q be (-6 - 5 - -12)/1. Are x and q equal?
False
Let d = 43 + -42.885. Let b = 7.185 + d. Let a = -4.3 + b. Which is bigger: a or -0.1?
a
Suppose 2*o = 5*a + 40 + 58, 2*o + 46 = -3*a. Suppose 8*i - 3*i + 90 = 0. Let k be (-28)/i*(-2 + -10). Which is bigger: k or a?
a
Let f = 30 - 45. Let k(o) = -o**2 + 15*o - 24. Let d be k(11). Suppose -d = t - 23. Which is smaller: t or f?
f
Suppose c - 3*p = -246 + 32, 0 = p. Let y = -134 - c. Suppose -2*m + 3*s - 40 = -220, 4*m = -4*s + 300. Do m and y have the same value?
False
Let p = -49.3 - -0.9. Let n = -45.7 - p. Which is bigger: n or -2?
n
Let t = -412 + 406. Let u = 30/8071 + -1498930/8071. Let k = -186 - u. Which is bigger: k or t?
k
Let y(g) = -g**2 + 10*g + 5. Let k be y(11). Suppose 0 = x - 3*s + 3, -s - 4 = -6. Are k and x non-equal?
True
Let v = -2 + 0. Let y = -1115/2868 - -53/956. Which is bigger: y or v?
y
Let n(a) = a - 11. Let x be n(6). Let r be (-1 - -1) + 4 + (0 - 2). Suppose -2*d = -5*s - 13, -r*s - 28 = -14*d + 17*d. Which is smaller: d or x?
d
Let y = 5318 + -5713. Are -398 and y unequal?
True
Let p = 14 + -15.6. Suppose -2*a + 3*a - 8 = 0. Suppose -a = 2*c + 2*d, 2*c + 2*c = -3*d - 12. Which is smaller: p or c?
p
Let m(s) = -82*s**2 - 1. Let q be m(1). Let c(o) = -o**3 + o**2 + 352*o - 270. Let t be c(19). Which is bigger: t or q?
t
Suppose 5 + 1 = d. Let f(m) be the first derivative of -4*m**2 + 26*m - 10. Let r be f(d). Is r < -24?
False
Let m be 4/(-26) + (-2773285)/(-559). Is 4962 greater than m?
True
Suppose 0 = -0*j - 3*j - 5*q - 96, -4*j = -4*q + 160. Which is bigger: -618/17 or j?
-618/17
Let k = 0 - -1. Let v = 440 + -434. Let s be (-1)/6 - 99/(-3807)*v. Are s and k non-equal?
True
Let w be ((-20)/(-16))/(1/4). Suppose 5*k + w*t = 75, -3*t + 62 = 4*k - 3. Suppose 5*j - b - 1 = -50, -5*b + k = 0. Is j less than or equal to 0?
True
Let q be -1 + 0/(-2) + (-10)/(-904)*92. Let a(h) = h**2 + 4*h + 3. Suppose -p + 0*p = -5, -4*f - p = 3. Let m be a(f). Which is smaller: q or m?
m
Suppose -2*s + 0 - 1 = -1. Which is smaller: -252 or s?
-252
Let n = 59796 - 507309263/8484. Which is smaller: 1 or n?
n
Suppose -5*z + 15 = 0, -2*q = -4*z - 125 - 89. Which is bigger: 128 or q?
128
Let j = 570 + -658. Let n be 232/(-616) - 8/j. Which is smaller: n or -0.154?
n
Let m(u) = 10*u - 107. Let q be m(11). Let x(a) = -3*a**3 + 5*a**2 + 7*a - 4. Let t be x(q). Which is smaller: -1 or t?
t
Suppose 3432 = 141*f + 37*f + 762. Suppose 3*h = -4*m, 0*m = -h + 3*m + 13. Let b be (8/10)/(h/80). Which is greater: b or f?
b
Let a = 19862 + -25318. Are -5456 and a equal?
True
Let k = -1524.9048 - -1525. Which is greater: 2 or k?
2
Let b be 18471/12 - (27/72)/(2/(-4)). Is 1541 at most b?
False
Let l = -10695 - -10691. Do 178 and l have different values?
True
Let x(w) = -w + 7. Let u be x(7). Let j(z) = z**3 - 2*z - 324. Let t be j(u). Let v be ((-9)/(t/16))/(-10). Is 0 >= v?
True
Let u(b) be the third derivative of -b**5/30 + b**4/24 + 11*b**3/6 + 18*b**2. Let d be u(-4). Let t = -21 - d. Which is bigger: 3 or t?
t
Let g = -581 + 580.93. Let b be 4/(-8)*2/(-5). Which is smaller: b or g?
g
Let d(j) = -j - 2. Let r(a) = 4*a - 25. Let p(k) = 5*d(k) - r(k). Let h(q) = 7*q - 15. Let g(z) = 5*h(z) + 4*p(z). Let i be g(-6). Which is bigger: -10 or i?
i
Let p = 647.11 - 647. Let c = 19 + -19.3. Is c at least p?
False
Let z = 31 - 25. Let i be (-3)/(z*-2) + 15/20. Let q be i/(-1)*(-81)/(-45). Are -1 and q equal?
False
Let u(o) = -o**2 + 13*o - 48. Let k be u(7). Let c be -2*k/(-12) + 4/1. Let a be (3 - (c + -3)) + 4. Does 9 = a?
False
Suppose 2*o = 5*x - 6, 3*x - 9 = -3*o + 3. Suppose -g + 7 = -3*a, 9*g = 4*g + 4*a + x. Let q be (-18)/(-48)*20/(-9). Is g at most q?
True
Let v = -27 - -39. Let d = v + -11.97. Let f = 16 - 15.6. Is f greater than or equal to d?
True
Let i be (-17)/8 + (-4)/(-2). Suppose -3*c = -208 + 205. Let h be (4/48*6)/(c/(-2)). Is h greater than i?
False
Let v = -4 + 24. Which is bigger: 3