Suppose 0 = 5*k - r*k + s + 5, -3*k + s = 3. Which is smaller: k or 2/15?
k
Let j = 5 + -3. Let b be 28/(-105)*5/j. Which is smaller: -2 or b?
-2
Let i = 2491 + -2340. Which is smaller: i or 5?
5
Let o be (32/(-12))/((-2)/3). Suppose l + 2 = 0, 3*f - o*l + 3*l - 14 = 0. Suppose 0*n - f*n = 28. Do n and -7 have the same value?
True
Let x = -0.031 - -0.071. Let l = x - 4.04. Is 0.05 equal to l?
False
Let f be (-10)/(-41 - -1)*(-260)/(-1). Is f bigger than 69?
False
Let c(g) = -g**2 + 7*g - 5. Let a be c(5). Suppose -397 - 3 = a*b. Let s = -641/8 - b. Is 1 at most s?
False
Let t(f) = 3*f + 76. Let j be t(-26). Is -0.61 != j?
True
Let n be 191 + (-1)/((-8)/(-56)) + 7. Which is smaller: 189 or n?
189
Let r = 573 - 454. Is r smaller than 119?
False
Let y = 31879/335 - 2379/25. Let f = -199/1675 - y. Which is smaller: 0 or f?
f
Let n be ((-5)/(-15))/((-2)/(-84)). Suppose -q + 3*w = -n, -2*w - 11 - 3 = 4*q. Let o be 1*((-15)/(-25) + q). Which is smaller: -4 or o?
-4
Let k(f) = -f**2 - 78*f - 137. Let p be k(-45). Do 1348 and p have the same value?
True
Suppose -5*z + 13 = -6*z. Let a be 4/(-6) + (-13)/z. Which is smaller: 1 or a?
a
Let o = -445 + 3113/7. Is -38 bigger than o?
False
Let o be (-74 - -62)*7*2/(-4). Is 128/3 less than or equal to o?
False
Let l(n) = -5*n + 1. Let o be l(4). Let z be ((-60)/(-16))/(3/16). Let w = z + o. Which is smaller: 4 or w?
w
Let i = 2240955644/12177165715 + 204/1310077. Let r = i - 2/845. Which is bigger: r or -1?
r
Let q = 21 - 21.8. Let g = q - -0.9. Let l = g + -0.09. Which is smaller: -1 or l?
-1
Let n be (-489)/(-66) - 8 - (-1)/11. Is n > 7/2?
False
Let m(f) = -f**2 - 14*f + 20. Let j be m(-14). Let d = j - 30. Is -10 smaller than d?
False
Suppose 0 = -3*m + m - y, 2*m - 5*y = 0. Suppose -t + m*t = 15. Which is smaller: t or -14?
t
Let j = -419.1 + 419. Which is greater: j or 788?
788
Suppose 0 = y + 4, 4*n + 2*y - 3631 = -87. Let q = 23085/26 - n. Is q at least 1?
False
Suppose 7*n + 124 = 467. Let p = -54 + n. Is -5 bigger than p?
False
Let y(v) = -3*v + 21. Let p be y(-6). Let i be (-19)/p - 3/(-9). Let x = -0.23 + -0.17. Which is greater: x or i?
i
Let l = 0.62 - 65.62. Let r = l + 64.93. Which is greater: r or 0.3?
0.3
Suppose 0 = -z + 3*y - 5, -z + 0 = -4*y + 6. Let u be (3 + z)*(3 - -21). Let c = -110 - -134. Is u bigger than c?
False
Let z(t) = 57*t + 58. Let c be z(3). Are 230 and c nonequal?
True
Let g = 41 - 21. Let q = -11.8 + -8. Let p = g + q. Is 1/9 bigger than p?
False
Let o = -7 + 11. Suppose z = -0*z + o. Suppose j - 5*j = z*x, -5 = 3*j + 4*x. Is 5 != j?
False
Let p be 4/6*(0 - 1/(-3)). Let m = -1.8 + 1.98. Let a = m + 0.02. Which is greater: a or p?
p
Suppose -l - 3*l = -12. Which is greater: 2 or l?
l
Let f = -14 + 18. Let w be ((-4)/(-6))/(f/72). Suppose w*v - 8 = 8*v. Is 0 greater than or equal to v?
False
Let i be 628968/511 + (-2)/14*-1. Is i greater than 1231?
False
Suppose 7*j - 66 = -4*j. Let z be (112/(-126))/(2/(-12)). Is z > j?
False
Let x be 70/(-36) - 1/(-6). Let b(h) = 6*h + 88. Let u be b(-15). Which is bigger: u or x?
x
Let s(u) = u**3 - 5*u**2 - 6*u. Let h be s(6). Let f = h + 0. Let y = 74/17 - 290/51. Which is bigger: f or y?
f
Let t(n) = 3*n**2 - 28*n + 15. Let o be t(-7). Which is bigger: o or 357?
o
Let f = 483 - 484. Is f != -1/66?
True
Suppose j - 4*w - 124 = -3*j, -5*j + 137 = w. Let s = 27 - j. Which is bigger: 1/6 or s?
1/6
Let z = 2015 - 2015.9. Does 1/4 = z?
False
Let u = 3/176 - 1681/528. Suppose 3*k = 3*r, 0*k = 2*k + 4*r + 12. Is u not equal to k?
True
Let v = -5/1211 - 897/369355. Which is bigger: -1 or v?
v
Let t(h) = -3*h + 20. Let y be t(5). Suppose -4*c - 2*m = m + 5, 16 = c - y*m. Is 6/11 at least c?
False
Suppose -132 = 4*a - 0*a. Let b = 34 + a. Let r = -196 - -986/5. Which is bigger: r or b?
r
Let q be -6 + 9 + 21/(-13). Let o be -5*4*(-4)/40. Which is smaller: o or q?
q
Let n be (36/(-8))/(-1)*(-3)/(-36). Let l = -1 + 0.9. Which is smaller: l or n?
l
Let b be (2/(-8))/((-4)/80). Let j = b - -5. Let k be 4/(-6)*(13 - 16). Are j and k equal?
False
Let u be -3 + (-2712)/18 - 20/(-4). Are u and -148 equal?
False
Suppose -3*f + o + 6 - 3 = 0, -5*f + 16 = 2*o. Suppose 0 = -f*s + 5*s - 15. Suppose 25 = 5*x + 5*p, -4*x + 5*p = p - 4. Which is smaller: s or x?
x
Suppose -32*y = -37*y + 1370. Is y less than 0?
False
Let w be -1*3/3 + -164 + 1. Which is greater: w or -163?
-163
Suppose 12*y = 14*y + 6. Let c be ((-4)/14)/(26/(-91)). Let f(z) = -3*z. Let k be f(c). Is y >= k?
True
Let u = -1 + 3. Let v be (-9 - -11)/(u/16). Is 16 equal to v?
True
Suppose 4 = 2*o - x + 2, 4*o = -2*x - 4. Let u = 12 - o. Which is bigger: u or 10?
u
Suppose -15 = 3*h - 0*h. Let k = h + 5. Let u be (-1 - 0)*4/(-28). Which is bigger: k or u?
u
Let i = -2541 - -2541. Are i and -562 unequal?
True
Suppose n - d - 6 = 0, 3*d = n - 2*d - 26. Do n and 2/661 have different values?
True
Let c = 34700 + -34705. Let a = -3 + -23. Let g be 1/(a/(-14) - 2). Which is greater: c or g?
c
Suppose -30*z + 119*z = 89. Is z equal to 2/659?
False
Let g = 3.66 + -3.7. Is 4 bigger than g?
True
Let y be 7/((-14)/(-16)) - 3. Suppose 0 = -y*f + 76 - 186. Is f greater than or equal to -22?
True
Let k = 2917.984 + -2918. Is k != 3/13?
True
Let u = -17 - -16.93. Let d = -36 + 36.43. Let q = u - d. Is q < -1?
False
Let o be (0 - (-2858)/(-28)) + -4. Let j = 106 + o. Is j less than or equal to -1?
False
Suppose -2*o - 2*o + 311 = -z, 151 = 2*o - 5*z. Let s = -79 + o. Is 2/179 bigger than s?
True
Let l = -102 - -108. Let b be (-2 - 4) + 30/l. Is b <= 1/11?
True
Let g be 22755/540 - (-9)/12. Is g less than or equal to 43?
True
Let g = -3 + 2. Suppose 0 = -a + 4*a - 180. Let f = a - 65. Is g less than f?
False
Let c be 2 - (6/(-2) + 1205/245). Which is bigger: 0 or c?
c
Let k = 0.35 - -0.05. Let h = k - 0.2. Let p = 5591 + -5584. Is p not equal to h?
True
Suppose -2*r + 8 = 2*i - r, -4*i = r - 12. Suppose 0*p - p + h = 6, 2*p + 4*h = -42. Let a = 13 + p. Is i at least as big as a?
True
Suppose -4*j + 5*j + 85 = 2*t, 4*t = 3*j + 255. Is j at least -88?
True
Suppose 3*n - 4*d - 40 = -n, 5*d = -5*n + 70. Let t = 32 - n. Suppose -36 = -2*x + 4*r, 0*r + 5*r - 5 = 0. Is x != t?
False
Let p = -2072019 + 55953260/27. Let f = p - 324. Which is bigger: f or 1?
1
Let u(b) = 22*b - 24. Let v be u(6). Let j = -27 + v. Is j less than 82?
True
Let z = -122 + 143. Is 21 at most as big as z?
True
Suppose -75 = -32*z + 35*z. Let m be (-76)/30 + ((-105)/z - 4). Let r be 0 - ((-2)/(-2) - 0). Which is smaller: m or r?
m
Suppose 13*y - 7*y = -6. Which is smaller: -2/3 or y?
y
Let j(z) = -2*z**2 - 38*z + 242. Let a be j(-24). Which is smaller: a or 124?
a
Let w = -63 - -36. Let c = -27.05 - w. Are c and 0.2 unequal?
True
Suppose -2*n - 49 = 5. Let f = n - -33. Are f and 6 nonequal?
False
Let u = -8.57 + 5. Let f = -0.43 + u. Which is smaller: f or -1/9?
f
Suppose 0 = -4*h + 3 + 17. Suppose -5*u = 2*s - 7*s - h, -s = 5*u + 1. Let o be ((-2)/(-78))/((-1)/(-3)). Which is smaller: u or o?
u
Suppose -2*x + 4 = 0, 29 = -3*c - 3*x + 7*x. Let q be ((-12)/(-4))/((-1)/c). Is q at least as big as 21?
True
Let p = -6 + 20. Suppose -50*k + 203 = 953. Let z = k + p. Which is greater: z or -1/4?
-1/4
Let n(u) = 5*u**3 - u. Suppose 4*p + 12 = -4*q, -20 = 2*p + 3*p. Let t be n(q). Suppose 2*r - t*r = 6. Is r at most -3?
True
Let i = -859.17 + 875. Let j = i + -16. Let o = j - 0.83. Which is bigger: 5 or o?
5
Let w(c) be the first derivative of -c**2/2 + 2*c + 4. Let a be w(-5). Let k(h) = 2*h. Let y be k(a). Which is smaller: -1 or y?
-1
Let g be 2 + 48/(-20) - (-2)/5. Suppose g = -2*a + 6*a. Which is greater: a or 2/39?
2/39
Let u be (72/(-252))/((-6)/(-7) + -1). Is 35/8 less than u?
False
Let n be (15*(-60)/45)/(4/(-14)). Suppose g + 35 = 5*b - 12, -4*b + 3*g = -31. Let c be b/n*(1 + -13). Is -2 >= c?
False
Let l = 499/303 + -5/3. Which is greater: -1 or l?
l
Let t = -1 - -2. Let b(v) = -11*v**3 + v**2 + v + 1. Let n be b(-3). Let d = n - 4861/16. Is d less than t?
True
Suppose 0 = -119*a + 125*a + 90. Is -14 bigger than a?
True
Let o = -1080 + 375. Does -706 = o?
False
Let j = -139/6 - -505/24. Let l = j + 19/24. Let z(t) = t**2 + 61*t - 63. Let f be z(1). Is f equal to l?
False
Suppose -3*b + 4 = 13. Let i be 3/(b/4) + 0. Is -8 at least as big as i