 s be (-6)/(-5) + (-4)/20. Suppose 4*v - s = -d, -2*v = -d - 5*v + 1. Is d not equal to j?
True
Let o = 4664 + -4664. Which is greater: 20992 or o?
20992
Suppose w + 47 = -5*m + 18, -4*m = 2*w + 22. Let x be (189/12)/(1/(-48)*m). Is x < 126?
False
Let x be ((7 - 0)/(-77))/5. Is x > -0.1?
True
Suppose -4*g + 28 = -4*q, -5*q + 3 = -2*g + 23. Suppose -57 = -4*u + w, 0*u + 4*u + g*w = 27. Let m = -3 + 2.9. Which is smaller: m or u?
m
Let w be (-275)/150 - ((-65)/(-30) - 2). Let b be (263/3)/((-2)/(-6)). Let u = b + -1583/6. Which is smaller: w or u?
w
Suppose -4*n = 2*r - 44, r = 2*r - 4. Let i be (20/12)/(3/n). Suppose -3*z - i = -4*v - 31, -4*z = v + 16. Which is bigger: v or 2/3?
2/3
Suppose 2*v + 4 = -3*c + 2, 2*c - 3*v - 16 = 0. Let u be (151 - 154)/((1/c)/(-1)). Is u greater than or equal to 17?
False
Let p be (-60)/(-2) - 4 - 6. Suppose p = -5*s, 3*h - 7*h = s + 8. Which is greater: h or 4/87?
4/87
Let s(y) = -2*y**3 - 42*y**2 - 75*y + 27. Let q be s(-19). Do q and 230/33 have different values?
True
Let h = 161.33 - 87.33. Let j = 4.94 + -5. Let n = 1.06 + j. Which is smaller: n or h?
n
Let p = 792/7 + -103738/917. Suppose -4*y + 0*y + 8 = -5*z, -5*z + 8 = 4*y. Is z smaller than p?
True
Let y = 0.08 + -0.08. Let k = 178819/8 + -22352. Are y and k nonequal?
True
Let d be (-3)/9 + (-2 - 1544/(-996)). Which is smaller: d or 0?
d
Let k = -9333.01 - -9333. Which is smaller: -1.9 or k?
-1.9
Let t be -118*(14 - (-2412)/(-24)). Is t not equal to 10206?
True
Suppose 4*m + 30 = -4*l - 26, 0 = -2*m + 5*l - 7. Let u = -14 - m. Let q = 1218 + -1219. Do q and u have different values?
True
Let b(r) = r**2 - 3*r + 5. Let s be b(4). Let h be 24/14*(-12210)/333. Let p = h - -999/14. Is p equal to s?
False
Suppose 31 = -10*l - 189. Let k = 10 - 8. Suppose 3*f - 54 = k*w, 4*f + 55 = -3*w + 2*f. Is l at most as big as w?
True
Let q = -116 - -111.2. Let t = 4.09 + -0.29. Let r = q + t. Is r at most as big as 6/7?
True
Let g = 0.05 - 0.27. Let p = 0.67365 + -0.05365. Let f = g + p. Which is smaller: 2/7 or f?
2/7
Let o be 12/(-4)*(1 + -2). Suppose 4*x + 420 = 5*b, -3*x - b - 346 = o*b. Is -109 < x?
False
Let j be (-240)/(-9)*(-48)/20. Let p = -78 - j. Let i be (-8)/28 + -2 + (-340)/p. Is i bigger than 23?
False
Let x = -5.3 - 36.7. Let y = -40.7 - x. Let l = 1.2 - y. Which is greater: -1/11 or l?
-1/11
Let x = -302 + 303.8. Let k = x - 1.9. Which is bigger: -2/3 or k?
k
Suppose 19060*w - 5828 = 19091*w. Which is smaller: -1705/9 or w?
-1705/9
Let k be (13011/(-9))/((-25)/(-15)). Let g = 875 + k. Which is smaller: g or 8?
g
Let s(w) = -w. Let d = -21 + 28. Suppose 7*t - d = -0. Let g be s(t). Which is bigger: g or 1/41?
1/41
Let s(y) = 9*y**3 + y**2 + y. Let q be s(-1). Let m be (-2 - q)*(-3)/(-7). Suppose 5*i - 94 = 3*b - 16, 0 = 5*b - m*i + 146. Is -30 at least as big as b?
True
Let w = -117 - -131.5. Let u = 14.6 - w. Is u greater than or equal to 135?
False
Suppose 0 = 5*v + 5*z - 980, 2*v - 4*z - 574 = -v. Let b = 184 - v. Which is smaller: -8 or b?
b
Let z = 457/1692 - 14/47. Let v(n) = 4*n + 119. Let d(s) = -30*s**3 - 3*s**2 + s + 2. Let k be d(1). Let p be v(k). Which is greater: p or z?
z
Let r be 1 - (-13)/(-11) - 20502/22. Let l = r - -931. Suppose 0 = 5*q + 2*a, 0 = a - 5. Is q <= l?
True
Let y = -2664.07 + 2664. Let p(g) = g**3 - 6*g**2 + g + 6. Let v be p(5). Let l = -12 - v. Which is smaller: l or y?
y
Let m(u) = 2*u**2 + 32*u - 461. Let k be m(-34). Let o = -738 + k. Let a = 30 - 6. Is o less than a?
False
Suppose 3*d + 7 - 18 = r, 4*d = 4*r + 20. Suppose 0 = 5*y - 4*y + x, -d*y + x + 4 = 0. Suppose -o + y = -5*n + 13, 4*n - o - 9 = 0. Is -2/21 != n?
True
Let k = -8.756 + 23.805. Let d = 0.049 - k. Are -3 and d unequal?
True
Let w = -231 + 451. Suppose -5*q + 170 = -q + 2*j, -4*j = 5*q - w. Suppose -6*k + q = -2*k + 3*c, -2*c = -k + 21. Are k and 5 nonequal?
True
Let l(t) = -1. Suppose -23*b = -20*b + 3. Let y(m) = 7*m + 19. Let k(w) = b*y(w) - 5*l(w). Let j be k(-5). Which is smaller: 19 or j?
19
Let u(t) = -4*t - 108. Let i be u(-9). Let g be (-108)/i*212/(-6). Which is greater: g or -325/6?
g
Suppose -6*s - 18 = g - 3*s, -4*s - 34 = 3*g. Let q be g*1 + (-198)/(-36). Which is smaller: q or 3/11?
q
Let k be 34/10 - 24/60. Suppose k*x = -2*t + 371, 0*x + 3 = -3*x. Which is greater: t or 188?
188
Let o = 16 - 14. Suppose -x = 14 - o. Let s be ((-10)/(-5))/(-10) + x/(-10). Which is bigger: 1/4 or s?
s
Let l(h) = -11*h**2 - 733*h + 403. Let t be l(-67). Is 2300/17 bigger than t?
True
Let g be ((-3882)/(-647))/(57/2). Suppose 4*w + 5*n + 7 = 0, w + n + 3 = 2. Suppose 3*i + 4 = l, -3 = -l + 4*i + w. Which is greater: g or l?
l
Suppose -5*n = 2*u - 23568, 12*u + 9424 = 2*n + 16*u. Which is smaller: 4718 or n?
n
Let c = -3501/161 - -96/23. Let o = c + 18. Which is smaller: 0.34 or o?
0.34
Let c = -16833 - -16864. Which is greater: 26 or c?
c
Let w(g) = 751*g - 4499. Let c be w(7). Is 5302/7 > c?
False
Let g(k) = k**2 + 1. Let m be g(2). Let c(d) = -12*d**2 - 20*d + 47. Let p be c(-3). Let y be (8*(m - 3))/p. Is y <= -13?
True
Let o = -83077/23 - -3612. Let a = -17 + 16. Which is smaller: a or o?
a
Let a(o) = 35*o + 399. Let m be a(-52). Which is smaller: m or -1423?
-1423
Let s = -11969 - -12285. Which is bigger: s or 319?
319
Let y be 130/39*(0 - 16/(-180)). Let b(n) = n**2 + 5*n - 6. Let c be b(-6). Which is greater: y or c?
y
Let g = -1997/10 - -200. Let d(s) = -13*s**2 - 3*s + 2. Let c be d(2). Let t = c - -57. Is t greater than g?
True
Suppose -1299*y + 1291*y = -72. Suppose -y*m + 16*m = 84. Is 16 at most as big as m?
False
Suppose 111*g - 103*g + 28744 = 0. Which is smaller: g or -3592?
g
Let p be (3*7/14)/(18/(-48)). Is p > 4/981?
False
Let o = 196283 + -1377800/7. Is o less than 1?
True
Suppose 4*s = -o - 58, 0 = -28*s + 30*s + 5*o + 38. Suppose 4*h - 2*b + 36 = h, 0 = -2*h + 3*b - 24. Which is bigger: s or h?
h
Suppose -14*u - 3*n = -18*u + 114, u = -2*n + 34. Suppose u*j = 14*j + 16. Let v be (16/100)/(42/(-15)). Are v and j equal?
False
Let z = -12407082167/115 + 107886936. Let n = z - -735. Are n and -1 equal?
False
Suppose 2*k - 24 = -2*z + 4, -k - 1 = -2*z. Let u = 249 + -250. Which is greater: k or u?
k
Let o = 0.9475 - 1.7475. Suppose -7 = f - 5. Is o at most f?
False
Let g = 2569 - 1033. Is g smaller than 1536?
False
Let r be -9*2198/65520 + 2/8. Is -1 less than r?
True
Suppose -146*q + 2768 = -150*q - 2*b, 2*b + 4146 = -6*q. Is q smaller than -689?
False
Let c be 7*9/42*12. Let k = c - -46. Which is bigger: k or 62?
k
Let m = -443 + 704. Let k be (m/174)/((-2)/(-4)). Let p(y) = y**3 + 4*y**2 - 6*y - 3. Let g be p(-5). Is g at most as big as k?
True
Let s = 4169 + -4171. Is s greater than or equal to -29/34?
False
Let f = -59450 + 417338/7. Let o = -170 + f. Which is bigger: -23/7 or o?
o
Let a = -70 + 72. Suppose 3*p - 7 = t, -a*t + 5*p = 7*p - 2. Is 4/219 at least as big as t?
True
Let f(b) = -b**2 + 11*b + 15. Let q be f(10). Let m be 67/3 + (-36)/(-24). Which is smaller: q or m?
m
Let j = -287.89 + 3.89. Let d = j + 286. Is -2/19 smaller than d?
True
Let p = 2 + 10. Suppose 6*d = -4*t + d + 2, 3*d - 4 = -t. Let q be 24/(-12) + t + 18. Which is greater: q or p?
q
Let v(u) = 9*u**2 - 25*u - 130. Let o be v(-4). Is -6 > o?
False
Let r = -1 - -0.96. Let t = -0.96 + r. Let z be 512/(-36) + (-7)/((-84)/120). Is z less than t?
True
Let s = -4/1147 + 86041/4588. Let b = -129/4 + s. Which is bigger: b or -13?
-13
Suppose 9*l + 459 + 4680 = 0. Let y = l + 11413/20. Let f = y - 31/140. Are -2 and f non-equal?
True
Let m be (-71)/(-5) + (128/(-10))/(-16). Are 288/19 and m non-equal?
True
Let b be (2/(-7))/(390735/133). Which is smaller: -1 or b?
-1
Let x = -16/357 - -31147/702933. Let p = x - 21620/76791. Do 0 and p have the same value?
False
Suppose -90 = 28*h + 97 - 75. Which is greater: h or 57?
57
Suppose -2*n - 11*b - 16 = -15*b, -n = b - 4. Let a = 27119/60 + -452. Is a at most as big as n?
True
Let k be 4 - (-3)/1 - (2877/315 + -2). Which is smaller: -17/58 or k?
-17/58
Let b = 4.5303 - -0.4697. Which is greater: -107 or b?
b
Let f(v) = -4*v**3 - 5*v**2 + 24*v + 7. Let n be f(-6). Let y = -7113/13 + n. Which is smaller: y or -1?
-1
Let v be -10079*(-3)/(-151260) + 48/240. Which is smaller: v or 1?
v
Let a(w) = w**3 + w**2 - 2*w - 22.