f = -2 + 0. Which is greater: p or f?
p
Let y be (-12)/(-42) - 52/(-14). Suppose -3*r = 2*v + 5, 4*r = -0*r + y*v + 20. Which is smaller: r or -1/20?
-1/20
Let z = -172.78 + 171. Let x = 0.22 - z. Do 4 and x have the same value?
False
Let j = -4 + 4. Let u be (-24)/27*(33/12 + -2). Do j and u have different values?
True
Let f(s) = 9*s**2 - 310*s - 11. Let v be f(36). Is 489 at least v?
False
Let f = -1/1304 - 59969/19560. Which is bigger: -0.1 or f?
-0.1
Let h = -1592/15 - -532/5. Is h >= 0?
True
Let b = 977 - 2933/3. Which is smaller: b or -909?
-909
Suppose -5*i + 4032 = -i. Let u be 4/(-10) - i/(-1995). Which is bigger: u or 2?
2
Let i = 9 + 34. Suppose 0 = -4*u + 16, -i = -4*h - 2*u + 5. Let n = 0.082 - -0.918. Which is bigger: h or n?
h
Let m(q) = -58*q - 664. Let y be m(-6). Is y < -2?
True
Suppose 0 = 5*u + 5*s + 975, -2*s - 1 = 5. Are u and -192 nonequal?
False
Let n(c) = 2*c**3 - 5*c**2 - 4*c + 2. Suppose 14*r = 11*r + 9. Let u be n(r). Which is smaller: u or -5/3?
-5/3
Suppose -2*x + 5*x + 6 = 0, 0 = 4*g - x + 582. Let c = g - -421/3. Which is greater: c or -5?
-5
Let h = -37 + 37. Let b be -92 - (3/9 + -1). Let u = 90 + b. Do u and h have different values?
True
Let b = 1715 - 1520. Which is smaller: b or 194?
194
Let u(r) = r**3 + r**2 - 5*r - 3. Let o be u(-4). Let q = -32 - o. Is -40/9 at most as big as q?
True
Let c = 171 + -62.3. Let z = -108 + c. Let r be -1 - 0 - (-1 - 0). Which is greater: z or r?
z
Suppose w = -2*w + 4*w. Suppose -5 = 5*g + 25. Let s be ((-2)/g)/(10/(-36)). Which is smaller: w or s?
s
Suppose v - 21 = -2*v. Let s = 9 - v. Which is bigger: -3 or s?
s
Let z(x) = -3*x**2 - 22*x - 9. Let v be z(-6). Let l(s) = s**3 - 14*s**2 - 16*s - 3. Let m be l(v). Which is smaller: -17 or m?
m
Let z be 1/(-1 + 2) + 0. Let o = -196 - -198. Is o bigger than z?
True
Let v be ((-84)/(-9))/((-6)/(-27)). Suppose m + p - 51 = -3*p, 4*p = m - 35. Which is smaller: v or m?
v
Let u be (-216)/21 + 2/7. Let i = 314.9 + -312.9. Is i bigger than u?
True
Let z = -7 - -11. Suppose 3*x + 11 = -z*f - 2, 0 = 4*f - 4*x - 8. Let o be 3*2/60 - (-76)/(-1560). Are o and f equal?
False
Let z = -1082 - -1105. Which is smaller: z or 0.6?
0.6
Suppose y + 49 = 2*j + 42, -4*y + 24 = 5*j. Is 675 bigger than y?
True
Let t = 5/87 - -437/1479. Suppose 137 = -2*u + 5*a, 0 = 5*u + a + 257 + 45. Let o = 60 + u. Does o = t?
False
Let m be 14/28 + (-12)/(-8). Let j = 0.08 + -0.68. Let i = -1 - j. Which is greater: i or m?
m
Let m(a) = 3*a + 31. Let y be m(-9). Suppose 400 = -y*s + 148. Is -63 less than s?
False
Let y = -0.08 + -0.02. Let n = 16 + -11. Let w = 4.6 - n. Is y smaller than w?
False
Suppose 38*m + 23 = 15*m. Which is greater: m or -8/17?
-8/17
Let n be 9 - 8 - (-2)/1. Suppose t - 16 = 5*t. Let w(y) = y**3 + 5*y**2 + 3*y + 3. Let s be w(t). Do s and n have different values?
True
Let y(n) = -4*n**2 - 7*n - 19. Let i(l) be the first derivative of -l**3 - 5*l**2/2 - 13*l - 1. Let g(o) = 7*i(o) - 5*y(o). Let b be g(4). Are b and -13 equal?
False
Let o be -5 - -21*(-4)/(-12) - -528. Is 529 not equal to o?
True
Let k = 101 + -5. Let f = k - 97. Let o = -0.3 + 0.2. Which is smaller: f or o?
f
Let q(w) = -w + 5. Let p be q(5). Let z be -1*5/15*3. Let d be (1/6*2)/z. Is d greater than p?
False
Let n(t) = -t**3 + 10*t**2 + 25*t + 14. Let s be n(12). Are 24 and s unequal?
True
Let j = -600/11 - 2435/33. Let q = -128 - j. Let f = 0.8 - 4.8. Do f and q have the same value?
False
Let j be 16/(-2*2 - -3). Let u be ((-6)/14)/(j/(-56)). Suppose i + w = 4*i + 2, -i - 2*w - 3 = 0. Which is smaller: u or i?
u
Let m be 60 - 57 - 8*1. Is m at most -6?
False
Suppose 0 = -11*f + 117 - 73. Is 4 greater than f?
False
Let l(f) = -6*f - 5. Let c be l(-4). Let j(m) = 3*m**2 + 12*m - 115. Let n be j(5). Are n and c equal?
False
Let m = 9 - 31. Suppose -5*i + 3*z - 117 = 0, -9*z + 6*z - 9 = i. Which is smaller: m or i?
m
Suppose 0 = 14*h - 13*h. Let i be (-1 + 0)/((-1)/(-2)). Let b be ((-1)/(-9))/(1/i). Is b at least as big as h?
False
Let m be (-1730)/(-90) + (-6)/27. Let t be 1/(-26)*(-17 + m). Suppose 0 = -3*y + 5*y - 2. Is y less than t?
False
Let o be -18*1*580/(-2610). Let m be ((-3)/(-2))/((-3)/(-6)). Is m less than o?
True
Let j = 67 + -65. Are 13/17 and j equal?
False
Let v be (-3)/9 + 14/6. Suppose 4*b + v + 4 = 2*j, -b = j. Let i = 7 - 8. Is b greater than i?
False
Let v = 892270/9 - 99381. Let t = v - -241. Which is bigger: 0 or t?
t
Let p(t) = -t**3 - 9*t**2 - 12*t - 11. Let k be p(-8). Let s = 37 - k. Let u be 6/45*36/s. Which is smaller: u or 2/9?
2/9
Let x be (-9 - 2007/(-225))/(1/(-5)). Are 5.4 and x non-equal?
True
Suppose -46*l + 1080 = -16*l. Let b = -13 - -3. Let c be l/(-20) + 2/b. Which is greater: 0 or c?
0
Let l = 933 + -933. Does 4/419 = l?
False
Let v be (-1)/((-3)/(-45)*-3). Suppose 8*r = v*r. Let u = -2 - -2.1. Which is smaller: r or u?
r
Let x be (18/27)/((-2)/(-9)). Suppose -b - w - 102 = x*b, w - 80 = 3*b. Let s be (-6)/39 + 334/b. Is s less than -14?
False
Let a be -11 + 12 - -1*16. Which is bigger: 53/3 or a?
53/3
Suppose -5*l + 4*s - 2*s = -3, 2*l - 5*s - 18 = 0. Let n = -4717 + 1080195/229. Let z = n + 215/1603. Is l > z?
False
Let h(a) = a**2 - 15. Let f be h(0). Let z be -4 + 3 - 7*(2 - 0). Let c = f - z. Is -5 bigger than c?
False
Suppose 61 = -0*p + 2*p + m, 175 = 5*p - 2*m. Let k = -36 + p. Is k at least -2?
False
Let c = -43721/7 + 6215. Let x = c - -31. Let z be ((-2)/(-6))/((-2)/(-6)). Is z < x?
False
Let s = 0.3 - 0.26. Let y = -3/2648 - 1782095/7944. Let n = y + 224. Which is smaller: n or s?
n
Let t(m) = m**3 + 47*m**2 + 88*m - 28. Let p be t(-45). Is 59 equal to p?
False
Let l(m) = -m**3 - 18*m**2 + 15*m - 61. Let u be l(-19). Is 137/9 < u?
False
Let u = -34 - -57. Let k = -37.2 + u. Let v = k - -14. Which is greater: v or 0?
0
Suppose -2*w = 2*k - 3*w + 1, -3*k - 2*w = -2. Is k >= 10/21?
False
Let t = -351 - -3864/11. Suppose 0 = 31*u + u + 32. Which is smaller: u or t?
u
Suppose 4*o + 1 = -k, 2*o + k - 2 = -3. Suppose 0 = -d - 2, 2*w + 4*d + 20 = w. Let h be (-14)/w*(-12)/(-21) + -1. Which is greater: o or h?
o
Let v = 4 + -7. Let j be (-1)/(2 - (2 - v)). Suppose 0 = -7*l - 4*l - 9*l. Is l greater than j?
False
Suppose 3*z - 9 = -0*z. Let f be (-2)/((-8)/12*z). Let o be 3/(-2)*18/(-63). Which is bigger: o or f?
f
Let k be 84/(-24)*(-9)/35. Let q = k + -2/5. Which is smaller: 14 or q?
q
Let v(d) = -3*d - 2. Let y be v(-1). Let a = -0.6 + 1.1. Is a bigger than y?
False
Let c(r) = r**2 - 16*r + 29. Let j be c(14). Let v = 6/29 + -259/1392. Which is smaller: j or v?
v
Let m be (3 + 27/(-12))*4. Suppose -m*l = j, -5*j = 2*l + 2*l. Suppose 6 = -0*t + 3*t - 2*u, -2*t - 12 = 4*u. Is t bigger than l?
False
Let t = -121 - -120. Is -3/37 greater than t?
True
Let p = 7 + 4. Suppose 5*r + 22 = 3*m, 0*m + 2*r = -m - p. Is m != -1/14?
True
Let a(j) = -3*j**2 - 2. Let t = -24 + 22. Let f be a(t). Let i = f + 14. Which is bigger: i or -1/21?
i
Let u = -5.787 - -5.7. Which is smaller: -2 or u?
-2
Let t = 3/2047 + 40859/55269. Which is greater: 0 or t?
t
Let l(s) be the second derivative of s**5/20 - s**3/3 - s**2/2 + 10*s. Let y be l(-1). Is -3 greater than y?
False
Let w = -328 - -306. Do -103/5 and w have the same value?
False
Suppose 5*d - m - 86 = 0, -m = 5*d - 4*m - 88. Let q be ((-2056)/(-136) - 0) + (-4)/34. Which is smaller: d or q?
q
Suppose -2*y + 3*t + 17 = 0, y = 2*t - 4*t - 2. Let d(f) = 2*f - 4. Let q be d(3). Let x be (q/y)/(9/(-18)). Which is smaller: 1/3 or x?
x
Let w = -300 - -300. Is -2/63 less than w?
True
Let b(f) = f**3 + 3*f**2 - 5*f + 2. Let l be b(-4). Suppose -l*w + 41 = 29. Is 3 != w?
True
Suppose 0 = -5*i - j - 19, 5*j - 7 - 14 = 4*i. Which is greater: i or 179?
179
Suppose 0 = i + 5*z - 129, -z + 813 = 2*i + 564. Which is smaller: i or 123?
123
Let k = 397/6 - 66. Suppose -42*q + 46*q + 64 = 0. Is k != q?
True
Let n be ((-23040)/(-252))/(6/21). Which is smaller: n or 319?
319
Suppose -200 = 2*p - 292. Is p less than 47?
True
Let d(u) = u**3 - 11*u**2 + 13*u + 9. Let f be d(7). Let q be f/(-51) - (-10)/85. Is 12/23 at least q?
False
Suppose -3*q + 2*q = -20. Suppose q = -3*k - 2*k. Let f = 7 + k. Which is smaller: 4 or f?
f
Let b = 107 - 109. Which is greater: b or 32?
32
Let d = 875 + -875.2. Is d greater than or equa