et u(q) = 3*q + 179. Let r be u(-60). Are 6/17 and r nonequal?
True
Suppose 4*w = -5*p - 14, 0 = -0*p - 2*p - 2*w - 6. Let h be 1/(p - (-9)/2). Which is greater: h or -8/15?
h
Suppose 34 = -89*v + 94*v - m, 5*m - 33 = -4*v. Which is smaller: v or -71?
-71
Let r be 2/(-5) - 4/15. Let q = 0 + 19. Suppose -4*j - 1 = q. Do r and j have different values?
True
Let v = -593 - -590.8. Which is greater: -2 or v?
-2
Let x be (1/(-2))/(-4 - 178/(-44)). Is -10 < x?
False
Let b = -16.32 + 15.9. Is b < -0.2?
True
Suppose -2*w = w - 3. Suppose -2*f + 47 = -5*f - 4*c, 0 = -4*f + c - 69. Let o = -17 - f. Is o bigger than w?
False
Let q = -557 - -107506/193. Which is bigger: 0 or q?
q
Let s be 13/21 + (-10)/35. Which is smaller: s or 38?
s
Let r(h) = -3*h + 1. Let v(m) = 7*m - 1. Let u(x) = 5*r(x) + 2*v(x). Let o be u(6). Suppose -2 - 3 = 5*l, -13 = 4*p + 5*l. Which is smaller: o or p?
o
Suppose -1116 = -10*l + 4*l. Let f be (-4)/((-736)/l) - 1. Let q = 153/2852 + f. Which is smaller: 0 or q?
0
Let p be (-3 - (2 - 4))*0/1. Which is bigger: p or -8/115?
p
Suppose -7*x - 1006 = 191. Let p = x - -335/2. Which is smaller: -4 or p?
-4
Suppose 0 = n + 20 + 121. Which is smaller: -140 or n?
n
Suppose -10*i - 17*i = 108. Do 3/4 and i have different values?
True
Let a = 77373/65 + -5886/5. Do a and 13 have different values?
True
Let t(o) = 7*o - 149. Let u be t(22). Is 43/8 equal to u?
False
Suppose 5 = -v - 3*g - 8, 2 = -4*v - 2*g. Suppose a - 6*a = -n + 162, -v*a - 72 = -4*n. Is -33 < a?
True
Let d = -2016 + 2343. Which is greater: d or 325?
d
Let x be ((-54)/(-1035))/((-5)/5 - 3). Do -1 and x have different values?
True
Let y = -81 + 91. Suppose -5*c + 5*q - 235 + y = 0, 4*c - q = -171. Is -42 greater than or equal to c?
True
Let m = 0.94 + -1.1. Let n = m - -0.04. Let z = 0.02 + n. Which is smaller: -2/7 or z?
-2/7
Suppose -3 = 2*t + 3*y + 2*y, 2*t + 4*y = -2. Do -2/655 and t have the same value?
False
Let i be (0/(-3 - -5))/2. Let b = -1.71 + 1.8. Let v = b + -0.59. Is v less than i?
True
Suppose -20 = 4*b, 3*t - 3227 = -0*b - 2*b. Do t and 1079 have the same value?
True
Let a(y) = 15*y**2 - 1. Let z be a(-1). Suppose z*v - 16*v = 0. Suppose v = 2*k - 3*k + 1. Do 5 and k have different values?
True
Let d be (1/(-4))/(2/(-6)). Let a = 92 - 102.6. Let s = -11 - a. Are d and s unequal?
True
Let c be (24/(-99))/8*1. Let v = c + -85/462. Which is greater: 0.04 or v?
0.04
Let k = 1539 - 2057. Which is greater: -2/3 or k?
-2/3
Let b be 2*-1*325/50. Is b greater than -94/7?
True
Let h be 155/40 - (16 + -12). Let k be (-6)/(-4)*(-3)/(-18). Which is bigger: k or h?
k
Suppose 111*p + 4*x + 11 = 116*p, -p = -5*x - 19. Is -1/578 greater than or equal to p?
True
Let h(g) = 4*g**2 - g - 2. Let y be h(-1). Suppose 0 = -2*o + o + 2. Suppose -3*x + o*n = -n - 12, -2 = 3*x + 4*n. Is y less than or equal to x?
False
Let s = 8284/17 + -487. Let l = 118 + -118. Is l at most s?
True
Let k be (1/2)/(8 - (-18843)/(-2354)). Are k and -108 equal?
False
Let d be (1 - -2)/6*-2. Let w(f) = -f**2 + 13*f - 24. Let n be w(11). Let i be (-60)/225*n/(-12). Which is smaller: i or d?
d
Suppose 2*k + 132 = 14*k. Is k <= 13?
True
Suppose 480*w = 479*w - 14. Which is smaller: -29/2 or w?
-29/2
Let m be -2 - 1 - (-18)/9. Let f be (24/(-9) + 2)/(-3 - 12). Which is smaller: m or f?
m
Suppose -4*n + 0 - 12 = 0. Let d be (-37 - 2)*(-3)/n. Let x be 13/d - (-4)/(-6). Which is smaller: x or 3?
x
Suppose -36*z = -17*z + 19. Which is smaller: 2/47 or z?
z
Let z = -1478.9 - -1479. Which is bigger: 0.0491 or z?
z
Suppose 12*m = 18*m - 0*m. Is m at most as big as -57?
False
Let h = -1022 - -1028. Let x be 50/(-6)*9/(-12). Are h and x nonequal?
True
Suppose 0 = 36*d - 26*d + 7680. Which is greater: d or -769?
d
Let g be (1/(-3))/((-5)/(-6)). Let j be 66/99 - (0 - (-19)/(-3)). Let d be (1 + j/(-5))*(-85)/34. Which is greater: g or d?
d
Let b = 367 - 10645/29. Let h(i) = -2*i**2 - 15*i + 8. Let f be h(-8). Which is bigger: b or f?
f
Let q be (12/18)/(6/9). Let a be q - -2 - 70/21. Do a and -3 have the same value?
False
Let x(t) = -9*t + 2. Let w be x(-2). Let g be 1/1 + -3 + 4. Suppose -2*q - q = -g*d + 10, 4*q - 4*d = -w. Is 2/15 smaller than q?
False
Let c be ((-1)/(-2))/(2/(-4)). Let s be (2 + c)*-5*1. Suppose 18*d - 8 = -80. Is d bigger than s?
True
Let z = 0.93 - -0.07. Suppose -2*l - 4*p = 7 + 11, 70 = -5*l - 5*p. Which is smaller: z or l?
l
Let n = -532212/281 - -1894. Is 1 equal to n?
False
Let s be (1 - -2)/((15/(-2))/(-5)). Suppose 0 = -6*r - s - 10. Is -13 at least r?
False
Suppose -5*l - 5*i - 15 = 0, l + 4*i + i + 19 = 0. Is l at most 3/65?
False
Let u be (-1)/(3/(-16 + 1)). Let d = 8 - u. Let q be (5 + -4)*4/2. Which is smaller: q or d?
q
Let c(m) = -2*m**3 + 13*m**2 + 16*m - 3. Let h(x) = 3*x**3 - 25*x**2 - 31*x + 6. Let i(z) = 5*c(z) + 3*h(z). Let l be i(-9). Is l <= 40?
True
Let k be 4 + ((-22)/2 - (-12)/3). Is 0.002 less than or equal to k?
False
Suppose 0 = 2*i + 3*i - 20, 3*v = -5*i - 7. Let x = 15 + v. Let b = x - 6. Do b and 0.1 have different values?
True
Let r be -4 - 604/4 - 1. Let z be r/(-18)*411/(-18). Let j = z - -199. Are 0 and j equal?
False
Suppose 31*n - 11*n - 20 = 0. Suppose -d - d - 18 = 0. Let o be d/(-234) - (-1 + 1). Do o and n have the same value?
False
Suppose -2*m - 3*m - w = 103, -5*w = -10. Let x be 7/m + 38/6. Suppose 0 = 3*r + 2*n - 9, r - 5*n + 8 = -x. Which is greater: -6/13 or r?
r
Suppose 19*g = 9*g - 2330. Which is bigger: g or -235?
g
Let b = -306 - -800. Let a = 11360/23 - b. Is a <= 2?
True
Let u = -5 - -8. Suppose -u*r = r. Let s = 90 - 1168/13. Are s and r non-equal?
True
Let i = 36505/43 - 849. Let y = 47 - 44. Suppose 2 = p - 3*t, -y*p = 4*t - 7*t. Which is bigger: p or i?
i
Let k = -9.08 - -7.5. Is k less than 2/5?
True
Suppose 9*h = 4*h - 335. Let x = h - -67. Which is smaller: -5/14 or x?
-5/14
Let l(p) = -p**3 - 24*p**2 + 65*p + 30. Let a be l(-26). Which is smaller: -309 or a?
-309
Let u(p) = p**3 + 4*p**2 - 6*p - 2. Let b be u(-5). Let o = -28 + 43. Suppose -3*i = 2*i - o, s = i. Is s smaller than b?
False
Let r(y) = 4*y - 42. Let g be r(11). Suppose 2*s - 6*k + 2 = -2*k, 4*k = -2*s - g. Are -2/17 and s nonequal?
True
Suppose -60*z - 24 = -2*w - 56*z, -w - 16 = 5*z. Let f = -7 - -7. Which is smaller: w or f?
f
Suppose 0 = -2*r + 4, 5*l - 97 = 2*l - 5*r. Suppose 3*a - l = -5*n, -n - a = -2 - 3. Is n equal to 2?
False
Suppose -4*z + 2 = 37*c - 40*c, -4*c - 9 = z. Is -6 < z?
True
Suppose -k + 2*o + 29 = 2*k, 5*k - 51 = 4*o. Let c = k + -6. Which is smaller: c or -3/25?
-3/25
Let f = 0.84 - -5.46. Let g = 7.3 - f. Is 26 < g?
False
Let m be 2*(-3 + 2/4). Let x(f) = f**3 + 6*f**2 - 4*f - 3. Let s be x(m). Let z be 3 + s/(-9) + 1. Which is greater: z or 0.4?
0.4
Let i(m) = 6*m + 79. Let g be i(-13). Which is bigger: g or 3/17?
g
Suppose 0 = -6*w + w + 25. Suppose 5*y + w = 10. Suppose d + 10 = 5*r, 5 = 2*d - 5. Are r and y unequal?
True
Let l = 2249 + -2252. Let f = 16 + -27. Which is greater: f or l?
l
Suppose 16 = 4*c - 4*y, 19 = 19*c - 15*c - 5*y. Which is greater: c or -8/89?
c
Suppose 3 = 15*q - 14*q. Let m = 1957/12 + -163. Which is bigger: q or m?
q
Let w = -10 - -1. Let t = -26 - w. Let h = -38 - t. Which is smaller: -22 or h?
-22
Let q(z) = -12*z - 85. Let y be q(-7). Is 5/831 >= y?
True
Let v = -11.229 - -1.229. Which is smaller: v or 10?
v
Let u = -35 - -32. Let s be (-3)/(-2)*-1*40/u. Do s and 20 have different values?
False
Let m = 1733/7566 - -1/582. Let j be (-3 + 4)*38 - 4. Let u = -34 + j. Are m and u equal?
False
Let h be 5*1/(-6)*-6. Suppose 0 = -0*p + h*p + 4*u + 16, -p = 3*u + 1. Let k be (p + 4)/((-2)/(-1)). Is k at most 4?
True
Let t(x) = -4*x + 9. Let n be t(2). Which is smaller: -1/140 or n?
-1/140
Suppose -5*v = -16 - 29. Is 60/7 bigger than v?
False
Let g = -38 - -48. Let d be g/10*(1 - 10). Which is smaller: d or -2?
d
Suppose 2*j - 4*j - 2512 = 0. Let q = j + 31394/25. Which is greater: -1 or q?
q
Let o(x) = -2*x**3 - 2*x**2 + 2*x - 1. Let l be o(1). Let n = 407 + -2862/7. Is l less than n?
True
Let p(w) = -2*w + 16. Let g be p(6). Suppose -4*y + 3*q - g*q - 45 = 0, 5*y = 2*q - 53. Is y not equal to -11?
False
Suppose -11*h + 8*h = -24. Let u = h - -4. Let t(r) = -r**2 + 12*r + 1. Let s be t(u). Which is greater: s or -2/27?
s
Let