(3/(-3))/((-3)/((-120)/25)). Which is greater: u or p?
p
Let s = -5.9 + -1.1. Which is greater: 2/13 or s?
2/13
Let x(j) = -2*j. Let w be x(0). Which is greater: -6/19 or w?
w
Let v = 1.9 + -2. Let d = -132/61 + 9252/3599. Let x = d + -2/295. Is v smaller than x?
True
Let s(r) = -r - 9. Let c(g) = -g - 8. Let p(m) = -7*c(m) + 6*s(m). Let l be p(0). Suppose 10 = -5*w + 2*d, w - 5*d + 25 = -w. Is w > l?
False
Let v(k) = -6*k + 1. Let w be v(3). Let g be w/(-36) - 2/8. Which is bigger: g or -3?
g
Let n(o) = 4*o**2 + 2*o + 1. Let g be n(-1). Suppose g*c = d + 8, 5*c - 7 - 10 = -2*d. Is d less than 3?
True
Let i(a) = -a**3 + 4*a**2 + 4. Let r be i(4). Let u be (-164)/(-120) - (-2)/r. Let v = -11/5 + u. Is 1 at least as big as v?
True
Let w be 240/36 + (-1)/(-3). Is w greater than 7?
False
Suppose 4*x - 37 = 31. Which is smaller: x or 16?
16
Let z be (103/6)/(2/(-27)). Let r be ((-233)/2)/((-5)/10). Let o = z + r. Is 2 at most as big as o?
False
Let i = -10.7 - -10. Let q = i - -4.7. Which is greater: q or 0?
q
Let k = 218 - 533. Let r be (-50)/k - (-4)/14. Which is smaller: r or 0?
0
Let s be (2/5)/((-72)/60). Is s <= 0?
True
Let p = -1650 + 18090/11. Is -5 bigger than p?
True
Suppose 5*s - 2 = 4*s, -5*s = 5*d - 5. Suppose 0 = -5*m + 8 + 2. Is m smaller than d?
False
Let v = 0.94 - 0.04. Let n = 0.7 + 0.3. Let a = v - n. Which is smaller: a or -2/7?
-2/7
Let r be 2/5 - 43/(-5). Let a = -9 + r. Which is greater: a or 3/5?
3/5
Let i be 136/30*(13 - 3). Let j = i - 45. Let f = 8 - 12. Is j at most f?
False
Let d be 2/2 + 80/(-68). Let z = d - -55/119. Let i = 1 + -1. Is i at least z?
False
Let u = 4 + -8. Let t be u - -5 - (1 - 12). Let b = 7 - t. Are -6 and b nonequal?
True
Suppose -3*k + 9 = -3*m, -4*k - 3*m = -m. Which is greater: k or 5/6?
k
Let a = -36 - -4931/137. Which is smaller: 1 or a?
a
Let t(n) = -n**2 + 3*n - 2. Let q = -2 - -5. Let r be t(q). Let l = -1 - r. Is l at least 1?
True
Let n = 4.95 + -5. Let g = 0.15 - n. Let j = g + -0.3. Which is greater: -2/3 or j?
j
Let w be 51/68*(-8)/(-14). Which is greater: -2 or w?
w
Suppose 2*x = 13 + 1. Suppose -x*n + 180 = -4*n - 3*g, -5*n - g = -324. Let z = n - 511/8. Which is greater: z or -1?
z
Suppose -l + 9 = 8. Which is bigger: -2/17 or l?
l
Let k be 11/(-13) + (-14)/91. Is k != -3/8?
True
Let h(j) be the third derivative of j**4/24 + 5*j**3/6 - 3*j**2. Let a be h(-5). Which is greater: -3/7 or a?
a
Let t = -2.4 - -2.6. Which is smaller: t or 2?
t
Let d = -40 + 40. Are 0 and d unequal?
False
Suppose 5*j - 2*j = 3. Is j not equal to -1/4?
True
Let s = 2/5081 + -20442/299779. Which is greater: s or -1?
s
Suppose -5*a - z + 64 = 0, 4*a + 32 = 5*a + 5*z. Which is greater: 11 or a?
a
Suppose a + 5 = 3. Suppose r = -3*r - 40. Let v be (3/5)/(2/r). Which is smaller: a or v?
v
Let b be (-2)/4 + 18/24. Let s = 0 + -1. Which is bigger: s or b?
b
Let n(z) = -5 - 3*z**2 - 6*z - 4 + z**3 - 3*z**2. Let v be n(7). Let a(c) = c**2 + 6*c - 10. Let i be a(-7). Is i at least as big as v?
False
Let h = 77 - 229/3. Is h at most 2?
True
Let v = 43 - 39. Which is smaller: 13/4 or v?
13/4
Suppose 4 = -p - 2*f, -2*f = -f - 1. Let t(i) = 2*i**2 - 9*i. Let o(d) = -d**2 + 8*d. Let k(n) = 3*o(n) + 2*t(n). Let v be k(p). Which is smaller: -3/8 or v?
-3/8
Suppose 0 = -3*p - 5 - 19. Let j be 2/p + 9/4. Is 2 != j?
False
Let v(r) = r**3 - 2*r**2 - 2*r - 4. Let q be v(3). Let w be -1*(6/57)/(-1). Which is smaller: w or q?
q
Let b be -15 - -15 - (0 + -2)/4. Is b less than or equal to 52?
True
Let s(t) = -t**3 + 6*t + 3. Let b be s(-3). Which is greater: b or 9?
b
Suppose -2*u - 2*u = -8. Suppose -u*i = 3*o - 11, -4*i - 5*o + 19 = -0*i. Which is smaller: 2/9 or i?
2/9
Let n be 6/2*(-7)/14. Which is smaller: -1 or n?
n
Let z(u) = -u - 1. Let n(c) = -c**3 - 5*c**2 + 6*c - 4. Let g(x) = n(x) + z(x). Let f be (-9)/(-2)*(-4)/3. Let q be g(f). Is 1 at most q?
True
Let l(n) = -2 + 5*n**2 - n + 5 - n**3 + 7*n. Let g be l(6). Suppose k - 5*u = -14, 4*u - 17 = k - 6. Is k equal to g?
False
Let r be 5/(-2 + 3/2). Do -9 and r have different values?
True
Let z = -0.1 + 0.16. Let t = z + 0.04. Is -2 < t?
True
Suppose -5*d + 5 = -l, -2*l = -3*d - 4*l - 10. Is d equal to -1/16?
False
Let u(g) = 8*g - 48. Let a be u(6). Suppose 5*w - j = -65, 2*w + 2*w + 36 = 4*j. Let v be (-1)/w*(1 - -1). Are v and a nonequal?
True
Let k be (1/(-3))/((-1)/1). Suppose -p + 4 = -m - 1, -18 = 2*p + 5*m. Let s be (p - 1) + (4 - 4). Is s greater than k?
False
Suppose 4*c = -4*o + 20, 2*o + c - 5 = -3*o. Does o = 2/11?
False
Let h = 10 - 7. Let g = 2 + h. Is 1 at least g?
False
Let g = 0.35 - 0.25. Which is smaller: -38 or g?
-38
Let w = -181/3 + 60. Let v be 3/(-9)*3*1. Which is greater: v or w?
w
Let v = 24 - 17. Is 13 bigger than v?
True
Let r(u) = -u**2 + 3*u - 1. Let v be r(2). Let c be -51 + 2 + 1/v. Let z be (1 - c/(-45))*-9. Which is smaller: 0 or z?
0
Let k(z) = z + 7. Let g be k(-14). Are -8 and g nonequal?
True
Let h = 2064 - 202269/98. Does h = 0?
False
Let z(c) = -4*c - 3. Let s be z(-2). Suppose 3*n + 4 + 2 = 3*b, -5*b = s*n. Suppose 4*j = 2*h - 11 - b, -2*h = -8. Is 2/5 != j?
True
Let s be (-1)/(-3)*15/10. Let d = -0.1 + 0.3. Which is smaller: d or s?
d
Let x be -3 + (-3)/((-6)/14). Suppose 3*v + 1 = x*v. Let h be (5 + -1)*(-2)/(-4). Which is smaller: h or v?
v
Let s be 1 - (-1 + 32/14). Let p = -208 - -1459/7. Is s <= p?
True
Let s = 3497/170 + -201/10. Let y = s - -10/51. Suppose -5*p = -3*i - 4, 0*p = 5*p - 5*i. Is p < y?
False
Suppose 4*a = 122 + 454. Let v = a - 427/3. Which is greater: 2 or v?
2
Let o(k) = 3 + 3 + 2*k - 3*k. Let s be o(10). Let h be 7/(-4) + 1/s. Do h and -3 have the same value?
False
Let f = -21 + 23.4. Let a = 0.6 + f. Is -1/4 bigger than a?
False
Suppose -5 = 4*m - 25. Suppose 5*k = -x + m, -k + 3*k - 2 = -3*x. Which is smaller: 2/3 or k?
2/3
Let u(x) = -x + 13. Let s be u(10). Is 1 >= s?
False
Let k = 0 + 0. Let w = -86.1 - -86. Is w != k?
True
Let v(b) = b - 4. Let c be v(3). Let n be 60/(-18) - (-6)/(-9). Is n less than or equal to c?
True
Suppose 4*r - 16 = w + 3*w, 3*w + 5*r = 12. Let o(k) = k**2. Let y be o(w). Let m be 0 - (-1)/(1/y). Do m and 0 have different values?
True
Let q be 3 + ((-36)/16 - 1). Is -1 at least as big as q?
False
Suppose 2*s - 2*k - 14 = 0, 3*s - k - 1 = -2*k. Suppose -s - 2 = -p. Let b = 6 + -2. Is p less than b?
False
Let z(f) = f**2 + 3*f - 5. Let n be z(-5). Suppose 4*g - n*g = 1. Suppose -s = -3*s. Is s less than g?
False
Let g = 0 + 4. Let i be 1 + (-1 + 2)*g. Suppose -w = -5*t - 2*w + 27, -3*w + 6 = 0. Is i < t?
False
Let a be 6/14 - 1/(35/22). Let y = 3 + -2. Which is bigger: y or a?
y
Let o(t) = -t**2 + 11*t - 11. Let j be o(11). Let d = -10 - j. Let x = d - 2. Is -2/15 < x?
False
Suppose 5*c - c = -i - 5, -3 = 3*c. Is -2/75 bigger than i?
True
Let m = 52 - -18. Let h be ((-4)/m)/((-2)/20). Which is smaller: 2 or h?
h
Let b(r) = -r**3 + 9*r**2 + 11*r - 10. Suppose -4 = -o + 6. Let s be b(o). Suppose s*n = 4*n - 20. Which is smaller: n or 6?
n
Let d be (-5 - -1)*3/42. Suppose -2*u - 3*f - 44 = 0, 5*u + f + 132 = -f. Let n be 7/u*8/3. Which is bigger: n or d?
d
Suppose h + 71 = -4*a + 2*h, -a = 2*h + 29. Which is bigger: a or -37/2?
-37/2
Suppose -2*k - 3 = 5. Let d(i) = i**3 + 4*i**2 + 2*i + 6. Let b be d(k). Let q be (-1*2)/(b + -1). Which is smaller: q or 0.1?
0.1
Let y be ((-15)/(-9))/((-4)/30). Let o = y - -12. Let c be (0 - 0)/3 - 2. Which is greater: c or o?
o
Suppose 5*y - 23 = -4*t - 5, 0 = 3*t - 4*y + 2. Is t bigger than 2/3?
True
Suppose -n - 25 = -6*n. Suppose s + 17 = -4*s + 3*j, 0 = -5*s - n*j + 15. Let t be (s/3 - -1)/(-2). Is t less than 0.1?
True
Let f = 0.6 + 1.4. Let v = f - 1.8. Which is smaller: v or 0?
0
Let i = -1 + 3. Suppose i*b - 3 = 3. Suppose 5*h = b*s + 14, 2*s + 10 = h + 3*h. Which is smaller: -2 or s?
s
Suppose 4*u - 18 = -2*r, -r + 0*r = u - 2. Are 13 and u unequal?
True
Let s = -24 - -23. Which is smaller: s or 1?
s
Suppose -72 = 2*o - 5*o. Let k be ((-16)/o)/((-8)/54). Is k at most as big as 4?
False
Let a be 272/(-6) + 0 + -2. Let j = -1840/39 - a. Which is smaller: 0 or j?
0
Suppose -13*w + 12 = -14. Let h = 0 + 0. Is h not equal to w?
True
Let y = -0.25 + -9.75. Which is greater: y or -0.2?
-0.2
Suppose 8 = 2*a, 3*q + 22 = 3*a - 5. Is q not equal to 