 l?
l
Let c be (-15)/(-9)*(-6)/(-25). Let i = -0.4 - -0.6. Let d = i - -0.8. Which is smaller: c or d?
c
Suppose 0 = -3*a + 4*a + 67. Let d = a + 66. Which is smaller: d or 3/59?
d
Let y be 2*-9*(-5)/120*-1. Let r = 0.4 + -0.7. Which is smaller: y or r?
y
Let i be (4/3700)/((-11)/((-55)/2)). Which is bigger: i or -1?
i
Let k be 1 - 5 - (-3)/((-6)/(-32)). Suppose k*j - 72 = 18*j. Which is bigger: -78/7 or j?
-78/7
Let h = -6 - -11. Suppose h*u = 4*u + 12. Let j be 49/14*3/u. Is j smaller than 1?
True
Let o be ((-148 + 4)/(-12))/((-219)/(-2)). Is 0 < o?
True
Let w = 12 + -10. Suppose 0 = -3*d - d - 3*c + 55, -w*d = -2*c - 24. Is d <= 15?
True
Let f be ((-9)/6)/(6/8). Let r(h) = h**2 + 1. Let g be r(f). Suppose 3 + 2 = -g*j. Is j smaller than -2/5?
True
Suppose 32*x + 8680 = -24*x. Is -155 smaller than x?
False
Suppose -12 = 2*j + 4. Suppose -3*c - 3 = -0*c. Let u be (-6 - c)/10*18. Is u <= j?
True
Let d = 108343/37 + -2928. Is 0 bigger than d?
False
Let f(z) be the second derivative of -z**7/420 + z**5/120 + z**3/6 + 9*z. Let c(u) be the second derivative of f(u). Let o be c(1). Is o equal to -3?
False
Let v = -1637 + 1729. Which is smaller: -3/2 or v?
-3/2
Let x be (-5 + -643)/(-12) - (1 - 6). Which is smaller: x or 44?
44
Let v(k) = -k**2 + 6*k + 29. Let u be v(9). Suppose 9*s + u*d + 45 = 4*s, 3*d = 0. Which is smaller: s or -11?
-11
Let v = 0.849 - 67.849. Is v > 3?
False
Let m(z) = 4*z + 56. Let q be m(-17). Let p = q - -71/6. Is -1 at most as big as p?
True
Suppose -29*b = 717 - 5241. Which is smaller: 157 or b?
b
Suppose 2*t + l = -6 - 1, 5*t + 2*l = -15. Let f be (2/(-4))/(6/4). Which is bigger: t or f?
f
Suppose -3*k = -11 - 7. Suppose 3*h + 76 = 22*h. Are h and k unequal?
True
Let i = -549 - -567. Is i greater than or equal to 18?
True
Let d(y) = -y + 19. Let t = -18 + 35. Let s be d(t). Suppose s*g + 3*x - 20 = 1, 4*g - 32 = -4*x. Are g and -1 non-equal?
True
Let g(v) = -v**2 + 5*v. Let b be g(6). Let l be 2/b*6/40. Let m be 0/(-1) + -4 + 5/1. Which is greater: l or m?
m
Let x be 406 - (1 + -19 + 8). Which is smaller: 414 or x?
414
Let z = 241 + -142. Which is greater: 694/7 or z?
694/7
Suppose -2*g - 2*p - 3*p = -12, -5*p + 4 = 4*g. Let j(c) = c**2 + 6*c + 7. Let r be j(g). Let x = 109/12 + -9. Is x greater than or equal to r?
True
Suppose -y + 4 = 6, -4*y - 13 = 5*m. Let l be (-33)/m + (4 - 1). Let z be 1/(l/(-8) + 1). Which is smaller: z or 0.12?
z
Let n = -10 + 16. Let o(q) = -9*q + 5. Let y be o(n). Let b be (-6)/10 - y/140. Is b at most -2?
False
Let d = -8 - -30. Let q = d + -5. Let r = 23 - q. Which is smaller: -1/4 or r?
-1/4
Suppose 0 = -3*u - u - 4*a - 4, -4*u - 8 = 2*a. Let p(o) = 2*o**2 - 3*o - 4. Let x be p(3). Suppose 5*t + 20 = -x. Which is bigger: t or u?
u
Let c = -38915/44 - -6206/11. Let g = c - -322. Is g != 1?
True
Let q be 15/6*(-5856)/80. Is -184 > q?
False
Suppose 28 + 16 = 2*w. Let v = w + -8. Suppose -4*f - 18 = v. Is f greater than or equal to -8?
True
Let r(v) = v**3 - 18*v**2 - 192*v - 4. Let l be r(26). Which is smaller: 1 or l?
1
Let j = 17 + -23. Let r(q) = -2*q + 4. Let t be r(6). Let o = j - t. Is o greater than 5/8?
True
Let k = 0.6115 + -0.0015. Is k greater than or equal to 1?
False
Let c be 3*(-3 - -2)/1. Let b be (-3)/12 + (-9)/(-4). Suppose -2*y = -2*r - b, -8 = 2*r + r + 2*y. Which is smaller: c or r?
c
Suppose -l - 240 = 7*l. Let m(d) = -d**3 - 30*d**2 - d - 12. Let n be m(l). Is -0.2 less than n?
True
Let b be (-4979)/(-1180) + -3 - (-5)/(-4). Which is smaller: b or -1?
-1
Let a = 15 - 10. Let s = 5 - a. Let m = 59.7 + -61. Which is greater: m or s?
s
Let l = -398 - -364. Is -1/2 at most as big as l?
False
Let n = 707 - -22. Which is smaller: 1 or n?
1
Let g = 0.33 - 0.25. Let m = g + -0.08. Which is greater: m or 3/5?
3/5
Let f(g) = 2*g**2 - 5*g - 76. Let m be f(14). Is 245 >= m?
False
Let i be (8/40)/((-4)/(-10) - 1). Let z(l) = l**3 - 5*l**2 - 7*l + 6. Let b be z(6). Let r = i - b. Which is bigger: 0 or r?
0
Let b(t) = -t**3 + 7*t**2 + t - 7. Let r be b(7). Suppose 72 = 4*f - 4*w, 0 = 3*f - f + 3*w - 21. Let q be (-18)/f + 14/35. Which is bigger: r or q?
r
Let r = 2.93 + 0.07. Let q = r - 3. Let l = -0.0556 - -0.1556. Is l <= q?
False
Let q = -653.8 - -655. Does 30 = q?
False
Let u be ((-35)/(-10) - (-4)/(-8)) + -143. Which is greater: u or -281/2?
u
Let c(y) = 14 + 12*y - 5 - 11*y + 4. Let w be -18*1/(3/2). Let z be c(w). Is z not equal to 3?
True
Suppose -160 = 2*l - 68. Let k = -137/3 - l. Which is smaller: 0 or k?
0
Let i(l) be the first derivative of l**4/4 + 5*l**3/3 + 3*l**2 + 7*l - 8. Let d be i(-4). Which is smaller: 3 or d?
d
Suppose 3*a = 3 - 15. Let u be (-178)/(-350) + (3*-2 - 1638/(-294)). Which is bigger: u or a?
u
Let q be (-40)/(-66) + 12/18. Is q bigger than -2/5?
True
Let y(w) = 14*w**3 + 24*w**2 + 15*w + 20. Let s(u) = -5*u**3 - 8*u**2 - 5*u - 7. Let x(q) = 11*s(q) + 4*y(q). Let j be x(-3). Are 33 and j non-equal?
False
Let q = -8293/2156 - -174/49. Let s = q - -6/11. Let v(j) = 16*j + 2384. Let m be v(-149). Is m bigger than s?
False
Let a = -0.055 + 0.605. Let g = -2.55 + a. Which is bigger: -0.1 or g?
-0.1
Let h = -1773 - -1888. Are 112 and h equal?
False
Suppose -158 = -169*r + 171*r. Is -79 greater than or equal to r?
True
Suppose -7 = -4*c + 9. Suppose -c*h = -3*h + 52. Let t be (-8)/h - 27/(-78). Is 17 < t?
False
Let o(w) = 2*w + 18. Let g be 20*(-4 + 21/6). Let c be o(g). Let u be c*3/2 - -2. Which is smaller: u or -2/9?
u
Let c be ((-24)/(-234))/(42/9). Let s = 5/26 + c. Let n be (0/1)/(4/2). Which is smaller: s or n?
n
Suppose -34*r - 16 = -30*r. Is r at most -23/9?
True
Suppose j + 4 = -2*s + 6, 0 = -s + 2. Let q = 11 + -11.06. Let z = q + 0. Which is smaller: j or z?
j
Suppose 2*c = 3*c - 13. Suppose -2*d + 33 = -c. Suppose 10 + d = 3*r. Is 0 bigger than r?
False
Let l = 20.59 + 0.41. Let h = -11005 + 55023/5. Which is greater: l or h?
l
Suppose -94 - 34 = 4*x. Let w = 33 + x. Is 27 < w?
False
Let t = 10 - 10.14. Let q = t + 0.04. Let d = q - -2.1. Which is smaller: 0.3 or d?
0.3
Let j be (28/(-8) + 3)*-52. Let i = j - 30. Let k be (-5)/(i/(-12)*-1). Which is bigger: 16 or k?
16
Suppose -l = -0 - 2. Suppose -j - 3 = -l. Are j and -6/7 unequal?
True
Suppose -c = u - 2*c, 3*u + 5*c - 16 = 0. Suppose 0*i + 6 = -3*g + i, g + u*i - 5 = 0. Is g at most as big as 1/26?
True
Let l = 3.56 - -77.44. Which is greater: -3 or l?
l
Let l = 144.5 - 145.5. Do 1.21 and l have different values?
True
Suppose -p + 9 = 6. Let z be 6 - (0 + 12/p). Suppose -r = -z*r - 1. Which is smaller: r or 2/23?
r
Let u(b) = b**3 + 4*b**2 - 3*b. Let n = 10 - 14. Let f be u(n). Let a be (-2)/8 + (-21)/f. Which is bigger: a or -1?
-1
Suppose 2*i + 8 = -2*y, -y + 0*i - 4*i - 10 = 0. Let s be -13*(0 + (-1 - y)). Let m = 13 + s. Are m and 0 non-equal?
False
Let b = 181.7 - 200. Let p = -11.2 - b. Let f = p - 7. Which is bigger: f or 1?
1
Let k be 140/315*711/2. Which is bigger: k or 159?
159
Let i = 50.414 - 1.414. Which is greater: -1/8 or i?
i
Let y = -3.47 - 742.53. Which is bigger: y or 2/5?
2/5
Let x = -0.0428 + 0.3668. Is x <= 1/2?
True
Let q = -168 + 170. Let i(j) = j**3 - 6*j**2 + 2. Let r be i(6). Suppose q*w = -2*w + 5*y - 25, -r*w = 2*y - 10. Is 6/13 less than w?
False
Let l = -245.1 + 59.1. Is 2 != l?
True
Let u = 108410 - 976973/9. Let m = u - -143. Suppose -5 + 3 = -2*s. Is s at most m?
False
Let o be ((-10)/12 - -1) + 70/(-402). Which is bigger: 1 or o?
1
Let j be (-90)/20 + (-3606)/(-4). Is 897 greater than j?
False
Let g be 118/36 + -23 + (-1081)/(-46). Let x = 2 + -1.8. Which is smaller: g or x?
x
Let u be (-130)/78 - 1/3. Do -18/13 and u have the same value?
False
Let d be ((-96)/1080)/((-2)/(-5)). Is d bigger than 0?
False
Let c be 1 + -5 + 5/40*50. Which is greater: c or 1?
c
Let c = -584 + 1139. Which is bigger: c or 556?
556
Let n(f) = 11 - 3*f + 3*f - f**2 + 12 + 13*f. Let r be n(16). Which is greater: r or -24?
-24
Let i(u) be the second derivative of u**4/12 - 4*u**3/3 + 3*u**2/2 - 3*u. Let j be i(2). Which is greater: -6 or j?
-6
Let l(s) = s**2 - 7*s. Let p be l(7). Suppose 5*k = 0, p = 5*i + k + 1 + 9. Let c be (-26)/16 - (i + 0). Which is smaller: 0 or c?
0
Let b be 1/4 + (-12180)/80464. Let s = 6/107 - b. Let q be 171/54 + 3/(-18) + -4. Which is bigger: s or q?
