 -5*m = -2*s + 28, 3*m + 42 = 3*s - 18. Let c = 38 - s. Which is smaller: 15 or c?
c
Let p = -53804/59400825 - -2/24475. Which is smaller: p or 0?
p
Let z = 18.39 + -18.6. Is -3 != z?
True
Let a = 12.77 - 53.91. Let o = -0.14 - a. Is o bigger than -2/3?
True
Let m = 30/13 + -185/52. Suppose 2*r + 30 = -5*z - 2*r, -2*z + 3*r + 11 = 0. Let t be -1 - 2 - (z + 0). Does t = m?
False
Let q = 24 - 5. Let a = 19 - q. Let h = -0.2 - 0. Which is smaller: h or a?
h
Let y = -3.3 + 0.7. Let s = 0.8 + y. Let z = -22.8 - s. Is -0.1 >= z?
True
Let o(h) = h + 13. Let j be o(-14). Let s be (23/(-70))/j - (-8)/(-20). Are s and 0 unequal?
True
Let i = -1.185 - -1.385. Which is greater: 241 or i?
241
Let a = 21 + -7. Let u be 0 - ((-20)/a - -2). Let s(x) = -13*x - 288. Let t be s(-22). Is u at least as big as t?
True
Let g be -6 + (3/(-245*27) - -6). Do 0 and g have different values?
True
Suppose 3 = o - 7. Let b(q) = -q**3 + 10*q**2 + 8*q + 34. Let a be b(11). Which is bigger: a or o?
o
Let l be 44*-11*5/(-220). Which is smaller: l or 19/2?
19/2
Let l = 716/75 + -26/3. Which is bigger: 2 or l?
2
Suppose -3*g - 15 + 45 = 0. Let m be 15/30*(-4 - -54). Let v be ((-2)/m)/((-6)/g). Which is smaller: 1 or v?
v
Let o(m) = -m**3 - 10*m**2 - 9*m + 5. Let g be o(-9). Suppose t = 3*w - 1, t - w + g = 3*t. Let b be t/2 + 78/(-54). Which is bigger: 0 or b?
0
Let g = -2169 + 2230. Is g at least as big as 64?
False
Let r = -1242 - -1236. Let t be (-10)/45 + 52/(-9). Is t <= r?
True
Suppose 0*c + 37*c - 4477 = 0. Is 123 bigger than c?
True
Let r(f) = f + 3. Let l be r(4). Let p be (-4)/7*(l + -11) + -2. Which is bigger: 14 or p?
14
Let x be -12*(-5)/15*1. Suppose -o = -x*o - 3. Let n = -1 + -4. Does o = n?
False
Suppose 2*r + 4*z = -12, 3*r - 5 = 4*z + 7. Suppose -4*k + 2*p + 25 = -27, 0 = -2*k - 2*p + 38. Let d = k - 17. Is d > r?
False
Suppose x + 0*x + 7 = 3*k, -2*x = k - 7. Is x greater than or equal to -0.582?
True
Let m(u) = -u**2 - 17*u - 13. Let l be m(-15). Suppose -3 = -5*a + l. Which is bigger: a or -0.07?
a
Let o = -0.2411 + -0.0589. Let q be 4/(-45)*(-10)/4. Is q equal to o?
False
Suppose -h + 2 = -3*b, b - 8 = -4*h - 0*h. Suppose 19 = 2*q - 15. Is h at most q?
True
Let h = 39.52 + 0.48. Let l = -35.2 + h. Let z = l + -3.8. Is -2/11 at most as big as z?
True
Let c(z) be the first derivative of -3*z**2 - 8*z + 8. Let t be c(-3). Suppose 2*s - 30 = 5*r + 17, 0 = -s - r + 6. Which is greater: t or s?
s
Let m(j) = j**3 - 18*j**2 + 34*j - 24. Let f be m(16). Let v be (22/f)/(1/4). Which is bigger: -1 or v?
v
Suppose 17*p - 34*p = -17. Which is bigger: p or -4/137?
p
Suppose 0 = -z - 1 - 0, 5*f + 2*z = -32. Let m be (-7)/f + (-2)/(-4). Are -6 and m nonequal?
True
Let n = -7 - -11. Suppose 2*o = -2*z - 424, -7*z + 5*o = -3*z + 848. Let p = -628/3 - z. Which is greater: n or p?
n
Suppose 0 = 61*w - 60*w - 2. Let a be w/(-8) + (-15)/40*2. Are a and -1/171 equal?
False
Let p be 2*2/12*9. Suppose 0 = -x + p. Suppose 3*m = -2*q + 4*m + x, 0 = -m - 5. Which is greater: 2/31 or q?
2/31
Let b = 12 - 4. Let n be 2/12*(-2 + b). Suppose -3*k + 1 + 2 = 0. Is k smaller than n?
False
Let b be ((-1)/(-15) - 0)/(2/(-6452)). Let c = -215 - b. Let m(p) = p**3 - 5*p**2 + 3*p + 5. Let z be m(4). Is z <= c?
False
Let s be 0 - 1 - -1 - (-600)/(-24). Let l = 13 + s. Which is greater: -8 or l?
-8
Let d be 1/(11 - 27160/2470). Is d > 247?
False
Let d(p) be the second derivative of -p**4/12 - 17*p**3/6 - 17*p**2/2 + 10*p. Let j be d(-16). Which is bigger: j or -2/41?
-2/41
Let p = -4 + 9. Let o be p/(-25) - (-98)/(-10). Let z = -14 - o. Do z and -5 have the same value?
False
Let z = -1 + 288. Which is greater: z or -0.2?
z
Let p = -2598 - -2515. Which is smaller: -89 or p?
-89
Suppose -6*o + 735 = -99. Which is bigger: 138 or o?
o
Let a be -1*1/(-7) + 0. Let t(j) = -j - 2. Suppose -3*x - 6 = -0*x. Let d be t(x). Which is smaller: a or d?
d
Let t be (-174)/(-24) + (-6)/(-8). Suppose 4*w - 8*w + 40 = 0. Suppose -w*z + t*z = -4. Which is bigger: 1 or z?
z
Let n = 29 - 28.84. Let r = -0.26 + n. Let c be (1 - -2)*(-5)/3. Which is smaller: r or c?
c
Suppose -5*t = v + 4*v - 25, -5*t - 65 = -5*v. Let a(r) = r**2 - 7*r - 5. Let d be a(v). Does d = 13?
True
Let g(z) = 5*z**2 - z**2 + 4*z + 2 - z**2 - 4*z**2. Let h be g(5). Which is greater: h or 1?
1
Let y = -256 + 3839/15. Is y greater than or equal to 1?
False
Let d = 16 - 12. Let h be 16/15 - d/6. Are h and -1 equal?
False
Let x = -139 - -135. Let i be x/(-70)*(-11 - -1). Which is greater: 0.4 or i?
0.4
Let s = -17.18 + 0.08. Let j = s + 17. Which is smaller: j or -0.06?
j
Let x = -1.49 - -2.7. Let p = -0.11 + x. Let h = p - 1.6. Which is smaller: h or -0.1?
h
Let d be (-4)/((-4)/27)*1. Let y = -3 + d. Suppose 0 = 5*z - 3*z - y. Which is smaller: 13 or z?
z
Let w = -188 - -2818/15. Is -1 < w?
True
Suppose -d = 2*d - 15. Let h = 9 - d. Suppose 5*r + 12 = -h*n, 4*r + 26 - 4 = 3*n. Is n at least -2?
True
Let k = -442798/11 - -40226. Is -27 bigger than k?
True
Let d = -1224 + 1225. Is 3/424 at most as big as d?
True
Let x = 12590 + -415616/33. Is -5 at least as big as x?
False
Suppose 1508 = -267*z + 263*z. Is -376 greater than z?
True
Suppose 4*d = g + 23 - 10, 5*d - 32 = -g. Let u be g + -4 - 24/3. Which is smaller: -9 or u?
-9
Suppose 0 = -4*l + 5*o - 105, -71*l = -70*l - o + 26. Is l >= -24?
False
Suppose 0 = 11*a - 10*a + 7. Let h(p) = -5 - 4*p + 0*p + 3*p - 7*p**2 - p**3. Let r be h(a). Which is smaller: r or 5/6?
5/6
Suppose -i = -2*x + 72, 0*i + 108 = 3*x + i. Let s be 16*2/3*x/(-48). Is s <= -8?
True
Suppose 3*f + 1 = 4. Let s be (-6 - -6) + 10/f. Let h = s + -10. Which is greater: h or 1?
1
Let s be (-12)/8*(4/3)/(-1). Suppose -s*r + 3 = 2*z - 3, -5*z + 11 = 3*r. Is r at least 8/9?
True
Let u = 53 - -51. Let w be 11/(-13) - 16/u. Which is greater: w or 0?
0
Let g = -527.14 + 527. Which is smaller: -5 or g?
-5
Let k = 5.731 + 0.069. Let h = -6.3 + 0.3. Let z = h + k. Which is bigger: 0 or z?
0
Let g = -0.4 + 33.4. Let f = g + -33.1. Is -5 greater than f?
False
Let r be -3*(-3)/(-3)*-1. Let i be (r - 3) + (-2)/(-1). Suppose 0*q + 4 = -i*q. Is q greater than -4?
True
Let p = -0.02 + 3.02. Let m = -374 + 199. Let j = -175 - m. Is p != j?
True
Let n = -40 + 61. Let c = 25 + -3. Do c and n have different values?
True
Let d be (6/124)/(((-52)/80)/13). Which is bigger: -1 or d?
d
Suppose 2*z - 7*z + 10 = 0. Suppose 47 = z*b + 3*b - a, 4*b - 31 = 3*a. Is b not equal to 8?
True
Suppose 852*v - 850*v = -64. Are v and -35 nonequal?
True
Let u = 12 - 16. Let z = -5 - u. Let v = 1 + -1.01. Is z at least as big as v?
False
Let j be (-4)/14 + 78/28. Let v be (-111)/21 + (-6)/(-21). Let f be 20/8*(-4)/v. Which is bigger: j or f?
j
Let n = 4 - -8. Let l be 2/(-2)*n/(-2). Let b = -419/10 + 83/2. Which is greater: b or l?
l
Let t = -77 + 78. Is -1/46 less than or equal to t?
True
Let j be (52/10)/(2/10). Suppose -4*u - 3*v = -28 - 63, -3*u - 4*v + 63 = 0. Which is greater: u or j?
j
Let a be ((-2)/(-6)*1)/((-6)/4). Which is smaller: -3/4 or a?
-3/4
Let k be 16 - (-2)/(0 - 2)*3. Which is bigger: 11 or k?
k
Let u be (3 + (-1 - 2))/(-2). Let v be 25 + u - (-7 - -4). Are v and 27 non-equal?
True
Suppose 5 + 23 = -28*o. Is -35/61 smaller than o?
False
Let q(s) = -14*s - 109. Let h be q(-8). Is -1.77 >= h?
False
Let q(k) = 2*k**2 + 67*k + 71. Let y be q(-38). Which is smaller: y or 412?
412
Let n = 339781/7 - 48461. Let m = 79 - n. Is 1 < m?
False
Let w be (-33)/81 + 8/36. Let u = w - 1/27. Which is bigger: u or -2?
u
Let h be (-10)/4*24/(-15). Suppose 0 = -h*y - 3*c + 32, -5*y - 2*c = -6*c - 9. Suppose 0 = -y*g + g. Which is smaller: g or -2/3?
-2/3
Let j be (-913)/3684 - 7/(-28). Is j less than or equal to -1?
False
Let y = 2/391 + 776/1173. Let s = -1 + 5. Let x be ((-60)/(-16) - 3)*s. Is x < y?
False
Let p = 64 - 96. Let v = p + 24. Let r = 0 - 0.2. Which is smaller: v or r?
v
Let k = 196 + -136. Suppose -k = -3*z + 8*z. Let h be z/10*(-70)/(-21). Which is greater: h or -3?
-3
Let s = -0.2 - -0.1. Let n = -0.1 - s. Let r be (6 - (-217)/(-35))/(2/(-4)). Which is bigger: n or r?
r
Let w = -923/76979 + -2/7855. Which is smaller: w or 0?
w
Let i = 38.4 - 36.3. Is -1/8 equal to i?
False
Let n(l) = -70*l - 2. Let x be n(0). Let b(y) = -y**3 + 2*y**2 - 1. Let t be b(1). I