 Let k = d - j. Is k < -3/2?
True
Suppose -a - 12 = 4*o + 9, 0 = 4*o - 2*a + 6. Let c be ((-5)/(-60)*129)/((-1)/o). Is 7 smaller than c?
True
Let k = -217 - -215. Let a be (-1*(-1)/k)/(1/2). Let j = -1/3088 - -6339/503344. Which is bigger: j or a?
j
Let h = 159732563/2591 - 61649. Let i = h - 59641/31092. Is -3 at most i?
True
Let d = 1042 - 1051. Which is smaller: 529 or d?
d
Let v be (-19 + 0)*-1*2. Suppose 2*a - v = -16. Let g be (a - 2)/((-4)/8). Which is greater: 2 or g?
2
Let c = 43 - 43. Suppose c = 7*z - 18 - 10. Suppose z*j = 0, -2*j = 4*p - 71 + 19. Is 14 at least p?
True
Suppose -3*i = -t + 24, 9 = t - 5*i - 7. Suppose -11*f = -15*f + t. Let a be 56/12*f/4. Is 12 < a?
False
Let s = -13 - 6. Let c be 1282/(-66) + 145/435. Which is bigger: s or c?
s
Let h = 3714 + -3675. Is 22 less than or equal to h?
True
Suppose -6*l + 405 = -15*l. Let h = -7 - l. Let x be h/(-72) - (0 + 8/36). Is x at least as big as -2?
True
Suppose -2 = 2*z - 0. Let f be (2 - (2 - -4))/(21/(-63)). Let w be 56/f*(4 + (-176)/42). Is w at least as big as z?
True
Let h(p) = -p**3 - 19*p**2 + 18*p - 25. Let n be h(-20). Let u be (-40)/(-16)*6/n. Is u less than 5/11?
False
Let l = 191.4 + -38.6. Let a = l - 154. Are a and -2 unequal?
True
Let c = 2/57845 - 57851/173535. Which is smaller: -2/83 or c?
c
Let j = 556582/33 - 16871. Let c = -6/11 - j. Is c > 3?
True
Let b be (-193 + 106)*101/(-12). Is 733 at least as big as b?
True
Let b be 0*10/4*(-3)/15. Suppose 2*o - 2*p = 10, -o + 5*p = -6*o - 15. Is b greater than or equal to o?
False
Let g be (40 - 47) + 182/(-34). Is g > -12?
False
Let q be (-11)/(-132) + 2471/(-29868). Let d = 11237/2125606 - q. Is d < -1?
False
Let v be ((-5)/(-2))/(13/26). Let m(z) = -z**2 + 5*z + 2. Let i be m(v). Let j = 80 + -83. Which is greater: j or i?
i
Let j be ((-62)/33 - -2)*3. Suppose 0 = 15*i - 37*i - 3*i. Suppose -25*z + 44*z - 19 = i. Are z and j non-equal?
True
Let m = -695 + 993. Suppose -18 = 4*w - m. Let x = w + -105. Which is bigger: x or -34?
-34
Let d = -5457/5 - -20278217/18580. Which is smaller: 1 or d?
d
Suppose -5*x - 2*z - 75 = -2, -x + 4*z = 19. Let m = 9 + x. Suppose 0*d = 2*d - 8, 3*d - 24 = 2*h. Are h and m equal?
True
Let u = -0.149 - 22.251. Let i = u - -22. Let s = i - 1.6. Which is smaller: 8/7 or s?
s
Suppose -4*d + 4*u - 2747 = d, 5*u + 2214 = -4*d. Let y = d - -467. Which is greater: -82 or y?
-82
Let o = 0.34 - 0.11. Let h = o - 1.23. Let u = -320 - -2557/8. Is h > u?
False
Let x be (-20)/(-7) + -2 + (-15)/(-7). Suppose -4*n = 2*j + 132 + 38, 4*n + x*j = -165. Let f(y) = -4*y**2 + 3*y + 1. Let c be f(-3). Which is smaller: n or c?
n
Let f = 18323/6240 + -357/160. Which is greater: 0 or f?
f
Suppose 30*a + 235 = 25*a. Let j = a - 33. Let z = -81 - j. Which is smaller: -3/50 or z?
z
Let q = 0.08 + 0.05. Let k = -3.8 - q. Let y = k - -4. Which is greater: y or 0.1?
0.1
Let f(a) = -a**3 - 33*a**2 - 30*a + 39. Let c be f(-32). Let y be (-1)/((-1)/(c/(-15)) + 5). Do 1 and y have the same value?
False
Let j(p) = p**3 + p**2 - p + 1. Suppose 4 + 2 = -2*m. Let t be j(m). Suppose 2*g - g + 2 = 0, 0 = -5*u + 2*g - 61. Is u at most as big as t?
False
Let s(h) = h**3 + 9*h**2 - 9*h + 16. Let y be s(-10). Let i be (4/y)/(5/(-30)). Let m be 2 + (i/(-3))/(2/(-3)). Which is greater: m or -8/19?
m
Let a = -1658 - -8327/5. Let v = -74 + 80. Which is smaller: a or v?
v
Suppose 445 = -3*k - 1595. Let h = k - -682. Which is smaller: -31/2 or h?
-31/2
Let c be 134/(-121002)*(-30)/28. Which is smaller: 1 or c?
c
Suppose 13*x = 10*x - 4*k - 3527, -2*x + 4*k - 2338 = 0. Which is smaller: -1174 or x?
-1174
Let r be 9 - (9 + 2 + -1). Let c(m) be the first derivative of 3*m**4/4 + 2*m**3/3 + 5*m**2/2 + 3*m + 2. Let n be c(r). Which is smaller: -11/7 or n?
n
Let z = -572/113643 - -1/4941. Which is greater: z or 1/5?
1/5
Let n = 36 + -71. Let f = n + 35. Suppose u + 2*p + 40 = 5*u, f = -u - p + 4. Is u < 4?
False
Suppose 0*b - 198 = -3*b. Let r = -92 + b. Let h be r/42 - 2/14*-2. Which is greater: h or 0.38?
0.38
Let r = -8488 + 2130484/251. Is -1 != r?
True
Let j = 11660 + -11483. Is 175 < j?
True
Let c be -2 - -3 - (-62050)/25. Which is bigger: c or 2484?
2484
Let d = 1156 - 821. Let m = -354 + d. Which is smaller: -21 or m?
-21
Suppose 0 = 24*u + 719 - 743. Is u less than 2/3215?
False
Let q be 2/(-6) + (-4)/(-3). Suppose -r + 37 = 3*t, -4*r + 165 = 3*t + 53. Let v be 3 + -2 + r/(-26). Is q greater than v?
True
Let c be 4/(-5) - 8/40. Let p(n) = -n**2 + 19*n - 38. Let u be p(16). Let b be 6/u + 679/3045*-3. Is c greater than b?
False
Suppose 3*o + o + 180 = 0. Suppose 135 = -3*m - 5*i, -4*m - 180 = -20*i + 10*i. Are m and o non-equal?
False
Let k = 41/7564 + -1232951/224673492. Is 0 greater than or equal to k?
True
Let n be ((-72)/1101 + 4)/((-486)/11547). Let h = 2524/27 + n. Are 1 and h unequal?
True
Suppose -3*c - 15 = -24. Suppose 3*l = -4*l + 189. Suppose -l = -11*s + 39. Are c and s equal?
False
Suppose 4*a - 33 = -7*a. Let b be a - 1 - (-11824)/36. Let s = b + -331. Which is smaller: s or -2?
-2
Suppose -d = o + 7, 5*d + 15 = 4*o - 11. Which is smaller: o or 3/553?
o
Let x be 6/(-5) + 1 + 24204/(-30) + 0. Is 1 > x?
True
Let c(i) = -i**2 + 54*i - 181. Let k be c(59). Is -477 at least k?
False
Let g be (-28)/(-35)*15/3. Suppose -15*r + g*q - 72 = -14*r, -5*r = 2*q + 250. Let j be ((-2)/20)/(13/r). Which is smaller: j or -10?
-10
Let h(x) = -x**3 - 86*x**2 + 184*x + 1702. Let d be h(-88). Which is smaller: d or 988?
988
Let a = -724 + 1036. Suppose 5*r = -7*r + a. Which is bigger: r or 5?
r
Let f(l) = 33*l + 528. Let r be f(-19). Is r at most 2?
True
Suppose -78*g = -28*g. Is 1624 greater than g?
True
Let c = -248803/23 + 10826. Which is greater: 8 or c?
c
Suppose 4*y = -5*k - 716, -4*k + 365 - 929 = y. Let m be (5 - k/(-5))/(-1). Suppose -o - 55 - m = 0. Is o <= -77?
True
Let t be 5/21*104094/(-5). Is -4957 >= t?
False
Let x(i) = -i**3 + 5*i + 11. Suppose 0 = -5*a + 2*l + 21, 1 + 8 = a + 2*l. Let f be x(a). Let n = f - -25. Which is smaller: 0.1 or n?
n
Let f be ((-2)/(-4))/((-1)/26). Let v be 10 - 28/2*(4 - 70/20). Which is smaller: v or f?
f
Let p = 2517 + -2516. Which is bigger: p or -374.1?
p
Let c be (-144)/1 + 42 + -42. Let w = c - -135. Which is bigger: -10 or w?
w
Let g be 3765/6201 + (-14)/21. Let k = 5/53 - g. Are 4/7 and k unequal?
True
Suppose 693 = -11*x + 286. Which is bigger: x or -112/3?
x
Let u = -0.464 + 0.344. Let q = -0.03 - 0.09. Let c = u - q. Is 11 smaller than c?
False
Let j = -6615 + 6596. Is j > 0.183?
False
Let z(x) = 281*x**2 + 482*x - 4766. Let n be z(10). Is 28155 greater than or equal to n?
True
Let w(n) = -n + 8. Let s be w(7). Let q = -117 + 1. Let k = 1286/11 + q. Which is bigger: s or k?
s
Suppose -4*o - 3*r + 6789 = 0, 5*o + 1962 = -5*r + 10447. Is 1697 at least as big as o?
False
Let f = -574 + 588. Suppose -7*t + g + 6 = -10*t, -5*g = -t + f. Are t and 6/95 nonequal?
True
Let f be 49126/(-110925) - (-4)/9. Which is bigger: f or -1?
f
Let j = 14557 - 14565. Which is smaller: j or -406/3?
-406/3
Let p = 17836 - 17834. Which is bigger: -678.5 or p?
p
Suppose -4*h - 663 = -3*u, 57 = 2*h - 5*u + 378. Which is smaller: h or -170?
-170
Let s = 660 + -399. Let k = -175976 + 176236. Which is greater: s or k?
s
Let n = -41 + 38. Let g be n + ((-2)/7 - 185/(-35)). Suppose 5*x - g*x = 8*x. Is 1/53 < x?
False
Suppose 0 = 71*u - 7579 + 2041. Is u less than 41?
False
Let n = 0.5098 + -0.5098. Which is smaller: -4/391 or n?
-4/391
Suppose -5*b - 140 = 2*y, -3*b - 133 = -5*y - 18. Let a be 10/(-108)*12/b. Is -1 less than a?
True
Let y = 57.8 - 56.52. Let z = 9.8 - 3.52. Let q = z - y. Which is bigger: 6 or q?
6
Let i(w) = -8*w + 340. Let r be i(43). Let f be (-6)/10*(-10)/2. Suppose -f*d = 4*n + 11 + 6, -3*n + 4*d = -6. Which is smaller: n or r?
r
Let d = -469 + 629. Let k = 41.77 + 0.23. Let w = d - k. Which is smaller: 0 or w?
0
Let z(s) = -2*s**3 - 13*s**2 - 28*s - 65. Let q be z(-5). Is -17185 < q?
True
Let l(f) = f**3 - 14*f**2 - 24*f + 25. Let x(r) = -4*r**3 + 42*r**2 + 73*r - 76. Let m(p) = 7*l(p) + 2*x(p). Let t be m(-12). Is 9/22 less than or equal to t?
False
Let p be (1/((-3)/570))/(-2 - (-4 - -3)). Suppose -y - 2*c + 3*c = -189, 3*c = 4*y - 757. Is p < y?
False
Let l = -674 - -1680955/2494. Are 