= k?
True
Let k = -219 + 681. Let c be (-6)/(-10)*3938/k - 5. Let z be 1*(-1)/(-2)*-2. Is c less than z?
False
Let s = 13402/1475 - 228/25. Which is smaller: s or -0.001?
s
Suppose 2*k - 4*z - 32 = 0, z + 3 + 0 = 0. Let g be k/275*(4 - (-135)/(-40)). Is 0 at least g?
False
Let c(f) = 3*f - 33. Let u be c(10). Let z be (10/u)/(6/(-99)). Suppose -18*h = -h - 952. Which is smaller: h or z?
z
Suppose 0 = 3*u - 10 - 2. Suppose -n + 2*n = -u*a + 9, -a = -3*n + 1. Let l be 3/a*40/12. Is l at most 4?
False
Suppose -57*b + 12 = 65*b - 110*b. Is -41 greater than b?
False
Let h = -28 - -27.89. Let d = -34.941 + -0.059. Let s = -32 - d. Is s at most as big as h?
False
Let p = 39 + -75. Let b = -36.31 - p. Let m = -3.31 - b. Is m equal to -12?
False
Let q(y) be the first derivative of y**4/4 - 10*y**3/3 + 3*y**2/2 + 21*y - 9. Let b be q(9). Suppose -6*n + 14 - 218 = 0. Which is greater: b or n?
b
Let m = -1248.5 - -1233.5. Let b = 15.76 - -0.24. Let z = b + m. Is z > 2/71?
True
Suppose 0 = 10*c - 18009 + 1529. Do 1648 and c have the same value?
True
Let x(a) = -a**3 + 39*a**2 - 37*a + 77. Let q be x(35). Which is smaller: 3681 or q?
3681
Suppose 2*f - 4*w - 27 - 17 = 0, 131 = 5*f - 3*w. Suppose -4*s - 332 = f. Is s at least as big as -89?
False
Let b = 1381 + -1086. Is b < -0.4?
False
Let k be (-15 - 254144/(-16944))/((-33)/(-36)*-2). Which is bigger: 1 or k?
1
Suppose 22*x - 577 = -467. Do 171 and x have the same value?
False
Suppose 6*h - 10*h + 16 = 0, -34 = 3*p - h. Let z be (260/(-25))/(8 + p). Is z equal to 5?
False
Suppose 0 = -5*q + 346 - 1206. Let n = q + 112. Let r be ((-2)/5)/((-4)/n). Is -7 < r?
True
Let o(k) = -17033*k**2 + 223*k. Let r be o(1). Is r smaller than -16810?
False
Let a = -14162 + 14162.1. Let j = -31 + 29.3. Let h = j + -0.3. Which is bigger: a or h?
a
Let y = 344.18 + -5.18. Let t = -390 + y. Which is greater: t or -2?
-2
Suppose 0 = -7*k - 22 + 36. Suppose -3*g + 7 = 4*o, -42*g + 41*g + 9 = -k*o. Which is smaller: g or -9?
-9
Let a = 68 + -137. Let z = 62.75 - -1.25. Let m = a + z. Is m at least 2?
False
Let c be 3750/21 + (-1)/((-49)/21). Let a = 179 - c. Is a smaller than -4/5?
False
Let q = 25/129 - 613/3311. Let i = 14001.5 - 14001.5. Which is bigger: i or q?
q
Let g = -0.812 + -88.288. Let z = 89 + g. Is z at most 8?
True
Let g be (-504812)/(-1254) - 14/(-133). Is 403 < g?
False
Let h = -3737 - -3529. Is -210 greater than h?
False
Suppose -241 + 233 = -3*i + s, 4*i - 14 = 2*s. Do 75/188 and i have the same value?
False
Let y be (310/(-45))/(3 - 1). Suppose 0 = -5*q - 640 + 630. Which is smaller: q or y?
y
Let g be 216/32 - (-3)/12. Suppose -s - g - 13 = -4*a, 5*s + 16 = -a. Suppose 3*k = 3*y + 3, 10 = 4*y + a*k - 2. Is -2/7 greater than or equal to y?
False
Let w be 6/(-4)*(-29)/6. Let i = 0.1403 - 0.0403. Which is bigger: i or w?
w
Let f(x) be the first derivative of 1/4*x**4 + 21 + 7/2*x**2 + 8*x + 2*x**3. Let n be f(-5). Is n less than -11/8?
True
Let m = 3335 + -3458.08. Let x = m + 123. Which is bigger: -1/8 or x?
x
Let a(m) = m**2 - 15*m - 7. Suppose 0 = -4*h + 5*o + 39, -h + 10 = -2*o + 4. Let q be a(h). Is q not equal to 14?
True
Suppose 565 = -128*f + 133*f. Suppose 0 = k + f - 250. Is k greater than or equal to 138?
False
Let y(v) = 48*v - 3. Let c be y(-4). Let g be (-5)/2*12/c. Suppose 0 = -178*z + 183*z - 2*a - 36, z + 3 = -3*a. Is g less than z?
True
Suppose v - 16 = 3*o, 3*v = o - 5*o - 4. Let g be 7*950/40 + (-3)/o. Is g at least as big as 3?
True
Let b = -4131 - -3742. Which is smaller: b or -357?
b
Let b = -6721 + 6643. Suppose d = 5*d + 312. Is d > b?
False
Let o = 347 - 346.634. Let y = -0.406 + o. Is 2/21 < y?
False
Let m(k) = 2*k**3 + 10*k**2 + 12*k - 2. Let h be m(-4). Which is smaller: -284/15 or h?
-284/15
Let s = -296 + 314. Suppose 7 = 14*q - 13*q - 2*u, 2*q - 5*u = s. Which is greater: q or -3/29?
-3/29
Let t = 0.2095 - 1412.3095. Let d = 1471 + t. Let g = d - 59. Is -1 greater than g?
False
Let g = 10/517 - 2776/196977. Let y be 60/(-80) + (-766)/(-762). Let s = y - g. Which is bigger: 3 or s?
3
Let h be ((-3300876)/498)/(322/(-5)). Let b = h + -2367/23. Let p = -3660/16849 + b. Is 1 bigger than p?
True
Suppose 0*a = 2*a - 24. Let c be (-3)/28*((-8074)/66 + -3). Is c != a?
True
Let c = 5109 + -5111. Is c <= -37/15?
False
Let c be 0 + 0 + (-6)/(-134). Suppose -47*p = -7066 + 7019. Is p at least c?
True
Let b(c) = c**2 - 9*c - 37. Let u be b(11). Let q be (12/u)/(30/(-25)). Which is greater: 0.02 or q?
q
Let u = 16.5341 - 14.5341. Let d = 0.1 - 0.1. Are d and u equal?
False
Let b = -19432 + 19432.1. Which is smaller: 14738 or b?
b
Let x(d) = 6*d**2 - d - 190 - 8*d**3 - 173 + 334. Let t be x(4). Which is bigger: t or -448?
-448
Let b = 662.78 + 98.12. Let s = -761 + b. Let n = -53 - -14. Which is bigger: s or n?
s
Let c(s) = s**2 - 32*s + 142. Let d be c(28). Suppose 0 = -0*i + 5*i - 105. Let l = i - d. Are l and -10 non-equal?
True
Let f = 169224755/24 - 7048537. Let w = -2494 + f. Which is greater: -1 or w?
w
Suppose 0*l - 2*l + k = 166, l = -4*k - 92. Let d be 2 + 1 + (-129)/l*-2. Let q = d + 31/630. Which is smaller: -1 or q?
-1
Suppose -4*r + 93 + 74 = -5*d, -5*r = 2*d - 184. Let n = r - 32. Suppose -30 = n*j - j. Which is greater: -4 or j?
-4
Let c(q) = -119*q - 21778. Let u be c(-183). Let y = 5289 + -782769/148. Which is smaller: u or y?
u
Let f(a) = -75*a**3 - a**2 + 12*a + 14. Let k be f(-1). Let c be 2/1*(-154)/(-4). Is k less than or equal to c?
True
Let w = -28 - -34. Let q be ((-16)/w - -2) + 1452/18. Let f be (-1 - 1) + 7/(28/q). Is 18 < f?
False
Let i = 8338/5 - 8361/5. Which is bigger: i or 2/39?
2/39
Let i = -13 + 7. Let n = i + 8. Let o be -19 + (-1690)/(-91) + (132/14 - -2). Is o less than n?
False
Let j(r) = -3*r**3 - 13*r**2 + 97*r + 3. Let p be j(6). Let v = 695 + p. Is 164 <= v?
True
Suppose 1173 = 3*k + 3*b, k + 4*b = 105 + 271. Let u = k - 386. Let d be (60/(-16))/((-9)/24). Is u greater than d?
False
Let j be ((-7)/(14/8))/(58940/4910 + -12). Is 3 >= j?
True
Suppose 0 = 2*v - 5*v - 3*l + 189, -2*v + 2*l = -126. Suppose -22*o - v = -31*o. Which is bigger: o or 16?
16
Let g = -803.6 - -834.7. Which is bigger: 1/7 or g?
g
Let b = 401 + -482. Let m = -86 - b. Which is bigger: m or 5?
5
Let w(j) = -2*j + 14. Let k be (6 - (5 + -1)) + 6. Let p be w(k). Which is greater: 15 or p?
15
Let m(x) = x**2 - 3*x - 3. Let p be m(3). Let r(j) = -j - 5*j - 300 + 310. Let i be r(2). Which is greater: i or p?
i
Let c(d) = -2*d - 12. Let w(o) = -o**3 - 3*o**2 + o - 1. Let j be w(-2). Let u be c(j). Let v = 3671/2285 - 3/457. Which is bigger: v or u?
u
Let x be (-10)/6*(-13974)/(-85). Which is bigger: x or -269?
-269
Let b(m) = 2*m**2 + 13*m + 15. Let g be b(-5). Suppose g = -c + 4*c - 21. Suppose 3*s - 22 = -1. Is s greater than or equal to c?
True
Suppose 3*l - 3*g = 306 + 99, -2*l = -g - 270. Let v be (-30)/l - (-29)/9. Suppose -2*k + 3*a = -68, 0*k + v*k - 2*a - 107 = 0. Is -1 != k?
True
Let g = 2850 + -2722.66. Let s = -127 + g. Which is bigger: -3/8 or s?
s
Let c = -3326 - -3325.9. Is 427 > c?
True
Suppose -3*d + 2*g - 4253 = -2*d - g, 0 = 2*g. Is d at least -4251?
False
Let c = 5813 + -22883/4. Let d = -93 + c. Let g = 0.2104 + -11.2104. Is g bigger than d?
False
Let x = -333.3812 - -333.4. Which is greater: -0.1 or x?
x
Let s = -4 + 3. Let l be (-20)/(-36)*(-36)/30 - 4/6. Are s and l non-equal?
True
Suppose -r - 3 = -4*r. Let c = -111136/147 - -756. Is r smaller than c?
False
Suppose 0 = -3*x + 3*b - 411, 4*x + 6*b = b - 539. Let s = -273/2 - x. Which is bigger: -2 or s?
s
Let l = -131 + 129. Let a be l/(-6) + 80/(-15)*7. Which is greater: -38 or a?
a
Suppose -79*z + 1176 = -91*z. Which is smaller: -874/9 or z?
z
Let a be (326 + (-40)/(-5))/(-1). Let s = a - -289. Which is greater: 0 or s?
0
Suppose -3 = 3*t + 3*a, 0 = -4*t - 5*a - 3 - 0. Let r be (2 - t) + -1 + 18/3. Let c be 3/(-135) - (4/r)/(-2). Is -2 less than or equal to c?
True
Suppose 9*y = 5*r + 4*y - 130, -r + 2*y = -26. Suppose -10 = 5*b + 5*p, -p = -5*b + 2*p - r. Is b greater than 2?
False
Suppose 118*k - 110*k = 8. Let q be 4 - (-4 + -185*(-32)/728). Which is smaller: q or k?
q
Let y = -0.4 - 0.6. Let h = -0.48 + -240.52. Let o = -241.12 - h. Which is bigger: o or y?
o
Suppose 0 = 4*w - 4*y - y - 3148, -w + 787 = 2*