hich is smaller: -9/97 or a?
-9/97
Suppose 101 = -11*d - 20. Let s(y) = 2*y**3 + 23*y**2 + 16*y + 14. Let n be s(d). Is -83/2 != n?
True
Let y = 17/21 + -1/7. Suppose n - 9 = -2*n + 3*x, -4*n = 4*x - 4. Which is smaller: y or n?
y
Let y = -620 - -621. Which is smaller: y or 52/35?
y
Let w be 4 + -7 + (-4)/(-2). Let h be ((w + 1)*-1)/(-2). Suppose -f + 1 + 4 = -3*x, h = 5*x + 5. Is 1/2 not equal to f?
True
Let n be (1 + 1)/((-4)/(-20)). Which is smaller: n or 13?
n
Let g(c) = -124*c - 57. Let l be g(-2). Which is smaller: 192 or l?
l
Suppose -3*q = -4*p - 4, 0*q - q - 2 = -2*p. Suppose -n + 24 = -0*n. Suppose m - 2*z + 4 = 10, -n = -4*m - 4*z. Is q less than or equal to m?
False
Let c = -115 - -109.1. Let m = c + 4.9. Is -0.1 >= m?
True
Let q(g) = g**3 - 15*g**2 - 15*g - 11. Let k be q(16). Suppose 6*t + 1 = -k. Is t smaller than -3/5?
True
Let u = -63 - -14. Let q = -295/6 - u. Let k = 53/2 - 27. Which is smaller: k or q?
k
Let x = 34 - 30. Let d = x - 7. Which is greater: 0 or d?
0
Suppose -10*m + 56 = -8*m. Let u = -26 + m. Let a be (-2)/(-9) + 16/90. Is u bigger than a?
True
Suppose 5*k - 4 = -2*u + 24, -2*u = -2*k. Suppose -2*l + 5 = 3*z, -k*l = l + 5*z. Let m = -18 + 12. Which is smaller: m or l?
m
Let m = 0.11 - 2.41. Let f = m - -1.3. Which is greater: f or -2/9?
-2/9
Let t be 4*(-3)/(-20)*-3. Let x = -16 + 15.9. Are t and x non-equal?
True
Let m be (-1206)/(-36) + 6/4. Let n = m + -31. Is n != 6?
True
Let j be ((-9)/6)/((-4)/(-48)). Let w = j + 27. Which is greater: w or 6?
w
Suppose 3*x + 4*n + 13 = -60, 5*n = -x - 39. Is -20 at least x?
False
Let j(c) = -c**3 - c**2 - c - 1. Let k be j(-2). Suppose k*w = -s, 2*s - w - 17 = -6. Let v be 1/s*5/2. Which is bigger: v or -11?
v
Let m = 108 + -104. Suppose 4*b + m*j = 172, 5*b + 0*b - 207 = -j. Is 43 greater than or equal to b?
True
Let l(o) = 5*o**3 - 2*o**2 + 3*o - 2. Let r(w) = -w. Suppose 4*p + 0*t = -4*t - 16, 0 = 2*t + 6. Let g be r(p). Let s be l(g). Is 5 greater than s?
True
Suppose -7*q + 93 - 30 = 0. Let s(x) = -x**3 + 7*x**2 + 14*x + 22. Let m be s(q). Is -14 at most m?
True
Let z(c) = -12*c - 5. Let r be z(-3). Let g = r + -31. Which is smaller: 2/13 or g?
g
Suppose -5*j + 1095 = -5*g + 1120, 3*j - 4*g + 13 = 0. Let q(o) = 2*o - 11. Let u be q(8). Let c(l) = -l - 3. Let k be c(u). Which is bigger: j or k?
j
Let t = -11 + 34/3. Let n = -6.2 - 4.8. Does t = n?
False
Let l(j) = -j + 13. Let u be l(10). Suppose 5*p + u + 2 = 0. Does p = 2/95?
False
Let r = -0.338 - -0.338. Is r at most as big as 0.08?
True
Suppose u + 1367 = -3*g + 3596, 0 = -3*u. Is g at least as big as 743?
True
Suppose 3*l = -2*b + 3637, -5*b + 1841 = -4*l + 6652. Let f = l - 62871/52. Is f less than 0?
True
Let f = 7065/7 + -1009. Which is smaller: 142 or f?
f
Let x be 1*(4 - (-15)/(-3)). Let g be 24/15 + (-6)/10. Let r be (g*-1)/((-99)/44). Is x <= r?
True
Let l = -50.683 - 0.317. Which is bigger: 1/2 or l?
1/2
Let h be (-7 - -11)/8*-10. Which is smaller: -3 or h?
h
Let m be (1/(-10))/((-54)/(-460104)). Let f = 852 + m. Is 0 greater than f?
True
Let l be (-1)/((-50)/20*3/60). Let w be (0 - 4)/(1/(-2)). Is w smaller than l?
False
Suppose 9*v + 80 = 13*v. Suppose 4*n - 1 + 0 = -t, -5*n - 4 = -4*t. Suppose p + 5*k - 25 = -1, -4*k + v = n. Is p smaller than 0.5?
True
Let j be 0 - 11 - (-52136)/4900. Is 0 smaller than j?
False
Let a = 66 - 61. Let o(n) = -n**3 + 7*n**2 + 2*n - 10. Let i(t) = -t**3 - 7*t**2 - 2*t - 7. Let y be i(-7). Let l be o(y). Which is smaller: l or a?
l
Let m = -3.67 - -2.2. Which is smaller: m or -1?
m
Let b(t) = -4*t + 21. Let c be b(12). Let r = 28 + c. Which is greater: r or -8/19?
r
Let n(t) = -t**3 - 3*t**2 + 8*t - 3. Let i be n(-5). Suppose i*x = -7 - 0. Is x != 1/10?
True
Let v be ((-20)/84*-13 + -3)/(-2). Let u = -331/3 + 110. Is v <= u?
False
Let r = -171 + 169. Is r > -66?
True
Suppose -i - i = 3*i. Suppose -b - 11 + 15 = i. Let x = 13 + -9. Are x and b nonequal?
False
Let j(l) = -43*l + 44. Let p be j(1). Is -2.37 at least as big as p?
False
Let r be (5 - 175/20)*(-10)/3725. Is r greater than or equal to 0?
True
Let x be 45/63 - 6273/(-126). Is x <= 51?
True
Let c be ((-12)/(-192))/(1/(-2)). Which is smaller: c or 1?
c
Let w = 3 + 19. Let t = w + -20. Suppose x + x + 4*z - 16 = 0, z - 10 = -t*x. Which is bigger: x or 6?
6
Let a(d) = -d**3 - d**2 + 3*d + 2. Let i = 27 - 29. Let o be a(i). Which is bigger: -2 or o?
o
Let b = 11.4 + -35.4. Do b and 0.1 have the same value?
False
Let p = -123 + 122.762. Let j = -0.028 - p. Let s = 0.01 - j. Which is bigger: -0.11 or s?
-0.11
Let z be (-98)/(-21)*(10/(-4) + 1). Let h = 7 + z. Do h and -2/69 have the same value?
False
Suppose 5*i + 0*b - 8 = 2*b, i + 4*b = 6. Suppose -2*g = 4*t + 774, -3*t - 1 = -16. Let s = g - -1599/4. Which is bigger: s or i?
s
Let n(a) = -6*a**2 - 37*a - 6. Let m be n(-6). Do 1/3082 and m have different values?
True
Let q be (-2)/(-4) - (-17226)/(-108). Is q at most -159?
True
Let o be (0 - -3)/(4293/318). Is 630 at most o?
False
Let i = 828 - 832. Which is bigger: i or 6?
6
Let l = 776/7065 + 1/785. Are l and -0.1 non-equal?
True
Let h = 54131 + -5629763/104. Let x = h - -7/8. Do x and 2 have the same value?
False
Let t be 10/(-4)*(-927)/(-135). Let b = 27/2 + t. Which is bigger: -3 or b?
-3
Let b = -32.5 - -30.3. Which is smaller: b or 0.01?
b
Let f(p) be the first derivative of 3*p**2/2 - 3*p + 2. Let n(d) = -4*d + 4. Let z(u) = 3*f(u) + 2*n(u). Let y be z(2). Is 2 at least as big as y?
True
Let c(h) = -h**2 + 6*h - 16. Let g be c(9). Which is greater: -42 or g?
-42
Let h be -166*(-5 - -9)*(-4)/(-32). Is -83 at least h?
True
Let j = -0.32 - -0.17. Let l = j - -0.25. Let s be -1 + 1 + 9 + -11. Which is smaller: s or l?
s
Let c be (-5)/6 - (-8)/24. Is 2.3 <= c?
False
Let o(a) = 6*a - 33. Let s be o(8). Which is smaller: s or 9?
9
Suppose 4*o - 1428 = -2*j, -4*o + 3*j - 6*j = -1428. Let c = -3923/11 + o. Which is smaller: c or 1?
c
Suppose 0 = -38*d + 50*d + 336. Which is greater: -29 or d?
d
Let r = -0.06 - -1.56. Which is smaller: 1/2 or r?
1/2
Let n be (-10)/(-15) + ((-232)/84 - -2). Is 0.04 at most as big as n?
False
Let o = -0.234 + 0.134. Let y = 0.3 - -2.3. Let f = y - -0.4. Which is smaller: f or o?
o
Suppose -49 - 1 = -5*s. Suppose 6*p + 4*p = -s. Which is greater: -1/9 or p?
-1/9
Let y be (-151)/(-2)*(8 + -4). Let k = y - 174. Let h = -642/5 + k. Which is smaller: 3/7 or h?
h
Let y be (15/10)/((-9)/6). Let i = 8 - 3. Suppose -5*v - 3*n = 14, -7 = -3*v + i*n + 5. Are y and v non-equal?
False
Suppose -17 = 3*o - 5. Let c = 39 + -36. Let d be ((-8)/c)/(4/6). Is d >= o?
True
Let h = 2.72 - 0.12. Let r = h - 2.2. Let w = 123/4 - 31. Which is smaller: w or r?
w
Let q(d) = d + 10. Let a be q(-12). Let f be 2*(a + 4 - 1). Let u be 21/11 + f + -3. Does 2 = u?
False
Let y = 65 + -76.2. Which is greater: -1/3 or y?
-1/3
Let h(y) = y**2 + 5*y + 2. Let v be h(-3). Let r be (-12)/9*6/v. Suppose -r = 2*z - 0*z. Are 1/7 and z non-equal?
True
Let u(a) = -2*a**2 + 30*a + 193. Let h be u(-5). Let t(o) = o**2 + 6*o + 2. Let x be t(-5). Is x at most as big as h?
False
Let l = -150 - -154. Suppose -41*j + l = -42*j. Which is bigger: -17/5 or j?
-17/5
Suppose d - 448 = -5*l, 0 = -2*l + 3*d + 64 + 122. Let s be (l/(-425))/((-3)/(-15)). Which is smaller: -1 or s?
s
Suppose 3*d = 15 + 3. Let o be (-5)/(-15) + 52/d. Let v be 1/((9/(-10))/(-9)). Is v at least o?
True
Let p be ((-3)/9)/(13/(-3)). Suppose 2*y = -y + 2*w - 6, 3*w = 0. Let r be (-12 + 3)/(-3) + y. Which is bigger: r or p?
r
Let s = 961 - 954. Let u = -2 - -11. Is u bigger than s?
True
Let t(v) = -v**2 - 4*v - 2. Let k be t(-3). Suppose -4*q = q + 20. Let m = k - q. Does 3 = m?
False
Let c(y) = y + 3. Let j be c(-3). Let a(z) = 3*z - 4*z - 878 + 879. Let f be a(j). Which is smaller: 1/6 or f?
1/6
Let c(k) = k**2 + k - 2. Let j be c(2). Suppose -5*m - j*y - 13 = 0, -3*m + 3*y - 27 = -y. Which is bigger: -4 or m?
-4
Let r = -2629684 - -70993204/27. Let w = 306 + r. Is -1 at most as big as w?
True
Let y(q) = -q + 18. Let f be y(15). Suppose 4*s = w + 8 + 6, -f*w + 2*s - 12 = 0. Let n = 4 - 3. Which is smaller: w or n?
w
Let q = 100/153 - 30/17. Let c(b) = -b - 5. Let a be c(-5). Which is smaller: q or a?
q
Let x be (6/(-6758) - 0)/(303/(-202)). Is x >= 0?
True
Suppose -q