r p?
p
Suppose 11*m = -100 + 89. Is 2/29 smaller than m?
False
Let z(h) = -h**3 - 7*h**2 + h + 13. Let a be z(-7). Suppose -k = 3*f - 2, 4*k - 14 - a = 0. Is f at least -3/13?
False
Let o = -1109/29799 + 8/231. Is 1 < o?
False
Let m be (19/(228/8))/((-32)/(-6)). Which is bigger: m or 7/5?
7/5
Let b(u) = 5*u - 36. Let c(z) = z - 6. Let f(h) = -6*b(h) + 34*c(h). Let q be f(-8). Let a = -21 - q. Is a greater than -7/5?
True
Let m = 6 + 0. Let x = 16 + m. Let y = x + -22. Is y at most as big as 24?
True
Let o = -324 - -329. Which is greater: o or 4?
o
Let d = 7 + 13. Suppose 4*k + 1 = 89. Do d and k have different values?
True
Let j = -447 - -538. Which is smaller: 2 or j?
2
Let f = 0 + 0.4. Let u = -0.42 + f. Let l = -7.9 + 8. Is l at least u?
True
Let m be 0/(-1) + 0/(0 + -6). Suppose -o - 3*t - 12 = 0, m = -t - 3 - 0. Which is smaller: -4 or o?
-4
Let q = -41 - -42. Suppose -2*a - 3 = -q, -5*l - a = -54. Suppose 4*i - i = -3*b + 45, -3*b + 15 = -3*i. Which is smaller: l or b?
b
Let d = -28 - -85/3. Let i = 3.2 + -3. Is i not equal to d?
True
Let u be 2 + -2*(-26)/(-12). Let f = 81 - 80. Let d be (f + (-1)/5)/(48/(-120)). Which is greater: u or d?
d
Let u(g) = -7*g**2 + 13*g + 19. Let r be u(12). Which is smaller: r or -834?
-834
Let y = -556 + 556. Which is smaller: -55/4 or y?
-55/4
Let n = -395 - -1964/5. Which is smaller: -3 or n?
-3
Let p be 0*2/(-8)*-2. Suppose p*q = -4*q + 4. Is q not equal to -16?
True
Suppose 55 = 3*w + 4*l, -2*w + 4*l = w - 47. Let o = 101 - 83. Let a = o - w. Which is greater: a or -0.06?
a
Let m(a) = 5*a - 5. Let p(j) = j - 1. Let i(v) = m(v) - 4*p(v). Let w(g) = 3*g + 3. Let d(b) = -2*i(b) + w(b). Let z be d(-7). Which is smaller: z or 0?
z
Let s = 0.005 - 14.005. Let w = 22 + s. Is -0.3 less than or equal to w?
True
Let a = -3996 + 3997. Let o = -2 - -2.05. Which is greater: a or o?
a
Let k be -4 - (-824)/(-132)*3. Is -23 at most as big as k?
True
Suppose -f + l - 24 = 0, 3*f - 2*l + 12 = -62. Which is bigger: f or -23?
-23
Let r be 0/1 - 6/3084. Which is bigger: r or 1?
1
Suppose 301 = -7*h - 483. Which is smaller: h or -113?
-113
Let l be 3*(-4)/36 + (-363)/(-9). Is l > 37?
True
Suppose 222 = 22*y - 218. Is y > 17?
True
Let p be (-13)/1 - 36/(-9). Suppose -2*a - 7 = 2*x - 1, -28 = x - 4*a. Which is bigger: p or x?
x
Let s be (-1 - (-20)/(-5))*(2 - 3). Let d be ((-6)/s)/(40/100). Suppose 3*r = -18 - 9. Which is bigger: d or r?
d
Let k(i) = -28*i + 283. Let n be k(11). Which is smaller: -270/11 or n?
n
Let p = 297.3 - 301. Is p greater than -17?
True
Let a = -22 + 22.02. Let t be (8/(-154))/(14/(-49)). Which is greater: t or a?
t
Let v = 84 - 127. Let u = -50 - v. Is -7 greater than u?
False
Let i = -3592 - -3591. Let t = -0.42 + 4.22. Is t less than or equal to i?
False
Suppose -z - 21 + 78 = 0. Suppose -c + 62 = 4. Which is smaller: c or z?
z
Suppose y - 4*l + 7*l + 330 = 0, 966 = -3*y + 3*l. Which is bigger: y or -325?
y
Let c = 178 - 161. Suppose 44 = 3*j + 4*w, 2*j + 5*w - 13 = 14. Is j bigger than c?
False
Let b = 23 + -22. Let r = 1 + b. Suppose z - 3 = 2*h - h, -r*z = 4*h. Which is smaller: h or -2?
-2
Let l be (-1)/(-3) + 8/(-6). Suppose 4*w - 12 = 4*a - w, 0 = -3*a + 3*w - 6. Let o be a/(-3)*-3*(-4)/32. Is l less than or equal to o?
True
Suppose 2*q - 14 = -0*q. Let b = -5 + q. Let t be (-60)/24*(-2)/(10/3). Is t > b?
False
Let p be (-2 + (-21)/(-3))/(1/(-8)). Let f = -44 - p. Which is smaller: -24/5 or f?
-24/5
Let q be (-79)/(-2) - (-3)/(-6). Suppose 0 = 6*p + 9 + q. Which is smaller: p or -46/7?
p
Let b = 69/5 + -66/5. Let s = -14 + 13.89. Let q = -0.01 - s. Is b at most q?
False
Let h(m) be the third derivative of -m**5/60 - 5*m**4/12 + 7*m**3/6 + 3*m**2. Let z be h(-10). Let r be -3 - (1 + (-108)/8) - 2. Is z at least as big as r?
False
Let l(x) = -x**2 - 2*x - 1. Let z be l(-1). Let r = 342/1309 + -2/77. Which is greater: r or z?
r
Let l be 15/(-20) + 225/(-20). Which is smaller: l or -13?
-13
Let q(d) = -24*d**2. Let z be q(-1). Let f be (-139)/328 - 9/z. Let m = -1 - -1. Which is bigger: f or m?
m
Let s = -4 + 5. Let k be 30/8 + -5 + s. Is k less than 48?
True
Suppose -4*v + 3*k + 24 = 0, 0*k - 31 = -3*v - k. Let p be 2/(-9) - (-65)/v. Let n(g) = g**2 - 4*g - 4. Let l be n(6). Are l and p equal?
False
Let g = 510 + -1508/3. Is g bigger than 7?
True
Let j(z) = 8*z**2 + 75*z - 572. Let w be j(7). Which is greater: w or 1383/4?
1383/4
Let v(q) = -6*q**2 + 3*q - 6. Let l(m) = -3 - m**2 + 2 - 4*m + 4*m. Let p(d) = 5*l(d) - v(d). Let f be p(2). Is f != 0?
True
Let j = -9002/103305 - -19/213. Is -1 at least as big as j?
False
Let c = -9 - -2. Let d(g) = -g**3 - 7*g**2 - g - 3. Let q be d(c). Let m = -8 + q. Which is smaller: -5 or m?
-5
Suppose 3*i + 21 = 3*b, -8*i + 22 = -10*i + 4*b. Let v be (10/(-3))/1 - -1. Is i less than v?
True
Let x be 6/(-885) + (-14 - -14). Does 1 = x?
False
Let k = 31 + -36. Let i be k/10*(-4)/(-4). Do i and -1 have the same value?
False
Suppose -7*i + i + 102 = 0. Let r = 13 + 3. Let q = r - i. Which is smaller: q or -5/3?
-5/3
Let d = -141 - -95. Let b = d - -42. Which is bigger: 0 or b?
0
Let j = 792 + -786. Is 0.03 greater than or equal to j?
False
Let r = -4 - 56. Let w = -59 - r. Do -0.1 and w have different values?
True
Let m = 5286035/471 - 11223. Is 1 at least m?
True
Let u be (-1)/((-50)/(-6) - -2). Let f = 22/93 - u. Is 4 >= f?
True
Let u be 7/((-21)/(-9)) + -7 + 161. Let p = u + -1118/7. Is -2 at least p?
True
Suppose 2*o - 224 = -214. Do o and 61/11 have different values?
True
Suppose -2*b - 53 = 3*k, b - 23 = 2*k + 3. Which is bigger: k or -14?
-14
Let v = -0.325 - -0.125. Let l = 0.1 - 0.2. Let x = l - 0.9. Which is smaller: v or x?
x
Let u(c) = 10*c**2 + 32*c - 3. Let b be u(-3). Which is greater: 0.13 or b?
0.13
Suppose 0 = h + 2 - 5. Let y(s) = -6*s - s - 17 + s**2 + 4*s + 7*s. Let q be y(-7). Is h > q?
False
Let w = -0.159 - -1.459. Which is smaller: 0.064 or w?
0.064
Let f = -67/69 - -30/23. Let y = -2.4 - 49.6. Is y <= f?
True
Let y(g) = g**3 - 4*g**2 - 8*g + 28. Let w be y(4). Is -7 equal to w?
False
Let c = 0.022 - -5.878. Let y = 2.9 - c. Are 7 and y non-equal?
True
Let w be (-2)/(-3)*((-594)/(-114) + -6). Which is bigger: w or -2?
w
Let v(h) = -h**3 + 4*h**2 + 7*h - 17. Suppose -5*y - 4*z - 24 = -61, 5*y = 4*z + 13. Let d be v(y). Is d smaller than -1?
True
Let d be 20/5 + 1 - 5. Which is greater: -2/1271 or d?
d
Let d(w) = w**3 - 15*w**2 + 12*w + 8. Suppose 89 + 9 = 7*q. Let n be d(q). Do n and -19 have the same value?
False
Suppose -4*u + 162 = -u. Let q be (24/u)/(4/18). Let w = 6 + q. Is 9 <= w?
False
Let a = 0.356 - 1.046. Is -1/5 >= a?
True
Let u(o) = o**3 + 3*o**2 - 3*o - 2. Let p be u(-3). Let q = 19 - p. Let m be (-22)/6*3/(-1). Which is bigger: q or m?
q
Let a be (24/(-14))/(2/(-7)). Let j be (-7)/(-28) - (-141)/(-24)*a. Are -34 and j unequal?
True
Suppose -2*u + 24 = 2*r - 0*u, -3*u + 14 = r. Suppose r*v - 5*v + 36 = 0. Suppose -4*s + 15 = 47. Which is smaller: s or v?
s
Let p be ((-1)/(-2))/((-15)/6). Suppose 0 = 5*i - d - 4 - 1, 5*i = 3*d + 15. Suppose -z + 0*z = i. Which is smaller: p or z?
p
Let a = 485 - 213. Are a and 271 unequal?
True
Let o(r) = r**2 - 20*r. Let i be o(15). Is i less than -7?
True
Let n = 50 + -47. Suppose -5*q = -n*q. Which is smaller: q or -3/7?
-3/7
Suppose 17*j + 627 = 28*j. Let l = j - 57. Let a be (-30)/(-14) - (2 - 1). Is a at least as big as l?
True
Let o = -1.083 + 2.983. Which is greater: o or -2/45?
o
Let q = -5.6 + 215.6. Are q and 2 non-equal?
True
Let q be 3/1 + 12 + -8. Let f(n) = n**3 - 10*n**2 + 7. Let o be f(10). Is q at most o?
True
Let w(j) = 3*j**2 - 13*j - 4. Let b be w(6). Is 28 not equal to b?
True
Let s be (2/380)/((-228)/(-171)). Which is smaller: s or 1?
s
Let k = -1039 + 1039.3. Suppose 0 = 5*g + 6 + 4. Is k != g?
True
Let s be 35/(-5 + 12) - 4. Is s <= -3?
False
Suppose -4*u = 17*u + 1155. Is -55 <= u?
True
Suppose a = 4*r + 350, -3*a - r - 592 = -1616. Let k = a - 8553/25. Which is greater: 1 or k?
1
Let j be (-9)/(-12) + 2*(-537)/1656. Which is greater: 0 or j?
j
Let g be (-31 + -2)/3 - -1. Let r be g/4*1/(-65). Let k = -63/286 + r. Which is smaller: k or 0?
k
Suppose 4*v + 42 = -3*v. Let u(d) be the first derivative of -d**4/4 - 5*d**3/3 + 4*d**2 + 11*d + 2. Let w be u(v). Is w at l