464. Which is greater: k or -26?
k
Let l be (-5 - 24/1)/(-1). Is l at most 207/7?
True
Let n = -11.22 + -194.78. Which is smaller: -1 or n?
n
Suppose 0*t + 36 = 2*t. Let n be (t/(-18))/((-3)/(-109)). Let v = -36 - n. Is 0.1 at least v?
False
Let p = 8 + -6. Let n(o) = 3*o - 28. Let m be n(8). Is p >= m?
True
Let v(j) = -2*j - 14. Let p be v(-11). Let a be (8/36)/((-6)/18). Is p less than a?
False
Let z = 26.72 - 26.2. Which is bigger: z or 6?
6
Let y = -208 + 207. Which is bigger: y or 1/415?
1/415
Suppose 1228 = -5*i - 87. Is i at least as big as -264?
True
Let p(o) = -11*o + 15. Let d(g) = -7*g + 10. Let i(k) = -8*d(k) + 5*p(k). Let b be i(3). Let x = 0.6 + -0.1. Is x not equal to b?
True
Let k = -26 + 31. Suppose g = -4*c + 17, k*c + 2*g - 24 = -2*g. Which is bigger: 11/4 or c?
c
Let b be (-21387)/4277 - (-2 + 42/(-14)). Which is greater: b or -1?
b
Let a(k) = 6*k + 32. Let z be a(-5). Suppose -l = -z*x + l + 2, 3*l + 18 = -2*x. Let s = -409/189 - 11/27. Is x <= s?
True
Suppose -37 = 40*p + 3. Is p at least -11/97?
False
Let p = -58547891/48545950 + 87/130150. Let l = 2/373 + p. Suppose 0 = 7*o - 3*o + 8. Is o smaller than l?
True
Let f(h) = -2*h**3 + h**2 + h. Let c be f(-1). Suppose 0 = -c*q - 2*d - 10, -2*d = q + 4 + 4. Is -2 at least q?
True
Let u be ((-4)/(-12))/(2/18). Suppose -x = 5*k + 76, 4*k - 2*x = u*x - 55. Let h = 15 + k. Is -1 at most h?
True
Let d be (0 - 2)*(5 + -2). Let g = 344 + -337. Let r be (-2)/d + g/(-15). Is r greater than -1?
True
Suppose 16*c - 12*c = 184. Let o = c - 45. Are o and -3/20 equal?
False
Let q(h) = 5*h - 25. Let b be q(6). Let t be 410/(-5) - (2 + 0 - b). Which is smaller: t or -78?
t
Suppose 4*h = 5473 - 5477. Which is bigger: h or -2/3071?
-2/3071
Let l = 5 + -3. Suppose 7*q - 6*q = -4*g + 18, -5*g = -25. Which is smaller: q or l?
q
Let u = 16 + -12. Suppose 5*g + 2*f + 1 = 0, u*f + 1 = -3*g + 6. Which is greater: g or -2/61?
-2/61
Let x(o) = -2*o - 4. Let h be x(-7). Let j = 8 - h. Let v be (-4)/(-24)*(-10)/j. Which is smaller: v or 0?
0
Let o = -1964 + 1974. Is o at most 55?
True
Let x be (9/((-36)/16))/(424/(-96)). Is 2 <= x?
False
Suppose 6 = -3*o + 4*o. Let s be 25*1*3/5. Let t(c) = c**2 - 14*c - 7. Let d be t(s). Do o and d have different values?
True
Let c be (4 - 5) + 7/14. Is 9 at most as big as c?
False
Let k(y) = 2*y**3 - 6 + 9*y + 7 + 10 - 3*y**3 + 10*y**2. Let r be k(11). Is -14 equal to r?
False
Let i be 161/(-793) + (-6)/(-39). Let b = -162/427 + i. Let x = b + 1/35. Which is smaller: -2/7 or x?
x
Let m be (-2)/((-2)/(-20)*4). Let h be (-36)/15 - 2/m. Let g = -46 + 46. Which is bigger: h or g?
g
Let h be -1*-1*(-1)/21. Let k be 8/(2240/45) + (-5)/(-40). Are h and k equal?
False
Let t(q) = q**2 + 15*q + 2. Let o be t(-16). Let l = o + -4. Which is smaller: l or 15?
l
Let t = -761/7771 + -3/409. Suppose 3*a - 3*q - 29 - 19 = 0, 0 = 3*a + 4*q - 48. Suppose -18 + a = -2*i. Is i at least t?
True
Let v be (10/35)/(4/(-20) + 24/70). Suppose 16 = 2*c - 2. Which is smaller: v or c?
v
Let c = 0.18 + 12.82. Let z = -236.94 + 4.94. Let p = -231.9 - z. Is c at least p?
True
Let g = 188/87 + -24/29. Let r be ((-7)/((-175)/15))/(6/20). Is g at least r?
False
Let r(v) = v**3 - 14*v**2 + v - 9. Let a be r(14). Suppose 0 = -a*f - 0*f. Are f and -2/57 equal?
False
Suppose 2*x - 14 = -2*r + x, 0 = 2*r - 5*x - 2. Suppose 0 = -5*q + 5*n + 5, 5*q + 3*n = -r - 5. Is q != 6/17?
True
Suppose 3 = 4*s - 3*s. Suppose m - 5 = 0, -j + s = 4*m - 15. Let t = -11 + 11. Are t and j non-equal?
True
Let k = -128 - -77. Let g be (2 - 7/3)*k/17. Which is smaller: -2/15 or g?
-2/15
Let v = 19.8 - 19.6. Which is smaller: v or -0.9?
-0.9
Let n(o) = -2*o - 4. Let g be n(-6). Let y be 153/(-45) - -12 - (1 + 0). Are y and g non-equal?
True
Let b(g) = -g**3 - 18*g**2 - 7*g + 38. Let h be b(-17). Is -134 less than h?
True
Suppose 4*a + 16 = 2*p, 5*p + 0*a = 5*a + 15. Let z be p - (-1 - (2 + -4)). Let c = 6609 - 6613. Is c at least z?
False
Let y be -1 + 0 + 1/1. Let s be (-1 + 1)/(y + -1). Let a = 545/4 + -1651/12. Which is smaller: s or a?
a
Let t = -22 - -24. Suppose l - t = -0*l. Let m(s) = s**2 - 2*s. Let q be m(l). Is q smaller than 3?
True
Let x = -4 - -6. Suppose 8*v - 3*v = k + 33, x*v - 42 = 2*k. Is k bigger than -17?
False
Suppose -40 = -p - 9*p. Suppose 4*w = p, -q - 2 = -5*q - 2*w. Is q greater than or equal to -2/53?
True
Let k(h) = 4*h - 14. Let r(t) = -7*t + 27. Let n(i) = -5*k(i) - 3*r(i). Let z be n(-5). Is z at least -16?
True
Let q = 15 - 6. Let a = -7 - -7.28. Let u = -1.28 + a. Is u not equal to q?
True
Let k be (-308)/884 - 24/(-204). Which is smaller: -5 or k?
-5
Let k(c) be the first derivative of -c**4/4 - c**3 - c**2/2 - c - 2. Let l be k(-3). Suppose -2*t = -0*o - l*o - 10, 8 = 2*t - 3*o. Are -1 and t unequal?
True
Let r = 363 - 363.052. Is r <= 0.06?
True
Let r = -11.3 - -11.389. Let a = r + -0.109. Which is greater: -2 or a?
a
Let n(g) = g**3 + 6*g**2 + 7*g - 5. Let w be n(-4). Let i = -10 + w. Let r be 2/(-3) + (-1)/3. Which is bigger: i or r?
r
Let a = 429/5222 + -4/373. Let j = 0 + 0.1. Which is bigger: j or a?
j
Let h(s) = -s + 6. Let l be h(3). Suppose 5*p - 1 = 2*i, i = p - 3 + 4. Do i and l have the same value?
False
Let g be -4 + 9/(9/3). Let m be (g - -5)/((-2)/(-4)). Suppose 0 = 4*y - 2*q - 56, -5*q - 4 = -2*y + m. Which is smaller: y or 17?
y
Let l = -110.9 + 111. Which is bigger: -0.2 or l?
l
Let n be ((-1)/(-2))/(-5*27/2). Let p = 152/2295 + n. Which is smaller: 1 or p?
p
Let d = -31 - -247/8. Suppose 13*q + 12*q = 20*q. Is d <= q?
True
Let l be 16/40 + 13/5. Suppose -t + l*t - 6 = 0. Suppose 4*x = -6*k + 2*k, -14 = -3*k + 4*x. Does t = k?
False
Suppose 11*v - 4*j = 13*v + 20, 0 = -v + 5*j + 11. Let d = -4475/88 + 525/11. Which is smaller: d or v?
v
Suppose -198*w - 3108 = -191*w. Which is smaller: w or -445?
-445
Let l be -1 - (-1 + ((-9)/(-4))/9). Is l bigger than -1.4?
True
Suppose -13*o + 10*o = -3*b + 171, -3*b + 131 = 5*o. Which is smaller: 53 or b?
b
Suppose 171 = 4*x - 5. Let z be (-249)/(-6) + 0 + 1. Let t = z - x. Which is bigger: t or 0.1?
0.1
Suppose 4*g - 1376 = -0*g. Let n be 2/(-7) + g/28. Suppose -n = 5*c + 18. Which is greater: -5 or c?
-5
Suppose -212 - 649 = -21*x. Is 45 at most as big as x?
False
Let t be (-20 - -17) + (0 - -13). Let o be t/(-15) - 184/(-6). Let q = o - 26. Which is smaller: q or -0.3?
-0.3
Let s(d) = 3*d**3 - d**2 - 3*d + 4. Let c be s(1). Let y(k) = -7*k - 1. Let h be y(1). Let o be (10/h)/(3/(-8)). Which is smaller: o or c?
c
Suppose -2*v + 794 = 2*v - c, -2*c + 590 = 3*v. Let z be (-2)/(-11) - (-96)/v. Which is bigger: z or -3?
z
Let i = -16292/21 - -776. Which is bigger: i or -1?
i
Suppose 5*a = 2*y + 13, -5*a = -3*y - 2*y - 10. Let j be ((-3)/(-2))/((-1)/(-10)). Suppose -3*m + j = -0*m. Is m less than a?
False
Suppose 3*i + 9 = 0, 0*i + 3 = 3*v - 2*i. Which is bigger: 2/2015 or v?
2/2015
Suppose 6*m - 143 = 157. Let s = m - 49. Is s greater than -14?
True
Suppose -t = 2 - 0. Suppose 10 = 2*n - 2*x, n - 6 = -4*x + 4. Let l be (3/(-36))/(n/(-16)*-1). Which is greater: t or l?
l
Let z = -2.1 + 2.6. Let k = z + -1.9. Let d = -1.3 - k. Which is smaller: d or -29?
-29
Let b = -13 + 12. Let y be 181/52 - b/(-4). Let t = -248/117 + y. Is 2 at most t?
False
Suppose 73 = -b + 154. Is 83 >= b?
True
Let x = -83015/67 - -1239. Suppose 5 = n, 5*i - 3*n - 15 = 50. Let g be 8/i*(0 + -2). Is x less than or equal to g?
False
Suppose h - 3*n - 177 = -2*h, -3*h + 175 = -5*n. Let j be 31/(-35) - (-36)/h. Which is smaller: j or 2/3?
j
Let w = 805.8 - 806. Is w > -13/8?
True
Let t be (7/2436)/((-1)/(-3)). Which is bigger: 0 or t?
t
Suppose -8*x - 40 = -3*x. Suppose f + 10 = -t + 2*t, 3*f = -5*t + 34. Let w = t + x. Which is bigger: w or 2/133?
2/133
Suppose -13*b - 51 - 1 = 0. Which is bigger: -2 or b?
-2
Suppose 0 = -9*l + 988 + 3863. Which is greater: 542 or l?
542
Let z = -5/14 - -6/7. Which is smaller: z or 401?
z
Let s = -179775 - -5393969/30. Let w = s + -124/5. Are w and -1 unequal?
True
Let h = -33 - -20. Let v(m) = -3*m - 19. Let d be v(h). Let k = 25 - d. Is k greater than 5?
False
Suppose 0 = 5*t + 5 + 25. Let p be -1 - 3/t*2. Let o = 1213 + -13353/11. Are p and o equal?
False
Let t(c) = -c**3 + 3*c**2 + 80*c - 9. Let f be t(-8). Which is smaller: 48 or f