 l = c + 0.39. Which is smaller: -20 or l?
-20
Let b = 5923 + -5924. Which is greater: b or -64/71?
-64/71
Let n be (3 - (-30)/18)*(3 + (-3006)/996). Is -1 >= n?
False
Let z(k) = k**3 + 5*k**2 + 2*k + 12. Let y(w) = -w**3 - w**2 + w. Let d(s) = -2*y(s) - z(s). Let t be d(4). Suppose 10 = -2*n - 16. Which is smaller: n or t?
n
Let y(o) = 9*o**2 - 7*o + 55 - 19 - 27 - o**3. Let z be y(8). Suppose 28*b = z*b - 143. Which is greater: b or -12?
-12
Let m(k) = k**3 - 5*k**2 + 6*k - 11. Let j be m(4). Let s be (j/(-9))/((-5)/10*1). Let r = -0.3 - -0.1. Which is smaller: s or r?
s
Let x be (-79350)/(-16) - (-4 - (-19 - -10)). Let j = x - 4942. Do 12 and j have the same value?
False
Let p(t) = -t**3 + 10*t**2 - 17*t + 12. Let n(f) = 12*f + 13. Let r be n(-6). Let a = 67 + r. Let v be p(a). Are 2 and v equal?
False
Let s = 28913/104 - 278. Let t = -109.58 - -108.58. Which is bigger: t or s?
s
Let j = -18761 - -18668. Does -0.077 = j?
False
Suppose 0 = -25*j - 28654 + 9479. Let m = 720 + j. Is -45 < m?
False
Let v = -34386 + 34386.1. Let d be 2812/18216 + (-2)/9. Let h = d - -1/138. Which is greater: h or v?
v
Let s = -15/2671 + 43662/9201595. Is s bigger than -1?
True
Let l(t) = -t**2 + 3*t + 3. Let u be l(3). Suppose 4*j = -2*i + 602, 605 = 2*i + 8*j - u*j. Let c = i - 1482/5. Which is greater: -1 or c?
-1
Let b = 12455 - 12363. Let u(m) = -4*m**2 + 5*m + 5. Let a be u(6). Let w = a + b. Which is greater: -16 or w?
-16
Suppose 184 = -38*x + 95 - 861. Let m = 33279/5 + -6682. Is m at least x?
False
Let p = 14.2 - 14. Let u = -0.4 + p. Suppose 40*l - 140 = 26*l. Which is smaller: l or u?
u
Let r = 532 + -1256. Let f = r + 512. Is f less than -214?
False
Let r = -86.1 + 84.1. Which is bigger: -881 or r?
r
Let p = 83/12 - 373/52. Suppose 0 = 5*c + 5*k - 6*k - 64, 4*c + k = 44. Let f be -18 + c + 12/2. Which is greater: f or p?
f
Suppose -22 = -2*h + 4*u, 3*h - 2*u + 11 - 36 = 0. Suppose -h*l + 45 = -10*l. Let f be (-1)/((-1)/(l/(-10))). Which is smaller: f or 1?
1
Let w be (-1 - (-10)/14)*(-1655 - -1669). Which is smaller: w or -53/15?
w
Suppose -3*j + 12 = 24. Let b be (j + 4 - 1)/((-1)/11). Let s(u) = -u**3 + 5*u**2 - u - 1. Let d be s(4). Is d equal to b?
True
Let y(l) = -21*l**3 - 2*l**2 + 1. Let u be y(-1). Let c = u - 17. Let f be c/7 + (-9)/21. Is 2.5 at least as big as f?
True
Let m = -207.11 - -207. Let j = m + 43.11. Is j less than 0.1?
False
Let a be (42/8)/((-8)/1920) - 7. Let u = a - -1245. Let y = -23 + 0. Is y equal to u?
False
Let r = -25/46 + 2483/4738. Let j be -2 + (-2 - 4*-1). Is r less than or equal to j?
True
Let a be (4 - (-4 + 5))*-1. Suppose 2*h - h + 21 = 0. Let y be (1/a)/(7/h). Is y not equal to -4/23?
True
Let u = -339705697/4917 - -69088. Which is bigger: u or -1?
u
Let u(c) = 3*c - 52. Let d be u(15). Let k = 9 + d. Suppose 0 = -f + 5*l + k, 5*l = 3*l + 4. Which is smaller: 10 or f?
10
Let d = -2678 - -2678. Which is smaller: d or 2/33?
d
Let m = 20.22 + -21.64. Which is smaller: m or -1/3?
m
Suppose 10*c - 4 = 14*c. Let q be ((-235)/94)/(c/(-1) - 6). Which is bigger: q or -126?
q
Suppose 5*w - 5*n = 50061 - 596, -3*n - 9877 = -w. Which is bigger: 9904 or w?
9904
Let j = 0.4 - 5.4. Let w = 0.78 - 0.575. Let n = w - 0.105. Does n = j?
False
Let y = -274 - -7944/29. Let x = 9/551 + y. Is x != 0?
True
Suppose -3*g + a - 528 = 0, -2*g - 7*a - 359 = -10*a. Let x = 149 + g. Which is bigger: x or -3?
-3
Let t = -5833 - -5833.09. Which is smaller: t or 25/6?
t
Let a be 0 - ((-2)/22 - 920/4400). Is -6/25 at most as big as a?
True
Let l be 1/(((-2)/(-5))/2). Let o(x) = x**3 - 7*x**2 - 2*x + 21. Let c be o(7). Let b be -8 - -1 - -13 - c. Which is smaller: l or b?
b
Let n = -1577/80 - 11/16. Let i be 10/20*10*-4. Is n greater than or equal to i?
False
Let z be (1 + -3)/1*(132/11 - 8). Let m = -17 - -10. Let t be (1 + 0/(-2))*m. Which is greater: z or t?
t
Let m = 70889 + -70890. Let w = 331 + -284.4. Is m > w?
False
Let p be (-1*224/10)/((-102)/(-106930)). Let g = -192604847/8202 - p. Let u = g - -7453/1085398. Which is greater: u or 0?
u
Let d = -12011.9666 + 12012. Suppose -5*b = -25, 3*b - 15 = 3*i - 0*i. Which is smaller: i or d?
i
Let j(p) = 3*p**2 + 11*p - 19. Let d be j(-5). Let x be d + 69468/(-8682) - -7. Which is smaller: x or 0?
x
Suppose 52*s - 616 = 30*s. Suppose -117 = s*p - 15*p. Which is bigger: -6 or p?
-6
Let c(g) = -10*g - 2. Let i be 39/(-91) - (-8)/(-14). Let u be c(i). Let n(s) = 12*s - 69. Let t be n(u). Which is smaller: 28 or t?
t
Let r = -103.288 - -1.288. Is r != 3?
True
Let t be (40/12)/2 + 20/(-12). Is -26/511 greater than t?
False
Suppose -3*l + 7065 = 4*q, -l = 13*q - 8*q - 8845. Is 1771 < q?
False
Let r be (4/(-6))/(40*11/11220). Let f be 32 - (-1)/(-2)*0. Suppose -2*l - f = -0*l. Is l greater than or equal to r?
True
Let a be 19700/1800 - 2/(-36). Which is greater: 85 or a?
85
Let m = 463 - 537. Let k be (-111)/m*(-10)/(-3). Which is greater: k or -50?
k
Let y = 5.964 + -7.964. Which is smaller: -7/190 or y?
y
Let w = 17741.9 - 17742. Is -4958 smaller than w?
True
Let z = -423.414 + 423. Let c = 0.084 + z. Let u = 0.23 + c. Is -55 bigger than u?
False
Let w(p) = 37*p**2 - 77*p + 78. Let y be w(1). Which is smaller: y or 87?
y
Suppose 7*d - 2634 = 1855 - 387. Which is greater: 584 or d?
d
Let v = 12 + -10. Suppose -3*d - 180 = 5*c, v*c + 2*d + 107 = -c. Suppose -7*j - 102 = 3*z - 11*j, z + 47 = -3*j. Is c less than z?
True
Let s(t) = 1438*t - 14184. Let h be s(15). Which is smaller: 7388 or h?
h
Let a = -222.2 + 41.2. Let k = a + 177. Which is greater: k or 5/8?
5/8
Let m be 8*(-9)/(-684) + 91270/(-304). Let z = -300 - m. Which is bigger: z or -2/11?
z
Let k be 1/(11 + (-1248)/114). Which is bigger: k or 555/31?
k
Suppose -n - 2651 = -5*w, 3*w - 3*n = -8*n + 1585. Suppose u = -4*u + w. Which is bigger: 105 or u?
u
Let v be -7*(1320/(-168) + 8). Which is smaller: 8/3175 or v?
v
Let z = -7555 - -6380. Is -1181 less than z?
True
Let a = 16.911 - 18.911. Which is smaller: -0.0992 or a?
a
Let f = -42 - -127/3. Let q = 0.0072 - -9.5328. Let v = 9.5 - q. Is v < f?
True
Let f(l) = -2*l**2 + 9*l - 7. Let i be f(7). Let x be 3/21 - (-90)/i. Let c be (x - 0)*(8 + -6). Which is smaller: -24/5 or c?
-24/5
Let y be (2/52)/((-1)/(-22)). Is y > 3/11?
True
Let x be 13410/(-21) - 6/14. Let b be 3852/x - (-6 + 0). Is b less than 1?
True
Let d = -2664 - -1024. Which is smaller: -1641 or d?
-1641
Let p(z) = -33*z + 889. Let j be p(27). Let o = -3 + 4. Suppose -d + 3 = -4*x, 2*d - o = x - 2. Which is smaller: j or d?
j
Suppose 2*k = -c + 40, -3*k + 14*c = 19*c - 46. Let a be k + -39 - (5 - -1). Is 1 greater than a?
True
Suppose 0 = -399*m + 489*m + 6750. Which is smaller: m or -89?
-89
Suppose 0 = -136*o + 284*o. Which is smaller: o or 68/203?
o
Let s be ((-3)/(-5))/(4/20). Let l be (s + 1)*(-1 + 2). Suppose 0 = -l*v - 16, 2*d + 4*v - 12 = 3*d. Is d less than -29?
False
Let w = -0.025 - 0.0286. Let x = 0.0036 + w. Let v = -0.5 - -0.4. Which is smaller: v or x?
v
Let p = 7699 + -615919/80. Which is smaller: -6 or p?
-6
Let o be -3 + -4 + (-104268)/(-14892). Let r be -2*3/3*28/(-56). Which is bigger: o or r?
r
Let a be -2 - (-7)/((-14)/4). Let c be 4/a - (-1 + 0). Let g = -54 - -54. Is g not equal to c?
False
Suppose 17*b = 417 - 332. Let w(a) = a**2 + 2*a + 2. Let x be w(-3). Do x and b have different values?
False
Let z = -3825 - -3773. Which is greater: -62 or z?
z
Let r be ((-1)/(-27))/(226/678). Let j be (-8)/36 - 196/(-855). Let x = -112/285 - j. Are x and r nonequal?
True
Let v = -13665/7 - -65537305/33572. Is v at least as big as -1?
True
Let j = 2.967 - 2.662. Which is greater: 0.1 or j?
j
Let f be 2/(-4)*(-8)/572. Let d(o) = 19*o - 4 + 0*o**2 - 11*o - 4*o**2 + 13*o. Let r be d(5). Is f <= r?
True
Let l = 51.4 - 120.5. Let g = -72 - l. Does g = 2/3?
False
Let q(h) = 294*h - 897. Let o be q(25). Which is smaller: 0 or o?
0
Suppose 0*p + 110 = 8*p + 118. Is 14/991 greater than or equal to p?
True
Suppose -4*f + 57 - 601 = 0. Let y = f + 80. Let n = y + 57. Is n equal to -1?
False
Let a be ((-2)/(-1))/((-30)/(-75)). Suppose 3*g - i = 21, 4*i - i = -a*g + 21. Suppose -3 + 57 = g*t. Are t and 11 unequal?
True
Let m = -0.2 + 0.15. Let l = -0.8388 - 0.0512. Let g = l + 0.09. Is g equal to m?
False
Suppose 3*y + 8580 = 4*b,