ual to -15/34?
False
Suppose -3*a = -2*y + 11, -4*a + y - 5 - 3 = 0. Is -1/24 greater than or equal to a?
True
Let j be 34/(-10) + (-34)/(-85). Let h be 0/(0 - 3) + -1. Let c be ((-3)/99*j)/h. Which is greater: c or 0?
0
Let l = 206 - 143. Which is smaller: 0 or l?
0
Suppose -10*j + 420 = -610. Is 102 smaller than j?
True
Let l be ((-12)/21)/(-2 + 0). Let r = -7 - -2. Let n be 2/(r - -3)*1. Is n greater than or equal to l?
False
Let p(h) = -6*h + 7. Let f be (4/5)/(9/(-45)). Let a(s) = s**3 + 3*s**2 - 5*s - 1. Let k be a(f). Let z be p(k). Is z at least as big as -11?
True
Let z = -11 + 12. Suppose z + 4 = -5*c. Which is smaller: c or -6/5?
-6/5
Suppose 11*b - 7*b = 3*i - 24, 0 = 2*b + 6. Does i = 28?
False
Suppose -2*m + 6*m + 32 = 0. Let o be (0/(-1))/(2 - 3) + m. Which is greater: o or 1?
1
Let v be 14 + (-2 - 0/(-4)). Which is smaller: 61/5 or v?
v
Let n be (14 + 1)*(-7 + 6). Let r(b) = -b - 1. Let d be r(13). Is n greater than d?
False
Suppose -3*o = 5*c + 336 - 427, -5*c - 20 = 0. Is 38 < o?
False
Let p be -2 + -3 + (30/(-10) - 39). Which is smaller: p or -49?
-49
Let q = 32 - 0. Suppose -4*s + q = -0*s. Let m be 3/6 + (-4)/s. Which is bigger: m or -2/13?
m
Suppose -4*r - 12 = 2*r. Let i be (r/(-232)*-2)/(7/14). Let m(l) = l**2 + 2*l + 1. Let u be m(-1). Which is bigger: i or u?
u
Suppose 0 = -3*i + 2*o - 687, 11*i - 15*i + 2*o - 916 = 0. Which is bigger: i or 0?
0
Let d = -451 + -716. Which is greater: -1168 or d?
d
Suppose 11 = -f - 3*y, 2*y = -4*f - 2*y - 4. Let m(v) = -2*v**2 + 7*v + 5. Let h be m(f). Which is greater: h or -3/17?
h
Let p = 882.4 + -879. Is 1/6 != p?
True
Let a = 186 - 185. Is a greater than or equal to -301?
True
Let i(n) be the first derivative of n**3/3 - 2*n**2 + 14*n + 8. Let u be i(4). Is 13 >= u?
False
Suppose -3*k - k = j - 14, -15 = -3*k - 3*j. Suppose -k*s - 12 - 16 = 4*q, 0 = s - q + 14. Let m = -22 - s. Do m and 0.1 have different values?
True
Suppose 603 = 9*n + 738. Is n less than -18?
False
Let r = 120 - 80. Let p = 0 + 10. Let y be (2/r)/((-4)/p). Which is bigger: y or -1?
y
Suppose 12*q + 27 = -9. Let c = 1 + -3. Which is bigger: c or q?
c
Let l(d) = -3*d**2 - 7*d + 6. Let c(o) = 2*o**2 + 6*o - 5. Let g(v) = 6*c(v) + 5*l(v). Let w be 1/4 + 55/(-44). Let f be g(w). Which is smaller: -3 or f?
f
Let i = 7 - 3. Suppose -12 = i*u, 4*u + 2 = b - 28. Which is bigger: b or 20?
20
Suppose -9*t + 8*t = 3. Which is bigger: t or -60/19?
t
Let k be 2/7 - ((-630)/(-147) - 4). Which is greater: k or -2/925?
k
Let m be (-1413)/5040 - -1*(-6)/(-21). Which is bigger: m or -1?
m
Let h = 8687/33 + -263. Which is bigger: -2/7 or h?
h
Let d = -866 - -24245/28. Which is bigger: -1 or d?
d
Let a = -2.315 + 2.266. Which is smaller: -1/4 or a?
-1/4
Let z = -1055/108891 - -2/2943. Let d = -6911329223/2886 + 2394778. Let s = d - z. Is s at most -1?
False
Let j be 192/(-352) + (-51)/(-33). Let g = -2 - -1.6. Let o = g - -0.8. Is j equal to o?
False
Let u = 5 - 1. Let w(v) = v - 5. Let c(i) = i**3 + 5*i**2 + i - 5. Let r be c(-4). Let x be w(r). Which is smaller: x or u?
x
Suppose -4*b - 4*a = -28, -5*b + 4*b = -4*a - 22. Suppose 4*t - 4 = -o - o, -2*t = -o - b. Let d(s) = 23*s - 2141. Let q be d(93). Which is greater: o or q?
q
Suppose -7*c + 49 + 63 = 0. Does 104/7 = c?
False
Let i be (8/(-24))/(2/(-126)). Let o = i + -17. Let q = o - 4. Which is smaller: q or -4?
-4
Suppose -957 = 90*g + 1747 - 544. Let t = -12 + -15. Is t greater than g?
False
Let z = 149 + -228. Which is greater: -80 or z?
z
Let h(u) = 86*u - 278. Let a be h(4). Are 64 and a equal?
False
Let z be (1780/(-15) - -4)*(2 + -5). Which is bigger: 345 or z?
345
Let p = 51 + -50. Suppose 3*y = -4 + p. Let x = 62424/49 - 1274. Is y <= x?
True
Suppose -t - 4 = 3*r, 1 = -4*t + r + 2*r. Let q be t/3 - (-8)/(-6). Let x(k) = -k + 2. Let g be x(4). Is g at least as big as q?
False
Suppose 11*b + 0*b - 4290 = 0. Is b greater than or equal to 391?
False
Let o = 1251931/9 + -139440. Let x = -337 - o. Is 2 smaller than x?
False
Let w = 328337/128144 - -2/8009. Let a = w + -643/176. Let x be (273/(-49) + 5)*2/(-8)*-14. Which is bigger: x or a?
a
Suppose -75 = 5*a - 0*a. Suppose -50 = 5*s + 30. Are s and a equal?
False
Let k(f) = -2*f - 7 + 8*f - f**3 - 6*f**2 + 1 + 0*f**3. Let r be k(-7). Let n(y) = -y**3 + 26*y**2 + 26*y + 22. Let s be n(27). Which is greater: r or s?
r
Let x(y) = -y**3 + 6*y**2 + 10*y + 15. Let w be x(8). Which is smaller: w or -4?
w
Let f = -0.2 - 0. Let p = 0.2 + f. Let j = 1871.18 - 1871. Which is smaller: p or j?
p
Let z(m) = -m**3 - 5*m**2 + m - 1. Let f be z(-5). Let b(c) = -4*c - 1. Suppose 0*g - 4 = -4*g. Let u be b(g). Is u at least as big as f?
True
Let y = 24 - 28. Let b(g) = -g**2 - 10*g - 7. Let k be b(y). Is k greater than 2/5?
True
Let k = 10 + -11. Let j = -0.91 - k. Let h = -0.01 - j. Is h greater than or equal to -6/11?
True
Suppose 4*i + 104 = -4*g, 3*i - 6*i = -9. Which is smaller: g or -27?
g
Let w be 2/2 - (-5)/(-180)*9070. Let r = w - -251. Is -2/5 > r?
False
Let f(o) = 2*o**3 - 5*o**2 + o + 4. Suppose -5*w = -10 - 5. Let z be f(w). Suppose -6*n = -2*n + z. Which is smaller: n or -6?
-6
Let y be (-2211)/(-45) - -5*10/(-375). Is -2 bigger than y?
False
Let z = 431 + -429. Are 16/3 and z unequal?
True
Let q be (-2)/(-16) - (-41353)/1768. Let a = q - 81/17. Which is smaller: a or 20?
a
Let i = 1 - 6. Let j = 4 + i. Let g be ((-2)/(-2))/(j/(-5)). Is 7 >= g?
True
Let t be (-7 + 56)/((-3)/(-2 + 5)). Is t < -52?
False
Let p = 0.096 + 24.904. Let q = p + -29. Which is smaller: 0.2 or q?
q
Let l = 7072 + -49509/7. Let f = 0 - 0. Which is greater: l or f?
f
Let y = 96 - 95. Suppose -3*h + 20 = 5. Suppose -h*f - y = 4. Which is smaller: -2/7 or f?
f
Let l be (-50)/(-20) + -2 + 0/(-2). Which is greater: l or -55?
l
Let s = 10 - 4. Suppose s*u - 8*u = -4. Which is bigger: u or 10/11?
u
Suppose 5*z + 75 = -4*t, 2*t + 2*z + 29 = -11. Let d = 767 - 766. Is d <= t?
False
Let u = -8.1 - -8. Let c = -7 - -7.2. Let p = u + c. Which is smaller: p or -2?
-2
Let q = 24 + -19. Suppose -5*w + 3 = 3*c - 2, 5*w = 2*c + q. Which is greater: 20 or c?
20
Let d be (-168)/345 - ((-8)/44 - (-36)/(-165)). Let g = -0.1 - -0.1. Is d smaller than g?
True
Suppose 5*g = 4*p + 3 - 24, -4*g - p = 0. Which is smaller: 2/147 or g?
g
Let i = 0 - -3. Let u = -4 - i. Let m be 30/(-84)*(-42)/60. Which is smaller: m or u?
u
Let x = -0.11 + 12.11. Let j = x + -12.1. Is j greater than 23?
False
Let n = 130 + -107. Which is greater: n or 18?
n
Let m be -5 - (-1 + 2 + 5 - -11). Is -29 at most m?
True
Let w = -205 - -297. Let f be 4/(-6) - w/(-12). Let l be 27/18 - (-22)/4. Is l > f?
False
Suppose i + 2*v = 6*v + 3, i - 5*v = 4. Let f = -8 + 81/10. Is f greater than i?
True
Let n be (4 - 20/5)/(0 - 1). Is n at least as big as -1/134?
True
Let b = -45 + 44. Which is bigger: 6/157 or b?
6/157
Suppose 5*u = 8 + 17. Let a be (-3*u)/(-3) - 4. Let p = 827/51 + -49/3. Do p and a have the same value?
False
Let k(y) = -y + 12. Let r be k(-11). Suppose -r - 1 = 4*x. Let g be x/(-10) - (-4)/10. Is g smaller than 2/11?
False
Let k(l) = 2*l**3 + 10*l**2 - l - 3. Let i be k(-5). Let r be 350/8 - -4 - i/(-8). Is 49 less than r?
False
Suppose -5*d + 26 = 3*r, 4*r = -276 + 284. Is d at least as big as 112/25?
False
Suppose -4*x = -0 - 16, 5*t - 5*x - 70 = 0. Let i(f) = f**2 - 3*f + 1. Let r be i(-3). Which is smaller: r or t?
t
Let f(b) = -b**2 - 71*b - 29. Let d be f(-67). Is 240 bigger than d?
True
Suppose 0*o - 5*o = m + 8, 2*o - 2 = -3*m. Let v = 1 - o. Suppose -8 = v*t - 5*t. Is t at least as big as -1?
True
Let c be (0 - -3)*1/(-1 + 0). Let n be (-5)/(-25) - (162/(-15) + c). Is n greater than 51/4?
True
Let f = -41 - -43. Suppose 4*n = f*n. Which is bigger: n or 6/5?
6/5
Let p(u) = -u + 1. Let x(b) = b + 4. Let m be x(-7). Let l be p(m). Let d be l - 1 - (-37)/(-13). Is d greater than or equal to -2/5?
True
Let t = -46 - -46. Suppose t = 2*v - 15 + 19. Is v greater than or equal to -2?
True
Let c(f) be the first derivative of f**4/4 - 4*f**3/3 + f**2/2 - f - 10. Let b be c(4). Do b and 4 have the same value?
False
Let j = 493004/183 - 2694. Which is greater: -1 or j?
j
Let j be ((-3 - -8) + -25)*2/(-8). Suppose -3*q - j*z = 61, z = 4*q - 4*z + 23. Which is greater: -11 or q?
-11
Let c(b) = -b**