Let n = j + d. Is n smaller than -0.2?
False
Let g = -1580 - -820. Are 1/4 and g non-equal?
True
Let b be (1 - (-6)/(-10)) + 0. Suppose -5*n - r + 94 = 0, 3*r - 6 = 4*n - 85. Let o = -18 + n. Which is smaller: o or b?
b
Let o = 90 - 66. Which is smaller: 28 or o?
o
Suppose -3*y + 7*y - 16 = 0. Suppose 0 = -2*b + b - 5, 10 = y*r - 2*b. Suppose -3*a = -5*p + 2, -2*a - 2 = -3*p - r*a. Is -10/11 less than p?
False
Let r = -81224/5 + 16195. Let n = r - -50. Is 1 smaller than n?
False
Let v = 3 - -4. Let i be 8*v/(7/2). Is i greater than or equal to 16?
True
Let m be 1 - ((-4202)/(-280))/11. Let z = 1/28 - m. Let g = -3/5 - -1. Is z > g?
False
Let j(u) = -56*u + 3. Let x(z) = 19*z - 1. Let l(n) = 6*j(n) + 17*x(n). Let d be l(-9). Let b = -1769/15 + d. Is b > 0?
True
Suppose 2*x = -6, 2*m - 2*x + 0*x - 20 = 0. Suppose -m*y + 5*y = 0. Which is smaller: y or -2/69?
-2/69
Let h = -0.2698 - -0.2154. Is h < 3?
True
Let f(w) = w + 9. Let r be f(-9). Suppose 5*g - t - 117 = r, -g = 2*t - 12 - 18. Suppose a + 2*d = -7, -5*d = 5*a - 4 + g. Is a > 2/9?
False
Let c be -5 - (-13 - 49/(-7)). Which is greater: -2/351 or c?
c
Let l = 578/161 + -30/23. Let m = 44/21 - l. Is 0 at most as big as m?
False
Suppose -o + 3 = -2. Suppose 0 = 4*h - o*h. Is 1 equal to h?
False
Let z be (66/9)/11*(-3)/2. Is z not equal to -2/2365?
True
Let r be (-4 - (0 + 6))*1/(-2). Suppose 5 + 0 = -r*p. Which is smaller: p or -1/3?
p
Let f = -14 - -24. Suppose -6*l = 14 + f. Is l at least -4?
True
Let b = 306 + -18055/59. Is b less than -1?
False
Let g = -87 + 73. Let p = 13 + g. Which is bigger: p or -1/19?
-1/19
Let u(b) = 3*b**3 - 10*b**2 + 3*b - 1. Let l be u(3). Which is greater: -3/4 or l?
-3/4
Let u = -4 - -12. Let v be (2/4)/((-7)/28). Let z be (v/(-1) + -1)*(0 + 6). Which is smaller: u or z?
z
Let w = 6409/15 + -427. Suppose -q + 29 = -5*o, 0 = -5*q + 3*q + o + 13. Let r be -5*(-4 + 3) - q. Which is smaller: w or r?
w
Let f = -7 + 12. Suppose x = -0*x + f*s - 22, -3*s = -x - 14. Which is greater: x or -4?
x
Let f be -1 - ((-2)/(-1) - 0). Let p be (-4)/(f + (-2)/(-1)). Suppose -y - p*y = 0. Is y equal to -1/7?
False
Let l = 630 + -614. Let u = -8737/4 - -2200. Let t = l - u. Which is bigger: t or 2/5?
2/5
Let s be (-3 - 3858/(-386)) + -7. Which is greater: s or 1?
1
Let z = -3105.1 - -3105. Which is smaller: 3.79 or z?
z
Let d(f) = -2*f**3 + 2*f**2 + 3*f + 2. Let v be d(-1). Suppose -v*q = -2*q - 8. Are q and 8 unequal?
False
Let r be (400/(-195))/(-16)*-792. Is -101 smaller than r?
False
Let w be -7*(2 + -2 + 1). Suppose 0 = 4*h + 2*m - 14, -5*h + 15 + 6 = -m. Suppose -h*j + 3*j = 2, z + 1 = 2*j. Which is bigger: w or z?
z
Suppose 7*t + 7 = 7. Suppose -5*a = 4*w - 13 - 8, 0 = -a + 1. Suppose -4*f + 26 = -3*m, 2*m - 9 = w*m - f. Which is bigger: m or t?
t
Suppose -593 = -5*w - 2*f, -235 = -7*w + 5*w - 3*f. Let i be ((-84)/w)/(2*(-6)/(-8)). Which is smaller: 0 or i?
i
Let t be 0*(0 + 5/5). Let i be (-770)/(-854) + (-1 + 0 - 0). Which is bigger: t or i?
t
Let a be -2 + (23/6 - (-21)/126). Which is greater: 24/31 or a?
a
Let r(m) = m**3 - 6*m**2 + 7*m - 9. Let n be r(4). Let p(k) = 6*k + 67. Let q be p(n). Is -10 greater than or equal to q?
True
Let n be 1 + -4 + 3 + -9 + -1. Let z be 1/n*(-125)/10. Is -0.1 less than z?
True
Suppose 32*l = 49*l + 85. Which is smaller: l or -2?
l
Let c be ((-72)/(-60))/(2/60). Let i be (-22)/(-168) + -2*3/c. Is 0.1 smaller than i?
False
Let v(u) = -u**3 + 1. Let y be v(0). Which is bigger: y or 3/19?
y
Let z be -6*(-4)/(-48)*-2. Suppose 5*c = 2*i - 8 + 27, -12 = -3*c + i. Let r be (-6)/(-15)*c/(-13). Which is smaller: r or z?
r
Let w be 0/(-3) + 0/(-3). Suppose -3*g - 2*g = 5*s + 30, g + 3*s + 14 = w. Let t be 4/g - 286/(-169). Which is bigger: 0 or t?
0
Let l = -12.5 + 2.5. Let f = -0.8 - 11.2. Let p = l - f. Is 1/6 greater than p?
False
Suppose -20 = 4*r - 5*y, 0 = -4*r + r - 2*y + 8. Let f be (-4)/(-10) + (-128)/70. Is f >= r?
False
Suppose -37*v + 123 = -99. Which is bigger: 76/13 or v?
v
Let p be (-57)/15 - (-2)/(-10). Let i = -3 - p. Suppose 5*m = 4 + i. Are m and 2/43 non-equal?
True
Let c(j) = 7*j + 8. Let l(m) = -m. Let o(g) = c(g) + 5*l(g). Let r be o(-11). Suppose -18*b + 15*b = 45. Which is greater: b or r?
r
Let w = 1 + 1. Let y(n) = -n**3 + 6*n**2. Let h be y(6). Suppose -4*o = -h*o - 16. Is o > w?
True
Let d = -162 + 163. Which is smaller: 7/51 or d?
7/51
Let k = 45845/111 + -413. Which is greater: k or -1?
k
Suppose -9 = -k + 2*i - 0*i, 4*i = -20. Is k equal to 2/315?
False
Let g(d) = 8*d - 58. Let y be g(14). Suppose -4*a + y = -2*a + 4*s, s - 26 = -a. Which is greater: 23 or a?
a
Let n = 729/2 - 375. Is 0.6 greater than n?
True
Let g be (-68)/5 + 6/10. Which is greater: g or -3?
-3
Let r = 124 - 618/5. Let z = -10 + 25. Let b = -14 + z. Is r less than b?
True
Suppose 14 = -2*u + 56. Let n be (4/(-14))/((-12)/u)*18. Which is bigger: 25/3 or n?
n
Let n = 1461/20 - 297/4. Which is greater: -2 or n?
n
Let k = 193 + -274. Let v = 80 + k. Which is smaller: v or -0.075?
v
Suppose -12*j - 134*j + 233 = -1081. Let o = 4 - -2. Which is bigger: o or j?
j
Suppose -7*h - 301 + 224 = 0. Which is smaller: h or -2?
h
Let d = 0.0396 - 102.0396. Are d and 0.5 non-equal?
True
Let i(l) = -l**2 - 4*l + 2. Let c be i(-4). Let u = -6 - -2. Let t be (u/(-6))/((-63)/(-81)). Which is smaller: t or c?
t
Suppose -20 = -4*x, -7*a + 23 = -9*a - 3*x. Which is greater: a or -113/6?
-113/6
Let d be (2 + 245)*(120/10 + -13). Which is bigger: -246 or d?
-246
Let k = 2/713 - -4985/2139. Is 10/7 equal to k?
False
Let l = -83 + 347. Let k = 149 - l. Does -115 = k?
True
Let a be (-18)/(-81) + 3 + -3. Is -3/83 greater than a?
False
Let n = 127 - -197. Suppose -16*z = 364 + n. Is z != -128/3?
True
Let x = 9.24 - 0.24. Suppose -4*v = 16, 5*w = -0*v - v - 4. Is x greater than w?
True
Let k be (-86)/(-5)*(-70)/(-4). Is k > 300?
True
Suppose 32*h - 29*h = s - 116, 0 = -4*h - s - 164. Which is smaller: -42 or h?
-42
Let u = -66/395 - -4779/30020. Is 1 > u?
True
Let h = -12 + 16. Suppose -5*f + t - 55 = -0*t, -h*f - 44 = 3*t. Let b = f - -16. Is 3 smaller than b?
True
Let v be 458/(-2044)*2596 + (-2)/7. Let b = 582 + v. Which is greater: 0 or b?
b
Suppose -5*p = -151 - 149. Suppose -4*x + 3*s - 17 = 0, 0*x - 5*x - p = 4*s. Let c = x + 7. Which is smaller: 1 or c?
c
Let n = -25 + 29. Suppose 0*k = n*k. Which is smaller: k or 2/5?
k
Let k = -29 + 15. Let v = 11 + k. Is 0.13 greater than or equal to v?
True
Let a = -175 + 176. Are a and -3.42 equal?
False
Suppose 2*r = -5*d - 48, 6*r = 7*r + 4. Let y be (0 + -26)*(-2)/d. Which is smaller: -6 or y?
y
Let v = -356 - -354. Which is greater: v or -34?
v
Let v be 393/524 + (8/(-5) - 1). Is v bigger than -2?
True
Suppose 3*g - 5*l + 77 = 0, -3*g + 0*l + 2*l - 65 = 0. Is g at most 1/2?
True
Let q be -1 + 1 - 0/(-2). Let g = -112 + 130. Let w be 3/36*g/(-24). Do w and q have the same value?
False
Let a = 18.09 - 3.39. Let i = -1.3 - a. Is i greater than 0?
False
Suppose -21*y = -23*y + 2152. Do y and 1076 have the same value?
True
Let h = 17793 + -302291/17. Is h less than or equal to 12?
True
Let d be ((-2)/95)/(1/5). Let r = 25 + -32. Let z = r + 7. Is z at most d?
False
Let g = -5/12 - -23/12. Let n = 8.5 + -81.5. Let m = n - -73.1. Is g >= m?
True
Let c = -19357/35 + 553. Let b = -1.25 - -0.25. Which is smaller: c or b?
b
Let a be (-12)/27*(-2)/8. Suppose 0*y = -y + 4. Suppose 2*c - y = -6. Is a < c?
False
Let f = 76.7 - 78.7. Is f smaller than 3.03?
True
Let a(j) = -9*j**2 - 58*j - 20. Let p be a(-6). Which is bigger: p or 1?
p
Let q be (-7)/(-21)*3*1. Is -11/32 at least q?
False
Let u(w) = w**2. Let i be u(2). Suppose -61*g + 56*g + 40 = 0. Suppose -3*y + 8 = -2*r, 0 = 4*y - g*y - 4*r + i. Do 0.3 and y have different values?
True
Let g(o) = -o**3 - 8*o**2 + 8*o - 12. Suppose c - 3*h = -3, 0 = -6*h + 2*h - 8. Let i be g(c). Which is greater: 3 or i?
3
Suppose -4*g - 5*z = -3*g + 32, -5*g + 3*z = 20. Which is smaller: -23 or g?
-23
Let m be 48/88*2/44. Is 1 <= m?
False
Suppose 4*f = 3*p + 64 - 21, 0 = 2*f + 3*p + 1. Let i(a) = 5 + 0 - a - f. Let c be i(-7). Is 5 smaller than c?
False
Let n(l) = 5*l**2 - 150*l - 9. Let f be n(32). Which is smaller: f or 312?
f
Suppose 9*y - 5*y = 3*k - 12, 2*k - y = 3. Is 7/19 less than or equal to k?