, -5*w - 19 = 2*m. Suppose -l - m*l = 4. Is p bigger than l?
True
Let i = -147 + 146.7. Is 12 at least i?
True
Let o = -0.12 + 5.12. Let k = -10 - -7. Let y = -3.1 - k. Which is bigger: o or y?
o
Let n be (((-24)/5)/(-2))/2. Let z = 22/63 + -4/7. Are z and n nonequal?
True
Suppose -16*h = -18*h + 4. Let n(q) = q - 2. Let l be n(6). Suppose 5*d = l*i + 1, -3*d - i = -0*d - 4. Which is greater: d or h?
h
Suppose 5*i + 7 = 2. Let d = i + 4. Is d at least as big as 3?
True
Let q be -7 + 0 + (-9 - -8). Which is smaller: q or -7?
q
Suppose -x = 2 - 3. Is x less than or equal to 3?
True
Suppose 10*y = 5*y - 155. Does -31 = y?
True
Let k be (-24)/10 - 4/(-10). Suppose -2*f + 14 = -2*r, 0 = 2*f + r - 0*r + 1. Let a be (-3)/6 + 1/f. Which is greater: a or k?
a
Let d = -22.9 - -24. Let f = d - 0.8. Is 2/3 at most as big as f?
False
Let z = -4 + 4. Suppose -2*c + c + 5*g + 25 = z, 5*c - 5 = g. Let u be (4 - 2)/2 - c. Which is smaller: 4 or u?
u
Let c be (-441)/(-135) - (-2 - 5/(-1)). Is 0 less than or equal to c?
True
Let t(n) = 2*n - 5. Let w be t(4). Let d be 4/w + -3 + 1. Is d at most as big as -1?
False
Let i = -25 + 11. Let f be (-20)/i - (6 - 5). Which is smaller: 1 or f?
f
Let c be (-20)/15*3*41. Let u = -977/6 - c. Which is greater: 0 or u?
u
Let p(w) = w. Let f be p(1). Which is bigger: 5/6 or f?
f
Let z = -108 - 33. Let a = z - -418/3. Which is smaller: -1 or a?
a
Suppose -2*w + 4*w = -8. Let z be w/12 - (-7)/3. Let t = 2 - z. Which is greater: -1/5 or t?
t
Suppose -m + 3*r + 0*r - 30 = 0, -m - 5*r = 54. Which is bigger: m or -37?
-37
Suppose 29*w + 26 = 31*w. Which is bigger: w or 0.1?
w
Let n = 6 - 14. Are n and -0.1 equal?
False
Suppose 5*y + a + 56 = 0, 4*y + 3*a - 5*a + 42 = 0. Is y equal to -12?
False
Let n be ((-12)/(-16))/(-3*(-2)/20). Which is smaller: n or -1/4?
-1/4
Let g = 240 - 401. Let s = g + 1129/7. Let w = -2 - -2. Which is smaller: w or s?
w
Suppose -a + 4 = 4*a + c, 0 = 4*a - 5*c + 20. Suppose 2*q - 26 = 4*u - 8, a = 3*u - 2*q + 14. Let t = -4 - 0. Is t at most as big as u?
True
Let c = 8/157215 + 213183212/6445815. Let k = c + -33. Let y = -23/246 - k. Is 1 at least as big as y?
True
Suppose 0 = -3*b + 5 + 1. Let z = -0.9 - -1. Let v = 0 + z. Is b greater than v?
True
Suppose 0 = 6*a - 2*a + 36. Let l = 9 + a. Is -10 != l?
True
Let n = 29.8 + -30. Do n and 0.5 have the same value?
False
Let z = 23.5 - 11.5. Which is greater: z or -0.3?
z
Let n = -97 + 977/10. Which is smaller: n or 1?
n
Let b(d) = d. Let m be b(0). Suppose 0 = -4*l + 12, m = -0*g + 5*g + 4*l - 12. Suppose g = 4*s + s. Is -1 not equal to s?
True
Let f = 5.6 + -7.6. Which is smaller: -0.7 or f?
f
Let j(u) = -u**2 - 23*u - 43. Let r be j(-21). Is r less than -5?
False
Suppose 2*x + 299 = 5*s, -3*s - 19 + 472 = -3*x. Let u be 3 + (156/x - 2). Are u and 1 equal?
False
Let o = 691/1164 + -1/97. Which is smaller: 1 or o?
o
Let w be (-3)/(3 - (-1 - 0)). Let a(s) = -s**3 + s**2 + 2. Let j be a(2). Is w less than j?
False
Let w = 943/104 - 126/13. Let p(m) = -m**2 + m. Let u be p(2). Is w less than u?
False
Let f = 1.9 + -2. Suppose -3*d = n - 349, -n + 3*n = d - 121. Let q = d + -587/5. Is f less than or equal to q?
False
Let b = -3 + -3. Let j be (b/5)/((-4)/20). Let t be (-8)/(-12)*j/16. Which is smaller: -0.1 or t?
-0.1
Suppose -7*i = -3*i - 12. Are 1 and i equal?
False
Let s = 80 + -55. Let y be (-8)/(-5)*s/10. Is 3 equal to y?
False
Let b be (-153)/(-252) + 3/(-4). Which is smaller: b or 1/2?
b
Suppose 39 = -3*q - 18. Which is greater: -18 or q?
-18
Let b be ((-2)/9)/1 - 14/18. Let j be ((-3)/(-9))/((-9)/2). Which is greater: j or b?
j
Let k(q) = -q - 13. Let r be k(-9). Let v be ((-2)/r)/(6/(-3)). Let t be 4/5 + (-1)/(-5). Is t bigger than v?
True
Suppose 8*x + 12*x = 4*x. Let l be (-2)/(0 + 0 + -2). Is x less than l?
True
Let t be 1 - (4 - 18/2). Let d = -14 + t. Which is smaller: d or 1?
d
Let c = 1.7 + -2. Which is smaller: c or -3?
-3
Suppose 2*x + 4*t + 11 = x, 2*x + 4*t = -10. Suppose 0*w + w + 3*g = 18, g = 2*w - x. Suppose -1 - 2 = -w*n. Is 2 equal to n?
False
Let a be (7/182)/((-1)/4). Is 0.1 equal to a?
False
Suppose -10*i + 12*i = 0. Is i not equal to -16?
True
Let n = 32/35 + -6/5. Which is greater: 2 or n?
2
Let x = 8 + -8.36. Let h = -0.05 - -0.11. Let r = h + x. Do 1 and r have the same value?
False
Suppose 21*w - 15*w = 12. Which is bigger: w or 4?
4
Let a(t) = 3*t**3 + 2*t**2 - 1. Let i be a(-1). Let h be 0 + (-2)/i - -8. Which is smaller: 10 or h?
h
Let m be (316/12)/((-284)/3). Let f = -816 + 57934/71. Let o = f - m. Which is bigger: o or 0?
o
Let y(t) be the third derivative of t**5/60 + 5*t**4/24 - 5*t**3/6 - 3*t**2. Let f be y(-6). Suppose -12 = -4*s + 2*w, 2*s - 2*w = w + 10. Is f less than s?
True
Let o = 0.01 + -4.01. Let c = o + 4. Are c and -2 nonequal?
True
Let q = -0.5 - 3.5. Let r = 0.02 - -0.08. Which is smaller: r or q?
q
Let i(x) = -x**3 + 6*x**2 + 2. Let j be (-75)/(-10)*8/10. Let b be i(j). Are b and -1 equal?
False
Suppose -3*a + 4*f - 20 = -5*a, 0 = 5*a + f - 14. Let i = a + -3. Let x = -22/5 - -23/5. Is i <= x?
True
Let z = -15 + 17.1. Let j = z + -2. Does -6 = j?
False
Let k be (6/(-9))/(4/6). Let x = 47 + -26. Let l = 13 - x. Which is smaller: k or l?
l
Let z = -187/2 - -5419/58. Suppose -12 = -l - 3. Let q = 9 - l. Which is bigger: q or z?
q
Let s be 15/21 - (4 + (2 - 5)). Let n = -2 - -1. Which is smaller: s or n?
n
Let o(z) = z + 2. Let g be o(-7). Let r be (-75)/12 + (-4)/(-16). Which is bigger: r or g?
g
Let k be (1 - -3)*(-9)/(-36). Is 1/22 at least as big as k?
False
Suppose -3*q - 3 = -3*u, 5*q = -0*u + 3*u - 5. Let n be -2 + (-22)/(-6) + -2. Which is smaller: n or u?
n
Let f = -124 - -622/5. Which is greater: f or -5?
f
Let y = 3 + -4. Let t be 1/5 + 64/(-20). Which is bigger: y or t?
y
Let m = 6/49 - 235/1519. Which is smaller: 1 or m?
m
Let n(m) = -m**3 + 7*m**2 + 10*m - 12. Let y be n(8). Suppose -l - y*j - 15 = 0, -5*j + 45 = -5*l - 10*j. Is -9 at least as big as l?
False
Suppose -4*w - 6 = -18. Suppose 3*l = -v - l + 33, -2*l - w = -v. Is v less than 13?
False
Let t be (5/35)/((-6)/7). Which is greater: 0 or t?
0
Let w = 27 + -25. Which is smaller: w or -4?
-4
Let l = -41365/9541 - -204/47. Is l smaller than -1?
False
Suppose -2*i - 2 = -i. Let a(r) = 2*r + 2. Let q be a(i). Let j = -3 + 0. Is j at most as big as q?
True
Let z be (21/(-2))/((-1)/(-2)). Let c be 14/z - (-32)/(-6). Which is greater: c or -7?
c
Let p = 10 + -9.93. Let h = 1.07 - p. Is h equal to -2/5?
False
Let i(a) = 2*a**2 + a - 1. Let n be i(-2). Let u = n - 7. Let q be 0 - u - 112/63. Is q less than or equal to 0?
False
Let f be -9 + 14 + 2/1. Let q = 21856/399 - -314/57. Let t = 60 - q. Is f greater than t?
True
Let l = -26 + 13. Let q = l + 16.2. Let j = q - 3. Is j equal to -2/5?
False
Let n be (-13)/6 + 6/9. Let t(g) = -g**3 - 7*g**2 - 3. Let h be t(-7). Which is greater: n or h?
n
Let u be (-7)/4 + (-4)/(-2). Let j be (-1)/2 + 1/(-2). Is u at least j?
True
Let u = 42 - 27. Which is smaller: 14 or u?
14
Suppose -4*n - 4*j = n + 98, 100 = -5*n - 5*j. Are -20 and n equal?
False
Let l = -4.98 + -0.02. Let m = 4.9 + l. Let u = 233/3 - 77. Is u equal to m?
False
Suppose 3 = 5*n - 67. Let b be (12/8)/(-1 - n). Is -1 at most b?
True
Let y be (1/(-2))/(-2*(-11)/(-616)). Which is bigger: 38/3 or y?
y
Suppose 0 = 3*d - 2*r + 5, -d + 2*r = 4*d + 3. Is d < 1?
False
Let t = -2 + 3. Let c = -55 + 77. Let x = c + -45/2. Is t < x?
False
Let o = 5 - 5. Let c = o + -1. Let j = c - 0. Which is greater: -2/11 or j?
-2/11
Let q be 7/(-14) - (-10)/4. Is q equal to -1?
False
Let j(x) = x**3 + 5*x**2 - 7*x - 5. Let r be j(-6). Let c be (2 - 3)*(1 + r). Which is smaller: c or -3?
-3
Let h be (-1 + 0)*(0 + -1). Let m = h - 4. Let f = 16 - 20. Do f and m have different values?
True
Let n = -4 - -9. Suppose -17 + 23 = 2*u. Which is smaller: n or u?
u
Let s = -1 + 6. Let j = -4 + 7. Suppose 0 = s*x + 5*t, -t + 28 = 5*x - j*t. Does 5 = x?
False
Let d(r) = 5*r + 3. Let b be d(-3). Which is bigger: -11 or b?
-11
Let u be ((-4)/50)/(3/15). Let b be -1 + 3 - (-1)/1. Suppose r = -b*r. Is r greater than or equal to u?
True
Let l = 0.5 - 1.2. Let w = 5 + 0. Suppose w*h - 4*h = 0. Is h > l?
True
Let m be (4/70*-3)/(280/100). Which is greater: -1 or m?
m
Suppose -4*a - 2