 - 4*j = 0. Let x = -212 - -212. Let n be ((x - -3)*2/(-6))/(-3). Which is smaller: n or j?
j
Let h = 377 - 1129/3. Let q = 52 - 49.9. Let r = q - 0.4. Which is bigger: h or r?
r
Suppose -3*f + 47*k - 70 = 43*k, 2*f + 5*k + 85 = 0. Which is smaller: f or -714/23?
-714/23
Let h be 57/(-15) + 14 + -9. Let n = -620 + 5582/9. Which is greater: h or n?
h
Let a(d) = -d**3 + 15*d**2 + 23*d + 1. Let b(m) = -m**3 + 16*m**2 + 23*m + 3. Let k(r) = 7*a(r) - 6*b(r). Let z be k(11). Is z less than 4/25?
True
Let r = 39 + -33. Suppose 6*w - r = -24. Let o(v) = -3*v - 1. Let z be o(w). Is z <= 7?
False
Let j be (3/3*1)/((-15899)/(-39)*-1). Which is bigger: 0.2 or j?
0.2
Let d(t) = 238*t + 24. Let r be d(-2). Let k = -449 - r. Are -0.112 and k non-equal?
True
Let x = -4473 + 4410. Do x and 1/15 have the same value?
False
Let s be ((-28)/18)/(44/2068). Which is greater: s or -73?
-73
Let c be (-4)/(-22) - 97/(-11). Suppose -l = -4*o - c, 3*l + 2*o + 2 - 1 = 0. Let k = 239 - 5018/21. Does k = l?
False
Let n = -13026 + 13016. Which is greater: n or -130?
n
Let c be 4/(-16)*-4*241. Suppose c = 4*t - h, -16 + 20 = -4*h. Is 57 less than or equal to t?
True
Suppose 12 + 348 = 5*x - 5*c, 165 = 2*x + 5*c. Does x = 147/2?
False
Let a = -35.8 - -20.9. Let o = a + 7.3. Let h = o - 11.4. Which is smaller: -1 or h?
h
Let y = 2691 + 4896. Which is greater: y or 2?
y
Suppose -3*m = -7*m - 29*m. Suppose 6*d - 4*d + 2 = 0, m = -v + 2*d + 34. Which is greater: 8 or v?
v
Let i be 113 - (-1 + 0)*0. Let l(x) = -70*x - 110. Let g be l(0). Let f = i + g. Is 13/8 bigger than f?
False
Let w = -39092 - -117274/3. Let i be (-12)/18 + 22/(-12). Which is greater: i or w?
w
Let f = -2587/2035 + -3/2035. Which is greater: 4 or f?
4
Suppose 0 = -20*l + 11*l + 1980. Let c = l - 260. Which is bigger: c or -39?
-39
Suppose -52 = 4*s - 0. Let c(k) = 118*k + 2350. Let f be c(-20). Does f = s?
False
Suppose -2*d + 11 = -3*x - 1, 4*d - 24 = 0. Are x and 172 non-equal?
True
Let s = -39 + 37. Let i be 92 - (-8 - -3 - s). Which is greater: i or 96?
96
Suppose -169*g + 172 = -171*g. Let n = 98 + g. Let q be (-12)/(-81)*18/n. Which is greater: q or 2?
2
Suppose 85111 = -39*o + 512257 + 92022. Is o greater than or equal to 1?
True
Let r = -8.4 - -68.4. Let k = -5215 - -5215.1. Do k and r have different values?
True
Let c(l) = l**2 + 13*l + 44. Let d be c(-6). Let n = -2 + 2. Suppose d*x = 4*t + x - 2, n = -2*x + 4. Do t and 1 have the same value?
True
Suppose 2*a - 4 = -4*s, -4*s + a - 7 = -s. Let x be s*38*4/(-8). Suppose 0 = -j - w - x, 2*j = -2*j - 2*w - 66. Is j greater than -15?
True
Suppose 219*s - 108*s = 74*s. Is s less than -27/862?
False
Let x = -6262/27 - -232. Is 77 greater than x?
True
Let b(m) = -m**3 + 5*m**2 + 4*m + 3. Let f be b(3). Let o be (-48)/(-20) + (2 - (-24)/(-10)). Suppose -15 - f = o*j. Which is smaller: -70/3 or j?
j
Let l = -2013/1288 + 235/184. Let j = -201/2 - -933/10. Is j >= l?
False
Let d = -0.108 + -527.792. Let n = d - -528. Is 31/14 at most n?
False
Let d = 469 - 469. Suppose 285*y - 293*y - 448 = d. Is y >= -1?
False
Suppose 3*n - 14*n - 10*n = -18417. Do n and 1753/2 have the same value?
False
Let m(q) = -15*q + 37. Let z be m(-18). Let s = 166 - z. Which is smaller: 2/5 or s?
s
Let n = 19 + 59. Let z be 13/(n/8) - -6. Is 6 greater than or equal to z?
False
Suppose 4*p + 42908 = 3*g - 25901, -17211 = p + g. Which is bigger: p or -17205?
-17205
Let d = -76 - -76. Let i(x) = d*x**2 + 4*x**2 + 3*x - 5*x**2 + 18. Let r be i(6). Is 3/44 < r?
False
Suppose 9687 - 2229 = -22*t. Is 1.7 != t?
True
Let w be -10*(-6 + (-484)/(-66))/((-10)/6). Which is smaller: w or 59/7?
w
Let q(c) = 2*c**2 - 23*c + 19. Let t be q(11). Suppose t*m - 9*m = -x + 3, -8 = m + 4*x. Which is bigger: m or -3?
-3
Let v be (78/(-24) - -7)/((-15)/20). Do v and -202/41 have different values?
True
Let k(t) = 10*t**2 + 29*t + 10. Let m be k(-3). Which is smaller: 203/15 or m?
m
Let t(g) = 3*g**2 - 673*g - 6786. Let y be t(234). Let v be (-1)/1 + (-822)/(-870). Is v at least y?
False
Let l(y) = -y - 3. Let p be l(-3). Let o(h) = -2*h + 46. Let n be o(24). Let u be ((-4)/n)/(14 + 1 + -9). Which is bigger: u or p?
u
Suppose 0 = 2*v - m + 3 - 22, 4*m = 12. Suppose 5*u + 12 - 30 = -2*z, -5*z = -5*u - 80. Let x = z - v. Which is greater: x or 15?
15
Suppose -1619*d + 1616*d - 3616 = -2*g, -5*g + 5*d + 9060 = 0. Which is smaller: 1821 or g?
g
Let k = -40/767 + -500611/4602. Which is greater: -110 or k?
k
Let z be (4/((-16)/810))/(29/58). Which is smaller: z or -410?
-410
Let r be 36/(-24)*(-2 + (-4)/(-6)). Let x be (r + 1)/30*25/10. Which is greater: -174 or x?
x
Suppose -16 = 3*r + 2*v, -3*r - 4*v = 28 - 2. Let t(c) = -2*c**2 + 11*c - 1. Let f be t(5). Suppose -f*d - 19 - 1 = 0. Is r less than d?
False
Let w be (-5)/((-30)/(-8))*(-4611)/(-212). Are w and -74 unequal?
True
Let b be (-1215 - (1 + -3)) + (14 - 15). Is -1216 < b?
True
Let f = 19786 + -19793.0145. Let o = 0.0145 + f. Is o != 31?
True
Let t be (4 + 84/(-16))*48/30. Let j = -1 + 9. Let u be (22/j)/(-1) - -2. Which is bigger: u or t?
u
Let i = -2916.97359 + 2917. Let y = i - 40.03641. Let c = 40 + y. Is 0 != c?
True
Let d be (0 + 5)*2*2/10. Let j(w) = 73*w + 3*w**2 + 18 - d*w**2 - 56*w. Let y be j(-16). Which is greater: y or 9/4?
9/4
Let x = -1814 - -1981.4. Which is smaller: -4 or x?
-4
Let w = 3903/7 - 551. Let s(o) = 46*o - 85. Let h be s(2). Is h less than w?
False
Suppose i + 4*u - 90 = 0, -5*i = -0*u - u - 513. Let h be (21284/i)/(4/6). Let t = -6572/21 + h. Is -2 equal to t?
False
Let o be (-10)/(-8)*1*344/43. Let s be ((-4)/o)/((-18)/(-30)). Is 0.39 at least s?
True
Let m = 7426 - 6817. Do 606 and m have the same value?
False
Let a be 2/((-4)/(-10)) + 7. Suppose -5*s + 20 = 0, 10*s - 181 = -z + a*s. Is 189 > z?
False
Let q = -0.13 - -0.09. Let d = -2367.86 + 2368. Let j = q + d. Which is greater: 9 or j?
9
Let n(g) = -11*g**3 + 176*g**2 - 12*g + 148. Let z be n(16). Let t(p) = -2*p**3 + 4*p**2 + 7*p - 5. Let d be t(4). Which is greater: d or z?
d
Let t(y) be the first derivative of 14*y + 19/2*y**2 - 19 + 10/3*y**3 + 1/4*y**4. Let b be t(-8). Is b greater than -10?
False
Let b = -1438 + 1437.96. Are b and 25 nonequal?
True
Let y be 3/10*25 + -6. Let o = -5 - -13. Suppose 0 = -4*d - 0*d + o. Is d at most as big as y?
False
Let n(v) = v**3 - 17*v**2 - 91*v + 151. Let h be n(21). Which is greater: h or 44/9?
44/9
Suppose 8 = -998*d + 1006*d. Let k = -2992 - -65845/22. Is k at least as big as d?
False
Let h be ((-9)/21 - -1) + 450/(-175). Which is greater: h or -24/31?
-24/31
Let j(g) = 5*g**3 - 36*g**2 + 33*g + 20. Let w be j(6). Does 25/37 = w?
False
Suppose 2*v + 5*m - 3*m - 1110 = 0, -v + 3*m = -539. Suppose -3*i - 2*h = -7*h - v, -3*i = -h - 571. Suppose 10*g - 2*g = i. Is g at least as big as 26?
False
Let x be (-8)/6*((-308)/(-8) + -4). Let i = -48 - x. Let p be 10/15*9/i. Which is smaller: -3/2 or p?
p
Let q = 50 - 56.2. Let k = 2.2 + q. Let m = -3.88 - k. Is m less than or equal to -0.2?
False
Let k = 937 - 1512. Let s = k - -574.89. Is s greater than 0.02?
False
Let u = 8498/3 + -2833. Is u at most 17.6?
True
Let z = -3734 + -2338. Is -6071 at most z?
False
Let c be 98/(-22) + (-47)/(5170/60). Let j be ((-2)/(-6))/(1/12). Which is bigger: c or j?
j
Suppose -4*s - 5*k - 1791 = -20247, 0 = s - k - 4623. Which is greater: s or 4616?
s
Let m = 1808 + -1807. Which is smaller: -5/4794 or m?
-5/4794
Let f(u) = u**2 + 17*u + 37. Let t be f(-15). Suppose -189 = -t*z + 84. Which is greater: z or 40?
40
Suppose -51*o - 8098 = -2*u - 54*o, u - 4049 = -3*o. Which is bigger: u or 4047?
u
Let z = 108 + -112. Let h = z + -110. Which is greater: h or 0?
0
Suppose 2 = s, 4*s = 18*i - 20*i - 6230. Which is smaller: i or -3121?
-3121
Let u(v) = v**3 + 8*v**2 + 12*v + 2. Let g be u(-6). Let a(k) = 6*k - 7 + g - 20 - 13. Let n be a(-7). Which is smaller: n or -79?
n
Let i = 1.61 - 0.31. Let u be ((-70)/21)/(37/18 - 2). Let c be (-2)/(-9) + u/270. Is i less than c?
False
Let r(q) be the third derivative of -q**5/60 + 5*q**4/12 - 7*q**3/2 - 14*q**2 - q. Let x be r(7). Which is bigger: 12 or x?
12
Let o be 528/330*(-10)/(-8). Let r(p) = 4*p**3 - p**2 - 2*p - 7. Let y be r(o). Let s = 17 + -1. Does s = y?
False
Suppose -5*r + 9*r = 8. Suppose 0 = 4*a + 5*n + 3