8 + -13. Suppose -29 + n = -2*x. Let b be x/16 + 62/(-8). Are -2 and b non-equal?
True
Let g = 25.586 - -0.114. Which is smaller: g or 1?
1
Let p = 13.95 - 7. Let g = 0.05 + p. Let i = -8 + g. Which is bigger: i or 5?
5
Let f = 2.93 - 23.83. Let c = f + 20. Let i = -2.1 + c. Which is smaller: i or 2/5?
i
Let i(c) = 2*c + 22. Let g be i(-9). Suppose 5*y + p = 2*y + 10, -5*y - g*p + 12 = 0. Let b be (-2)/(-8) + (-13)/y. Which is bigger: -2 or b?
-2
Let q be (-6)/4*12/(-9). Suppose -q*k = 2*k - i - 54, 5*k - i = 68. Suppose 19*d + 15 = k*d. Which is smaller: d or -4?
-4
Let u = -10/7 - -37/21. Let z = -52.7 + 9.7. Let y = z - -39. Which is smaller: y or u?
y
Let h be 0 - -6 - (8 + -7). Suppose -h*l + 1121 = -4*f, -1101 = 4*f + l - 2*l. Let p = 10688/39 + f. Is p at least as big as 1?
False
Let r = -129 - -121. Which is greater: r or -5?
-5
Let p = -69.948 - 0.052. Let d = -70.2 - p. Which is greater: 0 or d?
0
Let g = -77 - -55. Let v = 26 + g. Which is greater: -1/5 or v?
v
Suppose 5*n = 3*b + 2 + 2, -b - 5*n + 12 = 0. Suppose -2*p + 3*a = -11 - 8, -b*p + 1 = 3*a. Let s = 156 + -155. Are s and p equal?
False
Let i = -14 + 11. Let q be 5 + (1 - (7 + i)). Suppose r - 4*r + 9 = -q*w, -5*w - 4*r + 12 = 0. Is w greater than -1/8?
True
Let m = -51 + 51. Let v = -3 - 2. Does m = v?
False
Suppose 4*q = 14 + 22. Suppose 5*c - 4*c - 337 = -4*t, 3*t - 256 = -4*c. Let i be t/10 - 6/15. Which is greater: q or i?
q
Let j = -2.12 - -1.85. Let a = -0.35 - -0.15. Is a greater than or equal to j?
True
Suppose -3*w - 5 = -8*w. Are 2/153 and w unequal?
True
Let s be 391/5 + 336/(-420). Are 76 and s equal?
False
Let b be ((-2)/14)/((-7)/637). Which is smaller: b or 12?
12
Suppose 0 = 5*i + 3*o - 8*o, -5 = -5*o. Let f(p) = -p**2 - 10*p - 2. Let g be f(-10). Let k be (-4)/g + 25/(-15). Is k greater than or equal to i?
False
Let f be (-16)/(-40) + 154/715. Let p be 1/(1 + (-4 - -2)). Let s be (0/3 + 0)/p. Which is smaller: s or f?
s
Let n = 2/1009 - -827/91819. Is n at most as big as 0?
False
Let j be 4*(1 - 8/7). Let p = -1617 + 1616. Does j = p?
False
Let u = 194 - 193.9. Is u >= 3/25?
False
Let g = 776.6 + -649.58. Let x = -127 + g. Which is smaller: 0 or x?
0
Suppose 271 + 79 = -14*t. Which is greater: -145/6 or t?
-145/6
Suppose 9*m = -53 + 44. Which is smaller: m or 29?
m
Let t = -593 - -1330. Is 736 at least t?
False
Let g be 99*(12 - (-185)/(-15)). Which is smaller: 0.03 or g?
g
Let m(i) = -2*i**2 - 8*i - 5. Let g be m(-3). Let y be 2*(-66)/(-320) + (-4)/10. Which is bigger: y or g?
g
Suppose -n = 2*n. Let y = 10918 + -10862. Which is greater: y or n?
y
Let g = -206 + 255. Which is greater: 50 or g?
50
Let l = -1460 - -1449. Which is smaller: 4.7 or l?
l
Suppose -r + 6 = 6. Let p = 5 + -5. Is r at most p?
True
Let p = 58 - 96. Let l = p - -37. Is l smaller than -0.6?
True
Let h = 1977 + -1366. Let g be (h/(-136) - (-2)/17)*-1. Is g less than or equal to 4?
False
Let z = 3057 - 3056.6. Let h be (-32)/(-6) - (-1)/(-3). Which is smaller: h or z?
z
Let z = -30.3 + 29.4. Is z > -8/9?
False
Let t(h) = 2*h**3 - 22*h**2 - 23*h - 14. Let o be t(12). Let u = 0 + -10. Let a be u/8*(-2)/(-20). Which is greater: a or o?
a
Let s(k) be the third derivative of 0 + 0*k + 2/3*k**3 - 8*k**2 - 1/8*k**4 + 1/60*k**5. Let l be s(3). Which is greater: 0.1 or l?
l
Let m = 0.019 - 0.479. Let v = 1330 + -1329.8. Is v > m?
True
Let h(g) = -g + 0 - 2 + 7 + 8. Let v be h(10). Suppose v*k = 4*t - t + 45, t - 4*k + 15 = 0. Which is bigger: -14 or t?
-14
Let r = 694/187 + -60/17. Let o be (9/(-6))/(15/20). Let s = o - -3. Which is smaller: r or s?
r
Let h = -5.3 + 71.3. Let o = h + -66.2. Is o at most -13?
False
Let s = -1.386 + 1.32. Which is bigger: 2 or s?
2
Let m be (-4)/(-14) + 16/42. Let y = 61 - 61. Suppose 3*f + f = -y*f. Which is bigger: m or f?
m
Let v = 31/8 - 353/88. Is -6/13 at least as big as v?
False
Let w be 1/(-4) - (45/(-20) + 0). Suppose -w = -116*o + 117*o. Which is bigger: -20/27 or o?
-20/27
Let b be ((-1)/(-165))/(1491/(-338828)). Let m = -2/3905 + b. Let h = -14/15 - m. Does -1 = h?
False
Suppose 5*w + 62 = 2*a, -31*w + 83 = 3*a - 36*w. Let s = 4 - 18. Let l be (6/(-16))/(a/s). Are l and 1/2 nonequal?
True
Let q = -259 + 259. Which is smaller: -39 or q?
-39
Suppose 2*p = -v + 6*p + 98, -2*p - 322 = -4*v. Which is bigger: v or 77?
v
Let c = -13.7 + 12. Let o be 0*(0 + 4)/16. Which is smaller: o or c?
c
Let t be 608/(-44) + (-8)/44. Let b = t - -11. Is b > -1?
False
Suppose 3*d - 2 = 10. Let t = d - 5. Which is greater: -1/32 or t?
-1/32
Let j(g) = 5*g + 6 + 2 + 3. Let z be j(-2). Which is greater: z or -6/11?
z
Let p = -2449/2196 - -1/244. Suppose 14*q = 26*q - 15*q. Which is bigger: p or q?
q
Let l = 32 - 30. Let j be l/2 + 2 - 20/16. Do 2 and j have the same value?
False
Let v(a) = 3*a**3 - 1. Let u be v(1). Is u less than or equal to 19/15?
False
Let n be 5 - 9 - 84/(-8). Let r(q) = 3*q**2 + 3*q + 2. Let s be r(-2). Which is smaller: s or n?
n
Let j = -1953 + 1952. Is j bigger than -2/2151?
False
Let a = 233859/11 + -21244. Which is bigger: 16 or a?
16
Suppose 224 = -3*k + 11*k. Suppose -3*i - 1 = t + 19, 3*i - t = -k. Is i != -15?
True
Let c = 0.754 - -39.146. Let v = -41 + c. Let n = v + -0.9. Is 5/4 smaller than n?
False
Let j be (10/1)/(9 - -2). Suppose 12*p = 61 - 49. Which is smaller: p or j?
j
Let w be -2*4/(-8)*-2. Let x be (-3)/(2/(-28) + 2). Which is smaller: x or w?
w
Suppose 3*w + 45 - 39 = 0. Let h be 19*(w - (0 - 1)) - -2. Which is smaller: h or -19?
-19
Let b be -3 - ((-15)/(-6))/((-7)/362). Let t = -126 + b. Let y = 5 - 13/2. Is y at most as big as t?
True
Let l(z) = 13*z - 89. Let t be l(-19). Is -336 smaller than t?
False
Let j = 0.1552 - -16.8448. Which is smaller: j or -3?
-3
Let f be (-50)/180*(-8)/10. Do f and -0.7 have the same value?
False
Let c = -107.121 - -0.121. Let k = c - -142. Which is greater: k or 1/3?
k
Let o = 0 + 2/19. Let d = o - -11/76. Which is smaller: d or 1?
d
Let d = 7226/715 + -1/65. Which is smaller: 10 or d?
10
Let s be 88/12 + -7 - 2323/(-69). Suppose -51 = -5*n + 129. Is s less than n?
True
Let r be 852/(-60) - (-1)/5. Let q be (-82)/r - -9*(-6)/18. Which is greater: 2 or q?
q
Let b(z) = 9*z**2 + 4*z + 3. Let t be b(-1). Let s be (-6 + 2 - -1) + (-2)/t. Do -2 and s have the same value?
False
Let b be (0 + -4 - -2) + -2. Let g be 5/(-15) - b/(-6). Which is smaller: -1/13 or g?
g
Let r = -35.68 + 0.68. Let w = 239 + -274.2. Let b = r - w. Which is smaller: -3 or b?
-3
Let j = 20 - 17. Suppose m = j*m - 38. Let q = 2 - m. Do -17 and q have different values?
False
Let m = 53 - 6. Let w = m - 67. Is -19 at least as big as w?
True
Let g = -111 + 148. Let j(u) = u**2 + 5*u + 1. Suppose 51 = -4*x + 3*s, 6*s - 15 = 3*s. Let n be j(x). Are n and g unequal?
False
Suppose 0 = -9*m + 17*m. Which is smaller: m or -7/88?
-7/88
Let f(s) = s**2 + 3*s - 141. Let d be f(10). Suppose -5*r + r = 32. Which is smaller: d or r?
d
Let r be 24/15 + (-4)/(-10). Suppose 2*y + 2*o = 18, 6*o - 40 = -5*y + r*o. Is y equal to 15/4?
False
Let p = -1.712 + 0.712. Which is greater: p or 2/115?
2/115
Suppose -12 = -w - 2*w. Suppose 10 = -w*l + 2*l. Let n be (4/5)/(l/(-10)). Which is smaller: 2 or n?
n
Suppose 4*w + 4*d + 4 = 0, -5*w - d = -6*d + 5. Let c be (48/(-20) + 2)*(-8)/(-12). Is c at most as big as w?
False
Suppose 21*f - 494 = 40*f. Is -24 < f?
False
Suppose -6*j - 14 + 44 = 0. Suppose -j*m + 849 = -541. Let i = 1940/7 - m. Is i bigger than 0?
False
Let l = -20 - -7. Let u(z) = -z**2 + 106*z - 311. Let w be u(3). Which is smaller: l or w?
l
Let y = -0.2 - 21.8. Let l = y + 23.4. Let b = 0.1 - l. Which is smaller: 0.1 or b?
b
Let f be 54/52 - ((-18)/12)/(-1). Which is bigger: f or 3?
3
Let y = 1225 + -1201. Let v be (2 - 6)*9/(-12). Which is bigger: v or y?
y
Let v be 0 - (3 + -3 + -4). Let c(u) be the first derivative of u**4/4 - 2*u**3/3 - 5*u**2/2 - 2*u - 34. Let a be c(v). Is 11 greater than a?
True
Let s = 21 + -39. Suppose -2343*k + 2275*k - 136 = 0. Which is smaller: k or s?
s
Let p(k) = k**3 - 16*k**2 + 13*k - 12. Let c be p(15). Let z = c + 39. Which is smaller: z or -12/7?
z
Let a be 4/16*20/(-5). Let k be -4 - -5 - 0 - a. Let w be 2/(-3)*(-5 + k). Which is smaller: w or -1/2?
-1/2
Let x be -1 + -4 + (14 - -52 - 12). Is 51 greater th