Let y be ((-396)/(-45) + -8)/((-2)/45). Is j at least as big as y?
True
Suppose -3*o + 218 = z + 26, 2*o = -3*z + 548. Suppose -145 = r - z. Is r >= 38?
False
Let i(t) = 13*t**2 + 117*t - 3. Let w be i(-9). Let v be (-4 - w)/(14 + 7). Which is greater: -0.3 or v?
v
Let d be (502/8)/((-4)/(-16)). Let t = 243 - d. Are t and -7 nonequal?
True
Let s = -0.98 - -0.925. Let b = 0.455 + s. Let t = 19.8 + -20. Is t < b?
True
Let l = 945.15 - 933.2. Which is smaller: l or 0.1?
0.1
Let r(d) = 2*d**2 + 11*d + 22. Let v = -108 - -104. Let i be r(v). Suppose 0 = -5*b - 5*b - i. Is 2/5 equal to b?
False
Let t = -6299 - -6215. Which is greater: -82 or t?
-82
Let k(p) be the first derivative of 9*p**2 + 3*p - 63. Let x be k(-8). Which is smaller: x or -140?
x
Let v = 345875/32 + -10808. Is v > -4?
True
Suppose 5*c - 3 = -33. Let q(t) = t + 11. Let v be q(c). Suppose z + x - 3 = 9, -4*x = v*z - 60. Is 12 less than z?
False
Let a = 203.9 + -193.9. Which is greater: 94 or a?
94
Let t(f) = -222*f - 47. Let a be t(-10). Suppose -a = -8*u - 709. Suppose -6*s - 57 = -u. Which is smaller: 20 or s?
20
Let v = -5.557 - 0.043. Let u = 24 + -27.6. Let i = u - v. Are i and 8 nonequal?
True
Let t be 3/6 + (-47)/95. Let k = t - -731/5510. Which is smaller: 1 or k?
k
Let j be 21 - (-5213)/(-247) - ((-49926)/(-57) + -1). Do j and -876 have different values?
True
Suppose -p + 5 = 3. Let c be p/(-29)*(-225)/50. Which is smaller: 0 or c?
0
Let d = -17.31 - -0.31. Let k = d + 12. Let h = 71 - 64. Is h <= k?
False
Let x(u) = 4*u**3 - 21*u**2 + 6*u - 2. Let k be x(5). Let s be 504/420*595/k. Do s and -3/4 have the same value?
False
Let y = -90 + 700. Suppose y*b = 615*b - 115. Suppose -2*d - 3*f = 3*d + 5, 0 = 3*d - 2*f + 3. Which is greater: d or b?
b
Let t = -697 - 2207. Do -2904 and t have the same value?
True
Let x = -26.7 + 16.6. Let l = 10.2 + x. Let t be 72/(-30) + 2/5. Is t at most as big as l?
True
Let r be 3/(-2)*25/15*162/135. Is 0.0938 less than r?
False
Suppose -34*z + 64*z - 81 = -4*i + 31*z, 3*i + 10*z + 165 = 0. Let y = -1 - -1. Suppose 4*c = b, 76 = 5*b - y*c - c. Which is smaller: b or i?
i
Let z = -3013425/139 + 21679. Which is smaller: z or -1?
-1
Suppose 2 + 8 = 4*s - k, 2*s + 6 = -5*k. Let m = 131.817 - 132. Let i = m - -0.583. Which is smaller: s or i?
i
Let c = -1722.94 - -1723. Does c = 1/42?
False
Suppose 227*m + 283*m = 181*m + 17766. Which is smaller: 1532/29 or m?
1532/29
Suppose 111 + 103 = 7*n - 290. Is 49 >= n?
False
Let d = 19437 - 19445. Is 22.81 less than or equal to d?
False
Let a = 183.9 + -209.61. Let f = a + 2.71. Which is bigger: f or 8?
8
Suppose 0 = -9*s - 0*s - 3267. Let u = s + 419. Which is bigger: 57 or u?
57
Let i be 32/(-210) - (-4)/14. Let t = 7847/5 - 1569. Is i at most t?
True
Let n be ((-12)/(-8) - 1)*14*-2. Let i = -14 + 6. Let t = n + i. Which is smaller: t or -23?
-23
Let n be 26/(-559) + ((-91608)/(-5934) - 4) - 12. Suppose -2*j - 2 = -4*a, -j + 3*a + 2 = 3. Is j > n?
False
Suppose 324*u - 15 = 339*u. Which is smaller: -2/20105 or u?
u
Let j = -41 + -42. Suppose -137 - 38 = 7*z. Let f = j - z. Which is greater: f or -59?
f
Let k = 0.0409 - 224.0409. Let o = k + 234.7. Let s = o + -11. Are 8 and s equal?
False
Let c be -22 - -20 - (83 - -2). Which is smaller: -85 or c?
c
Suppose -129864 = 110*n - 152*n. Is n <= 3091?
False
Let f = -12569 - -12555.983. Let m = 0.017 + f. Let n be (-7)/28 - (-1)/4. Which is smaller: n or m?
m
Let k(p) = 81*p - 3401. Let t be k(42). Is -19/341 equal to t?
False
Let x be (-120340)/14 + (5 - 10). Let k = -8585 - x. Which is bigger: 17 or k?
17
Let g = 61 + -59. Let z be 2*(g - 1) + (11 - 12). Which is greater: z or -1/96?
z
Let n(d) = d**3 + 8*d**2 + 6*d - 7. Let k be n(-7). Let w(x) = k*x - 3*x**2 - 1 + 0*x - 5*x. Let y be w(-4). Is -57/2 less than or equal to y?
False
Let p be (-6)/16*2*40/(-10) - -86. Is 1488/17 greater than p?
False
Let t = -134 + 299. Let d be 2/6 - 70/21 - t. Is d smaller than -168?
False
Let i = 13 + -88/7. Suppose -b - 96 = -110. Let w be (0/(-2))/((-8 + b)/2). Which is bigger: i or w?
i
Suppose 5*b + 25 = 0, -5*i - 2*b + 5*b = 1590. Suppose -n - 3*u - 307 = 0, 3*n - 520 = 2*u - 1496. Is n equal to i?
False
Let t = 42.6 + -42.5. Let s = -176 - -360. Which is bigger: t or s?
s
Let h(l) = 20*l - 16. Let w be h(-7). Let q = -156 - w. Is -6/65 < q?
True
Let a = -127.41 + 127.51. Is a smaller than -7223?
False
Let j(o) = o**3 + 44*o**2 - 188*o + 15. Let g be j(4). Which is greater: g or 41?
41
Let l be -3*(16/40 + (-254)/(-15)). Let h be (12/l)/((-8)/(16/3)). Let b(n) = -n**3 - 6*n**2 + 7*n - 1. Let c be b(-7). Which is bigger: h or c?
h
Let r(z) = -31*z**2 - 224*z + 30. Let j be r(-8). Is j not equal to -160?
True
Let u = 493 + -342. Let a = u + -220. Is a at most 2/5?
True
Let m(r) = -6*r**3 - 30*r**2 + 14*r - 28. Let j be m(-7). Which is smaller: 460 or j?
460
Let b be 1 + (-38)/(-4) + 1/(-2). Suppose -5*c = b, 4*v = 2*v - 5*c - 30. Let m be ((-6)/v)/((-27)/(-90)). Which is smaller: 9/8 or m?
9/8
Let d(q) = q**3 - 13*q**2 + 3*q - 11. Let k be d(14). Suppose -481 = -4*l + k. Let w = 1241/7 - l. Which is smaller: w or -1/26?
-1/26
Let f be (57/24 - 2)/((-32)/(-256)). Suppose 478*x = 481*x - f. Is x at most as big as 3/32?
False
Let j = -1.459 - -223.259. Let b = -175 + j. Let u = 47 - b. Is u > -7?
True
Suppose -s - k - 12299 = 3*s, k = s + 3076. Let v be (3/8)/(s/(-100)). Does 0 = v?
False
Suppose 8 + 14 = 2*x. Let u be ((-2)/x - 120/66) + 2. Suppose 5*s + 25 = 2*n + n, -2*s + 3*n - 10 = u. Does s = -7?
False
Let l = -1.1 + 0.1. Let q = 39.3163 + 2.6837. Which is greater: l or q?
q
Let c = 67.896 - -0.104. Let s = c - 67.95. Are -6 and s non-equal?
True
Suppose -48*z + 2 = -47*z. Let y be (-4)/(-10) - 4/10. Suppose y*o + 5*o + 4*q - 102 = 0, -39 = -z*o - q. Which is greater: 19 or o?
19
Let t(u) = 23*u + 78 + 37*u - 41*u. Let p be t(-4). Is p >= 6?
False
Let o = 5407 + -4690. Is o at most as big as -5?
False
Let w = -22 + -950. Let z be (-18)/w*(-32)/(-2). Is 0 > z?
False
Let w be (6/7)/((-18)/12) - 3414/(-5971). Is 1 != w?
True
Let o(l) = 2*l - 16. Let s be o(9). Suppose -2*a + 2*w + 6 = 0, -2*a = -a + 5*w - 9. Suppose -j = b - 12, s*j + 10 - 4 = a*b. Which is bigger: 2 or j?
j
Suppose -22*r = -21*r - 27. Suppose -5*h = -3*a - 109, 3*h - 2*h - r = -2*a. Let q = h + 8. Are q and 32 equal?
False
Suppose 10508 = 2*y + 30*y + 39*y. Is y not equal to 1479/10?
True
Suppose -d - 124 = -110. Let f be (-4)/360*21*3/d. Do f and 2/17 have different values?
True
Let m = 71 - 71.425. Let b = -0.39 - m. Are b and -1 nonequal?
True
Suppose -8*l = -184 - 1552. Let d = l - 1946/9. Which is greater: 1 or d?
1
Suppose 41 = u - 2. Let q = u + 1. Suppose -6*w - q = -10*w. Is 10 less than w?
True
Let o = -3184 + 3425. Which is smaller: -4 or o?
-4
Let z be 2/((-32)/(-22)) - 1. Suppose -5*a - 190 = -6*a + 4*v, -5*v + 5 = 0. Let n = a - 194. Which is smaller: n or z?
n
Let d be (23 + -20)*48171/(-153). Let s = d + 944. Which is smaller: 0 or s?
s
Let j(v) be the first derivative of -v**3/3 - 3*v**2 + 7*v - 118. Let q be j(2). Which is bigger: -53 or q?
q
Let t be 1*3/(-21)*(-43)/129. Let c = -12 - -12. Suppose c = -0*n - n. Is n less than t?
True
Let p(r) = 92*r + 1113. Let s be p(41). Which is greater: s or 4884?
s
Let l = -2 + 2. Suppose l*o = -2*o + 20. Let j be ((468/(-429))/(10/(-385)))/3. Is j > o?
True
Let v = 319 + -311. Let s be 13/(((-2)/v)/((-52)/(-16))). Is -169 greater than s?
False
Let u = 38 - 33. Let n = 353/95 - 82/19. Which is smaller: n or u?
n
Let d = 1737 - 4026. Is d != -2291?
True
Let y be (-2000)/(-64) + 0 - ((-88)/(-8) - 7). Let f(h) = 6*h - 3. Let v be f(5). Which is greater: v or y?
y
Let t = 3682 - 3781. Is t <= 7?
True
Suppose 86*n + 102*n = -15*n - 203. Is 9/331 at most n?
False
Let c = 59 + -128. Suppose 6*n - 1830 + 1823 = -n. Is c > n?
False
Let r be (3 - 5)*(-1)/(-192). Let c(m) be the first derivative of m**4/4 - 2*m**3 + 5*m**2/2 + m - 2. Let p be c(5). Which is smaller: r or p?
r
Suppose -75 = 16*w + 21. Let b be 4/w - (-1 - (-8)/6). Is -2 at least b?
False
Let u be 1 + 103 + 2 + -2. Let h = u + -103. Let o be h - 8/((-288)/(-140)). Which is bigger: -3 or o?
o
Let s = -2534 - -392769/155. Suppose -5*o - h = -7, -3*o + h + 5 = 2*h. Which is smaller: s or o?
s
L