 = -4*l + f + 98, 5*l - 4*f - 56 = 3*l. Which is greater: l or 25?
25
Let i(j) = -2*j - 3. Let n(t) = t**3 + 6*t**2 + 2*t + 9. Let m be n(-6). Let s be i(m). Suppose -v - 19 = -4*z - 0*v, s*z - 18 = 2*v. Is z > -0.1?
True
Suppose -4*j + 2 = -2. Let d be -2 - j*(-20)/14. Is d <= -0.1?
True
Let b be -3 - (3 - (-231)/(-39)). Is 1 < b?
False
Let w(z) = z**2 - 16*z + 38. Let j be w(13). Is -2 at most j?
True
Suppose 2*g + 6 = 7*d - 2*d, 2*d - 5*g + 6 = 0. Which is smaller: d or 1?
1
Let s be (-2 + 3)*2/((-4)/22). Which is smaller: -12 or s?
-12
Let g = -3.5 + 3.44. Which is greater: g or 1/3?
1/3
Suppose 0 = 2*d + 4*y - 28, 2*d = -14*y + 12*y + 26. Which is greater: 13 or d?
13
Let p = -2/3 - 2/9. Let s = 220 + -220. Which is smaller: s or p?
p
Let w(m) = m**3 + 8*m**2 + 6*m - 6. Let u = -3 - 4. Let i be w(u). Let s = 1003/11 + -91. Is i at least s?
True
Let d be 10/15 + ((-2423)/(-1041) - 3). Which is greater: -1 or d?
d
Suppose -3*l - 5*n = -0*n, 3*n - 9 = 0. Let o = 6 + -4. Let g be o + 12/l - 0. Is g at most as big as -1?
False
Let t(x) = -x**3 - 7*x**2 - x - 8. Let b be t(-7). Which is greater: -0.02 or b?
-0.02
Let y = -192 + 427. Let z = y - 2353/10. Suppose 0*a - 1 = -a. Which is bigger: z or a?
a
Let a be ((-8)/(-18))/((-130)/39). Let i(z) = z**3 - 8*z**2 + 8*z - 6. Let h be i(7). Is h greater than a?
True
Suppose 12*q - 107 = -11. Do q and 25/3 have different values?
True
Let n(o) = -5*o + 2. Let w(m) = -3*m + 1. Let s(h) = -2*n(h) + 5*w(h). Suppose 5*j - 4*r = 17, -3*r - 4 = 5*j - 0*r. Let p be s(j). Is -4 != p?
False
Let r = 7 + -5. Suppose 0 = 2*o - 7 + 11. Which is bigger: r or o?
r
Suppose 0 = -2*z - 4*z + 5*z. Which is bigger: -3/4 or z?
z
Let y = -0.18 - 0.02. Let p = 1 - 1.1. Let i = p - y. Is -2/7 at least i?
False
Suppose -3*c + 4*u = -3, -5*c + 3*u = 4*u - 5. Let a = -35 + 243/7. Which is smaller: a or c?
a
Let m = 4177/4792 + 2/599. Which is greater: 1 or m?
1
Let y(i) = i**2 + 7*i + 1. Suppose 0 = -5*d - 1 + 46. Suppose -q + 2 = d. Let v be y(q). Is v at most 3?
True
Let s be 24/(-52)*8/(-12). Suppose 0*g = -2*g. Which is bigger: s or g?
s
Suppose -2*c = -3*t + 23, 4 = -2*t + c + 20. Are 8 and t nonequal?
True
Let k = -0.8 + 0.6. Which is greater: 0.07 or k?
0.07
Let d = -0.03 - 0.57. Which is greater: 2/7 or d?
2/7
Let t = 5.1 - 5. Let s = 0.08 - 0.08. Let h = s - -0.2. Which is smaller: h or t?
t
Let u(v) = 2*v - 17. Let x be u(12). Which is smaller: 8 or x?
x
Suppose 5*i + 15 = -5. Let y be ((-2)/i)/(10/24). Are 1 and y nonequal?
True
Suppose 4*j = 10 - 6. Which is smaller: j or 2/3?
2/3
Let u be (0 + (-3)/3)*-2. Let q be -2*(u + 3/(-2)). Is -3 bigger than q?
False
Let w be 1 - 0 - (-35)/(-30). Which is smaller: w or -0.1?
w
Suppose -b = 2*b. Let r = 0 + b. Which is smaller: r or -2/7?
-2/7
Let a(c) = 5*c**2 - 4*c + 2. Let h be a(2). Suppose 0 = 2*k + 10, -3*p - 4 = 3*k + h. Let b(u) = u. Let f be b(3). Do f and p have the same value?
False
Let b be -1 + (22/14 - 1). Let c = -2 - -3. Is c smaller than b?
False
Let j be (2 - (2 - 0))/(-1). Let s = 4862/19 + -256. Is j greater than or equal to s?
True
Let m(a) = 2*a + 11. Let u be m(0). Which is smaller: 12 or u?
u
Let g = 83/4 - 21. Which is bigger: 2/11 or g?
2/11
Let q(m) be the second derivative of -m**4/12 - 3*m**3/2 + 11*m**2/2 + 4*m. Let u be q(-10). Is 1 not equal to u?
False
Suppose 4*p = 3*t + 3 - 7, -5*p + 3*t - 5 = 0. Is 1/10 >= p?
True
Let y = 161 - 3060/19. Suppose 0 = 2*v + 2*v. Which is greater: v or y?
v
Let s = 3.92 + -4. Let l = s - 0.52. Let i = 0.4 - l. Is 0 greater than or equal to i?
False
Suppose -4*f + 5*f + 2 = -c, 4*c = 2*f - 2. Does -3 = f?
False
Let d(l) = l + 17. Let k be d(-9). Let f be 1 + 1*(-10)/k. Is f smaller than -1?
False
Let b be 6/(-24) - 145/44. Let t = -3 - b. Which is bigger: 2 or t?
2
Let r be (-26)/(-65) + 76/10. Let c be -2 + (2 - (-4)/r). Is -2 not equal to c?
True
Suppose -6*d - 36 = -15*d. Which is smaller: 7 or d?
d
Suppose 2*b - 7*b - 15 = 0. Let s = 2 - b. Suppose -s*o - 7 = 8. Which is smaller: -4 or o?
-4
Let n be (-12)/(-476)*(-16)/6. Let l = 876/119 - n. Let i = 454/63 - l. Which is smaller: 1 or i?
i
Suppose o + 0 + 10 = 0. Let t be (-220)/18 + o/(-45). Let k be (6/4)/((-27)/t). Which is smaller: 0 or k?
0
Let g = -5.7 - -5. Let z = g + 0.9. Which is bigger: 0.3 or z?
0.3
Let g = -1.09 + 0.09. Suppose 3*r - 3*y - 12 = 0, -2*r - y = 2*r - 21. Suppose -r*x - m + 8 = 0, 3*x - 17 = -2*x - 4*m. Is x bigger than g?
True
Let x = 21 + -17. Suppose 4*b + 5*r - 10 = b, 10 = -x*b + 5*r. Which is greater: b or 2/5?
2/5
Suppose 9*q - 5 = -14. Let f be (((-16)/34)/2)/2. Which is smaller: q or f?
q
Suppose -2 - 1 = 3*c. Which is greater: -2 or c?
c
Let h = -6 + -3. Let l be (-3)/(0 + h/12). Let u = 6 - l. Does u = 2?
True
Let o = -6 - -8. Let y be (-8)/o*6/8. Let m be (-2 + 1 + 1)/y. Which is bigger: -2 or m?
m
Let i = -4 + 10. Let p be (i/(-4))/(3/(-4)). Is p >= 1?
True
Let m = 24 + -6. Suppose -4*k = -2*k + m. Let q be (-3)/k*(-4 - -1). Which is bigger: q or -3/2?
q
Suppose -5*u + 0*u - 30 = 0. Let h be 4/u - 29/(-3). Let j(r) = r**3 - 9*r**2 - r + 8. Let l be j(h). Is l greater than or equal to -1?
True
Suppose 3*j = 55 + 17. Suppose 3*u + j = -5*i, 5*i = 2*i - u - 12. Let y be i/6*(8 - -2). Which is greater: y or -4?
-4
Suppose 2*x = 4*z - 118, 4*z - 2*z - 2*x = 54. Is z smaller than 34?
True
Let i = 2048782/147 - 13937. Let o = i - -2/49. Is -1 < o?
True
Let t = -60 - -63. Is t >= -2/13?
True
Let x(b) = -b**3 - 5*b**2 + 10*b + 48. Let m be x(-5). Which is smaller: 8 or m?
m
Let f = -24 - -23. Let y = 1 - 6. Let g = 3 + y. Which is smaller: g or f?
g
Let i = 0.21 + -0.13. Let b = -0.12 - i. Is b != -4?
True
Let d = 4903/11 - 446. Is 0 smaller than d?
False
Let r be (3 - -1) + (-10)/2. Which is smaller: 0 or r?
r
Let d = -0.01 + -0.1. Which is smaller: 1/4 or d?
d
Let n(t) = -3*t - 1. Let u be n(0). Which is smaller: u or 2/23?
u
Let j = 177/2 + -85. Let n = j - 4. Which is smaller: 0 or n?
n
Let u(f) = -4 + f**3 - 3 - 2*f - 2*f**2 + 3. Let n be u(3). Which is bigger: n or -2?
n
Let i = 0.3 + -0.2. Let g be ((-20)/(-16) - 0)*1. Which is greater: g or i?
g
Let p = 85 + -603/7. Let r = p - -38/21. Are -6 and r equal?
False
Let a = -8871 + 532237/60. Let v = a + 2/15. Which is smaller: 0 or v?
v
Let q = -479/45 + 51/5. Let r = -26 - -51. Suppose 2*c - t - 5 = -0*t, r = 2*c - 5*t. Which is smaller: c or q?
q
Let l = 50 - 22. Let h = l - 25.9. Let p = 2 - h. Is 1/2 at most as big as p?
False
Let v be 14/((-14)/8 + 1). Let s = v - -18. Let q be 4/(-18) - (-40)/99. Is q < s?
False
Let k be 6/5*4/8. Let z = -4 + 5. Let p = z - 0. Is k less than or equal to p?
True
Let a = 0.18 + -0.18. Is a at least as big as 1?
False
Suppose 0 = -z - 0*z + 3. Suppose 8*j - z*j = 10. Suppose -6 = 4*p + j. Is p bigger than -2?
False
Suppose o + o = -2*s + 12, 0 = -4*o + 4. Let h = s - 6. Let z = 0 - 0. Is h at most as big as z?
True
Let p = -2/203 - 400/609. Let m = -1 - -1. Which is greater: m or p?
m
Let o = -31.9 - -27. Let a = -5 - o. Which is greater: a or 4?
4
Let l(o) = -o**3 + 4*o**2 + 7*o - 6. Let u be l(5). Let p be 0/(-2) + u/12. Let w = -2.7 + 2.5. Is w < p?
True
Let t = -4.97 + -0.03. Let i = t - -4. Which is bigger: 2 or i?
2
Let w = -2332/5 - -12877/30. Let x be (-2)/(-1*2)*-37. Let b = w - x. Which is greater: 0 or b?
0
Let u = -2 - 1. Let q = u + 3. Is 0 < q?
False
Let r be ((-132)/(-13) - (-4)/(-26))/(-9). Which is smaller: r or -6?
-6
Let k be (9/(-3))/(4/16). Is -12 greater than or equal to k?
True
Let s be 6/(-4)*(-4)/3. Suppose g - f = 4, 4*f + 2 + 13 = 3*g. Is s not equal to g?
True
Let b = -2/27 + -40/189. Which is bigger: -0.02 or b?
-0.02
Suppose -35 - 28 = 3*k. Is -22 bigger than k?
False
Suppose a + 3*a - 2352 = 0. Suppose -196 = 4*c - a. Let l be c/21 - (-1)/3. Is l greater than or equal to 6?
False
Let x = -3.9 - -3. Let j = x - -1. Let t be 1 - (1 + 2/5). Which is greater: t or j?
j
Let r be (3/15)/((-3)/(-9)). Suppose -x = 4*x - 10. Suppose g = -x*g + 6. Is g equal to r?
False
Let l = 4.31 - 4. Let a = 0.01 - l. Let v = 72 + -650/9. Is v greater than a?
True
Let q be (-4)/6 - 10/(-12). Let z(k) = k - 4. Let l = 25 + -21. Let j be z(l). Do q and j have the same value?
False
Suppose 0 = 4*p + p. Let c = 4 - 5. Let t be (2