 Let q be (-11)/(-3) - (-4)/a. Let f be c(q). Is -2 >= f?
True
Let x be (-4)/(48/(-14)) - 0. Let k = -5.618 - -2.618. Which is greater: x or k?
x
Suppose 3 = -2*r - 1, 4*c - 3*r = 14. Suppose -w - 3*y = -0*y + 15, 5*y + 29 = -c*w. Which is greater: -9 or w?
-9
Let p(q) = -9*q + 1. Let i be p(7). Let z = i + 63. Is z < 8/17?
False
Let r be (2 + (-735)/12)*40/(-30). Which is greater: r or 85?
85
Let n = 324 - 227. Are n and 100 nonequal?
True
Let s be 3 - ((-68)/(-22) + 0). Suppose 6 = 4*a - 2*a. Which is smaller: s or a?
s
Let u = 44 - 19. Let x be 465/25 - 3/5. Let p = u - x. Is p at most as big as 7?
True
Let p = -0.04 + 2.04. Let t = 0.044 - 0.144. Is t at most as big as p?
True
Suppose h - 5*s = 16, -5*h - s + 102 = -4*s. Suppose 24 = n + p + 3*p, h = 2*n - p. Is -2/5 at most as big as n?
True
Suppose -33 = -3*a - 5*x, 63 = 4*a + 5*x + 24. Let m be 3/(-1) + 1 + a. Suppose 4 - 19 = -c + 3*g, 0 = g + m. Is c at most 4?
True
Suppose 0 = -7*k + 8*k - 5*l - 6, -3*k - 3*l = 0. Is k not equal to -3?
True
Suppose 9*b = 78 + 12. Suppose 0 = -h + 3*u + 16, -4*u - 2 - 6 = 2*h. Suppose -b*i = -6*i + h. Is i at most as big as 6/13?
True
Suppose 17*m - 18*m + 1 = 0. Let j be m/(-1) + (4 - (2 - -5)). Is -5 equal to j?
False
Let k = 274 - 217. Which is smaller: 56 or k?
56
Let k(g) be the first derivative of -g**2/2 + 8*g + 2. Let w be k(6). Suppose -5*v - 4*n + w = 0, 3*n = 3*v - n - 14. Is v not equal to -2?
True
Let j be 4/(-18) + (-58)/(-18). Suppose j*i + i = 5*m + 16, -2*i + 8 = -5*m. Which is smaller: m or 2/31?
m
Let h = 47 + -46.3. Let c = 19/5 + -18/5. Which is smaller: c or h?
c
Let h be (-142)/4 - (2/4)/(-1). Is h at least -34?
False
Let c be (-4)/(-34) + (-1 - (-7 - 1302/204)). Suppose 2*m + 50 - 5 = 3*l, 2*l = -2*m + 20. Which is smaller: c or l?
c
Suppose -240*u - 2 = -238*u. Let v be (-3 + 4)/(26/(-14)). Which is smaller: v or u?
u
Suppose -3*c - 5*v + 67 = 0, -153 = 4*c + 3*v - 224. Suppose -5*f - 43 = -3. Let a = f - -21. Which is smaller: c or a?
a
Let o = -2.588 - 0.012. Let f = o - 0.4. Is f not equal to 3/4?
True
Suppose -3*h + h - i = 188, 4*h - 2*i + 368 = 0. Let q = h - -63. Is q > -30?
False
Let g = -100 + 502/5. Which is smaller: g or -35?
-35
Let j = -0.2 - -20.2. Let q = j - 17. Let h = q + -1. Which is bigger: 0 or h?
h
Let p(b) = 28*b - 394. Let d be p(15). Are d and 24 equal?
False
Suppose 608 = -j - j. Let t be -1 + (j/84)/(-4). Which is smaller: -0.1 or t?
-0.1
Let w be (4/2 - 1) + -1. Let f be (-12)/(-10)*(-16110)/27. Let l be (2 - -1)*(4 + f/180). Which is greater: l or w?
l
Suppose 68*s - 57*s + 11 = 0. Which is greater: s or 2/867?
2/867
Let b be (4/(-14))/(1/112*-4). Let g be (-36 - -30)*(b/3 + 2). Is -29 bigger than g?
False
Let o be ((-3082)/28)/23 - -3. Which is bigger: o or 2?
2
Let u be 3/6 + 125/42. Let x = u + 1/42. Which is bigger: -3 or x?
x
Suppose 5*g + 2 = 7. Let m = 5 + -2. Suppose -m*z - 3*k = 0, 2*k = 4*z + 7 - g. Is z not equal to -1?
False
Let t = 1388/5 - 278. Let c be (-2)/(-5) + 2645/(-175). Let r = c + 15. Which is smaller: r or t?
t
Let r = -39 - -43. Let j(z) = -z**2 - 4*z - 3. Let v be j(-4). Which is smaller: r or v?
v
Let c = -8 + 13. Suppose -o = 5*x + o + 25, 0 = -c*x - o - 25. Let b = -6 - x. Which is smaller: b or -2/7?
b
Let a = -216 - -185. Let x = -32 + 34. Is x at least a?
True
Suppose -3*k + 4*a - 39 = 0, 0*a - 2*a + 6 = 0. Let x be k/(-90) + 2/(-4). Which is smaller: 2/3 or x?
x
Let s be 4/(0 - 2 - -3). Suppose -127 = 4*p + 5*y, 115 = -s*p - y - 0*y. Let g = -89/3 - p. Which is greater: -1 or g?
-1
Let z(l) = -l**2 - 4*l + 4. Let i be z(-5). Let o be (-6*(i - 1))/1. Suppose 5*k = -y - 14, 12*y - 122 = 4*k + 30. Is o not equal to y?
True
Let l(s) = s**2 - 2*s + 1. Let a be l(5). Suppose 0 = 6*n - 9*n + 48. Is n greater than or equal to a?
True
Let f be ((-63)/(-35))/(((-2)/(-30))/1). Let v(b) = -b + 29. Let t be v(f). Does t = 2?
True
Let p = 35/26 + -3/2. Which is smaller: p or 2/101?
p
Let h be (6 - (-8)/(-2))*4/14. Which is bigger: 37 or h?
37
Let x = 17 + -13. Let n be x/(-8)*6 + 2. Is 1/24 >= n?
True
Let j = 15 - 21. Let q = j - -6.6. Which is greater: -2 or q?
q
Suppose 3*h + 4*j + 252 - 72 = 0, 2*h = -5*j - 120. Let z = h - -57. Which is smaller: -2 or z?
z
Let p be (-3)/(-2)*4/6. Let x be -1 - -1 - (-825)/53625. Which is smaller: p or x?
x
Let h be (14/(-8) - -8) + -2. Are h and 4 nonequal?
True
Let k = -2 - -4. Suppose 33*v - 25 = 8. Which is smaller: k or v?
v
Suppose -4*r + 10 = 5*g - 17, 5*g + 3*r = 24. Suppose 41 = g*u - 2*c - 59, -196 = -5*u - 4*c. Suppose -4*f = u + 64. Which is smaller: -24 or f?
f
Let q = -23 - -63. Let j be (q/6)/(10/45). Let k = j + -26. Which is smaller: k or 3/2?
3/2
Let i = -34233/16 + 2138. Which is bigger: -2 or i?
i
Let x = 128/11 - 618/55. Does x = -171.1?
False
Let d be (-8)/10*(-190)/4. Suppose 0 = 3*c + m - 115, -5*c + 12*m - 16*m = -194. Is d equal to c?
True
Suppose -64*m - 378 = -43*m. Which is smaller: -166/9 or m?
-166/9
Let c be ((-18)/117 - (-40)/(-78))*3. Let f be (5/950)/(-2*c/10). Which is bigger: f or -1?
f
Let t = -44 - -50. Let p(z) = z**3 - 6*z**2 - 3*z + 14. Let m be p(t). Which is smaller: -18/7 or m?
m
Let c be (-62)/124 + 29/42. Is c at least -1?
True
Let s be 2/((-4)/2)*4. Let q = 32 - 33. Let o be (s - (-4 + -1))*q. Is o greater than or equal to 2?
False
Let u(k) = -k**3 - 5*k**2 - 6*k - 2. Let j be u(-4). Let b = j + -4. Suppose 0 = w - 3*w - b. Which is smaller: w or -2?
-2
Let k = 7094 + -7106. Let m(o) = -13*o**3 - o**2 - 9*o + 11. Let f(l) = 6*l**3 + 4*l - 5. Let i(b) = -7*f(b) - 3*m(b). Let p be i(2). Is p bigger than k?
False
Let m(k) = -14 + k**2 + 8*k + k**2 - 16*k - k**2. Let p be m(9). Let v be 37/(-5) + 6/15. Which is bigger: p or v?
p
Suppose 0 = -0*w + 3*w. Let s = -24/41 + 29606/287. Let t = -102 + s. Are w and t unequal?
True
Let w = 38 + -23. Let y = w + -1. Is y at most -0.2?
False
Suppose 0 = -7*f - 30 + 37. Which is bigger: f or 1/559?
f
Let r = -0.053 + -125.947. Let d = r + 110. Is -0.1 bigger than d?
True
Suppose -2*a + 6*w - w = 44, -32 = 2*a - 2*w. Which is bigger: -100/9 or a?
-100/9
Let w = -31.3 + 31.03. Let l = 1.33 + -0.23. Let h = l + -1. Is w greater than h?
False
Suppose 3*b + 4*a - 8 = 0, 3*b - 4*a + 3*a + 2 = 0. Suppose b - 12 = -4*q. Let z(k) = 5*k - 1. Let o be z(2). Is o > q?
True
Let s be (3/2)/((-22)/4). Let g be 3/6 + 18/(-12). Is g at least s?
False
Let w be -54 + 56 - (1 - -597). Which is smaller: w or -597?
-597
Suppose -5*p - 5835 = 4*d - 1077, -4*p = -3*d - 3584. Is -1192 less than d?
False
Let w be 32/(-3)*135/90. Is w <= -79/5?
True
Let o = 2559 - 1692. Which is smaller: 868 or o?
o
Let w = -4.05 - -0.05. Let j = 17 - w. Let i = 22 - j. Which is smaller: 2/3 or i?
2/3
Suppose 8*b = 5*b + 27. Let f = -9 + b. Which is smaller: f or -1?
-1
Let j = 33 - 27. Suppose 0 = -z - 3*x + 10, 0 = 2*z - 5*x + 4 - 2. Suppose -5*c - 4*d + 13 = 0, -c = c + z*d + 2. Which is smaller: c or j?
c
Let k = -361 + 1453/4. Let d be (-874)/(-360) - 4/10. Let f = k - d. Which is smaller: -2 or f?
-2
Let d = -33 - -42. Let i = 9.2 - d. Which is smaller: -1.1 or i?
-1.1
Suppose 0*k + 4*k - 12 = 0. Suppose 0 = g + j - 6, 0 = 4*g - k*j + 23 - 68. Suppose g = -3*p + 21. Are p and 4 equal?
True
Let s = -597.89 + 601. Let m = 0.89 + s. Which is bigger: 12 or m?
12
Let u = 0.0475 - -0.0525. Let v = 22 - 73. Which is bigger: v or u?
u
Let o be 2 - (0/4 + -1). Suppose -4*t + o = -t. Let c = -10/11 - 13/22. Is c >= t?
False
Suppose -9*x + 15 = 6. Which is smaller: x or 3/38?
3/38
Let z be ((-2)/6)/((-8)/(-6)). Let u(m) = 6 - 8 + 3 + 2*m. Let o be u(-1). Which is greater: z or o?
z
Suppose -4*p - 5 = p. Let i be ((-55)/33 - 2/(-3))*-6. Let q be (-16)/i - (p - 2). Which is smaller: q or -1?
-1
Suppose 9*k = -9 - 486. Which is smaller: -37 or k?
k
Suppose -3*c + s - 6 = -13, 5*s + 23 = 3*c. Is c <= -3/17?
False
Let k be -2*(0 - 2/6)*21. Which is bigger: k or 15?
15
Let p = 162449/225 + -722. Are p and -1 equal?
False
Let r = 42 - 36. Let f(y) = -2*y**2 + 11*y - 4. Let b be f(r). Are b and -10 non-equal?
False
Suppose 3*y - 74 = 3*r - 5, -5*r - 75 = 3*y. Let h be 46/r + 2 - 4/(-18). Which is bigger: h or -0.3?
-0.3
Let a = -47080/368057 - -2/7831. Is -1 smaller than a?
True
Let d = 2358 - 648449/275. Which i