r: a or 37?
a
Suppose 7*m + 119 = -0*m. Let y be -17 - (-3 - -2)/1. Is y bigger than m?
True
Let d = 1 - 2. Let q(f) = -2*f + 28. Let a be q(14). Let x be (12 + -6)/(1/(-1 + a)). Which is bigger: d or x?
d
Suppose -2*i = 0, -2*o - 4 = i + 16. Let w be 3 - 0 - (3 - o). Let d = -6 - w. Is 5/2 > d?
False
Suppose 162*z - 112 = 106*z. Suppose 1 = 3*c - 5. Does z = c?
True
Let a = -2376 + 999. Is -1377 > a?
False
Let a(z) = 7*z - 40. Let f be a(6). Suppose -2*k + 5*o = 2*o - 11, 0 = -f*k - 5*o - 13. Is -2/193 less than k?
True
Let r(t) = t + 1. Let q(b) = 2*b**2 - 11*b + 11. Let v(l) = q(l) - 4*r(l). Let w be v(7). Which is smaller: 1/9 or w?
w
Let b = -20/77 + 426/2233. Which is smaller: b or 0?
b
Let c be 678/(-24) - 3/4. Let s = 36 + c. Suppose 0 = j + s. Which is smaller: -9 or j?
-9
Let c = 14 - 11. Suppose -3*b + 5*b + 21 = -5*d, -b = -c*d - 6. Is -3 >= b?
True
Suppose 0 = -3*k - 5*d - 3 + 43, 30 = 4*k + 2*d. Suppose -2*m = -8*a + 3*a - 15, -45 = k*m + 4*a. Is -5 != m?
False
Let l be ((-8)/28)/(4/(-2696)). Let j = 192 - l. Does j = -2?
False
Suppose 3*s + 155 = -2*s. Let n = -464/15 - s. Which is bigger: n or 1?
1
Let b = -81/16 - -475/48. Is b at most 6?
True
Let u(w) be the third derivative of w**5/60 - 3*w**4/8 + 14*w**2. Let f be u(9). Is f equal to 2/59?
False
Let u = 2.281 - 2.3. Let q = u + -1.861. Let l = -0.12 + q. Is -1/4 less than l?
False
Suppose -5*o - 30 = -2*o. Let d = -13 - o. Let j = -29 - -27. Is j greater than d?
True
Let t = -561577/58 + 9682. Let r = -705/986 - t. Suppose 4*b + 5*q = -14, q = 5*b - 0*q + 3. Which is smaller: r or b?
b
Let v = 165.71 - 165. Let m = v + 0.29. Is m equal to -0.16?
False
Suppose -r - 1 = 0, -2*r = f + 3*f + 18. Let s(b) = 4*b + 12. Let d be s(f). Let u be 51/21 + d/(-7). Which is smaller: 7 or u?
u
Let a = 375 - 372. Do a and 13 have the same value?
False
Let s be ((-1)/(-2))/((-2)/1204). Let b = 1557/5 + s. Let a = -203/20 + b. Which is smaller: -1 or a?
-1
Let y be ((-36)/42)/(4/28). Is y > -5?
False
Let y(i) be the second derivative of -i**5/20 + 7*i**4/12 - 7*i**3/6 + 2*i**2 - 5*i. Let u be y(6). Let h = -310 + 2166/7. Which is smaller: h or u?
u
Suppose -n = 3*n + 1320. Let q be (-3)/n*(0 + 2). Which is bigger: q or 1?
1
Let u = 0.3 + 0.7. Suppose 2*x - 7*x = 0, 0 = -5*a + 4*x + 110. Let l = -31 + a. Which is bigger: l or u?
u
Let c be 3/((-5 + 1)/4*14). Does 0.1 = c?
False
Let t = 14 - 10. Suppose 4*s + t*i = 12, -2*s - i + 14 = 3*i. Let u = 2/735 + -11041/5880. Is u greater than or equal to s?
False
Let x be (-90)/27*(-6)/74. Which is smaller: x or 1?
x
Let v = -1/8396 + -3845365/25188. Are -154 and v equal?
False
Let s = -343 + 340.01. Let k = -3 - s. Which is greater: k or 1?
1
Let w = -1295.7 - -1237. Let l = 76.64 + w. Let r = l + -18. Is r != -2/3?
True
Let w be (3 + (-387)/135)/(1/(-3)). Is -51 bigger than w?
False
Let h = -21 + 23. Let y = 246 + -230. Which is bigger: y or h?
y
Let k = -364 + 312. Is 1/4 <= k?
False
Let b(u) = -u + 6. Let t be b(0). Suppose -m + t*m = 20. Suppose 14 = 11*q - 18*q. Is q < m?
True
Let d(j) = -16*j + 10. Suppose -5*l - 21 - 18 = -4*w, l = -5*w + 27. Let i be d(w). Let g = 861/10 + i. Which is smaller: g or 1?
g
Let v be (88/32*-4)/((-2)/54). Is v <= 296?
False
Let b = 108240 - 12880656/119. Let u = b - -4/17. Which is bigger: 1/3 or u?
1/3
Let n be -3 + 7/(-28) + 3. Are n and -4 nonequal?
True
Let a be 0 + (4 - (0 - 543/(-135))). Is -1 at least as big as a?
False
Let m = -0.324 + 0.424. Which is greater: 135 or m?
135
Let f be 16/(-72)*6 + (-26)/(-6). Which is smaller: f or -4?
-4
Suppose 3*l - 5*x - 5 = -0, 5*l + 5 = -5*x. Let u(o) = o - 12. Let m be u(10). Let r be (m/12)/(6/(-4)). Is r less than l?
False
Let s be (-4015)/(-84) - (-4)/14. Suppose c = l - 67 + 15, -2*l + 56 = -c. Let d = s + c. Is 1 equal to d?
False
Let w = 2.7 + 0.3. Let v = 13.9 + -12. Let l = 2 - v. Are w and l equal?
False
Suppose 0 = 3*p - 0*p - 3*u + 1125, -5*u = 2*p + 771. Let o be ((-4)/(-66))/((-6)/p). Which is smaller: o or 4?
o
Let y be (100/116475)/((-4)/(-9)). Is 0 at most as big as y?
True
Let u = -24.73 - -25. Let s = 0.01 - u. Let b = s - -1.56. Which is smaller: b or -2/7?
-2/7
Let p(l) = 6*l**2 - 7 + 7*l**2 + 4*l + 4. Let t be p(3). Let o = t - 632/5. Is o at most as big as -4?
False
Let r(o) = -12*o - 263. Let v be r(-24). Is 26 bigger than v?
True
Let v = 15.8 + -0.8. Let j = 15 - v. Let b = 4 - j. Does 1 = b?
False
Let f = -59 + -18. Let u be f/(-55) - 4/10. Do u and -1/13 have the same value?
False
Let d be 2*1 + 1 + -4. Let b(s) = -s**3 - 15*s**2 - 14*s. Let m be b(-14). Suppose 4*u = -m*u. Which is smaller: u or d?
d
Let h(j) = -4*j + 4*j**3 + 6*j**3 + j + 11 - 11*j**3. Let s be h(0). Is 12 at least as big as s?
True
Let h = -38 - -41. Suppose -3*u = t + 16, u + 2*u + 6 = -h*t. Which is smaller: -5 or u?
u
Let g(a) = -3*a**3 + 14*a**2 + 5*a. Let j(y) = -4*y**3 + 15*y**2 + 4*y - 1. Let i(r) = 5*g(r) - 4*j(r). Let l be i(-9). Which is smaller: 2 or l?
2
Let o be (-2)/(-12)*-10*1. Let q(y) = -y**2 + 26*y - 3. Let k be q(26). Which is bigger: k or o?
o
Let t be (-2140)/100 + 2 + (-39)/15. Which is greater: t or -23?
t
Let s be ((-9)/6)/((-540)/(-11280)). Which is greater: -32 or s?
s
Let y = 139 + -141. Let q = -24 + 16. Let h be q/(-36) - 28/18. Which is smaller: y or h?
y
Let i = -3.723 + -0.277. Do -3/14 and i have the same value?
False
Suppose 3*b - 13 = 4*n, 10*b - 10 = 5*b - 5*n. Suppose k - 29 = -4*h, -2*k - b*k - 7 = h. Which is smaller: h or 0?
0
Suppose 7*k = 2*k. Suppose -r = -5*y - k*y + 24, -3*r - y = 24. Let b = r + 17. Which is bigger: b or 9?
9
Suppose 8*d - 88 = 3*d + 3*n, -3*d + 2*n + 53 = 0. Let z = 15 - d. Let y be 13/(-6) + (-3)/z. Is y smaller than -15?
False
Let r(z) = -6*z**2 + 22*z. Let m be r(6). Is -15 bigger than m?
True
Let l(j) = -j**2 - 5*j - 1. Let r be l(-5). Let z be (30/(-12) - -2) + 2/4. Let q be (-10)/(-25)*(z - 5/13). Is q not equal to r?
True
Let s = 287 + -417. Let g = s + 131. Is 1 > g?
False
Let z = 1674 + -1666. Suppose 4*a - 20 = -2*v, 3*v + 3*a = a + 14. Is v less than z?
True
Let w(v) = -2*v - 58. Let p be w(25). Let b be (4/6 + -1)/((-20)/p). Is -2 greater than b?
False
Let y = -99/127 + 13165/15748. Which is greater: y or 1?
1
Suppose -3*n = -14 - 34. Suppose -2*j - 24 + n = 0. Let i = 2/347 + -2433/694. Which is smaller: i or j?
j
Let d = -977015/37 - -26408. Is 2 <= d?
True
Let m = 106 + -213/2. Which is smaller: 0 or m?
m
Let i = -39 - -119/3. Let n = 348 + -345. Which is greater: n or i?
n
Suppose -9*j + 3015 = -9. Is 335 not equal to j?
True
Let w(u) = u**3 - 7*u**2 - 16*u + 14. Let y be w(10). Suppose -12*f = -5*f - y. Are f and 22 non-equal?
False
Let v = 25.4 - 25.15. Let a = 41 - 121/3. Is a <= v?
False
Let i(u) = -u**3 + 64*u**2 - 5*u + 220. Let v be i(64). Which is smaller: v or -99?
v
Let t = -30 + 29.5. Let k = -0.5 + t. Is k <= 9?
True
Let w = -11017 - -9055975/822. Which is greater: -1 or w?
w
Let d(k) = -5*k + 1 - k**2 + 19 + 4. Let q be d(-8). Which is bigger: q or 21?
21
Let j = -1241 + 330. Is j less than -912?
False
Let k = 860 - 1417. Is k at least as big as -555?
False
Suppose 0 = 3*w - 4*d + 115, -31 = w - 4*d - 6. Let h be 243/w + (-4)/(-10). Let k be -4 + 1/((-9)/(-38)). Is k < h?
False
Let j = -21802/80593 + 17/971. Is 1 less than or equal to j?
False
Let v = -18 - -46. Suppose 0 = 4*j - 8*j + v. Let w = j + -6. Which is smaller: w or 2?
w
Let z = 2.1 + -3.1. Suppose -3 + 7 = 4*t. Which is smaller: z or t?
z
Let i be (0 + -2)*(-6)/12. Let o(y) = -17*y - 1. Let z be o(i). Which is greater: -17 or z?
-17
Let l(u) = -u**3 + 11*u**2 - 20*u + 19. Let f be l(9). Let a(v) = -9*v + 32. Let d be a(5). Which is greater: d or f?
f
Let b be 12 + (3 - 0) + -7. Let i be (b - 5)*2/24 - 1. Which is smaller: -0.02 or i?
i
Suppose 3*h + b - 33 = 0, -3*h + b = -4*h + 9. Let l be (-3)/h*(4 + -5). Is 3/5 bigger than l?
True
Let q(i) = -i**3 + 18*i**2 - 45*i - 152. Let n be q(14). Do 69/70 and n have the same value?
False
Let d be 18/1 - (-15)/(-5). Let s = 33 - -14. Let r = s - 33. Which is greater: r or d?
d
Let r = -5 + 3. Suppose -16 + 7 = -3*d. Suppose -13 = d*v - 5*h - 3, 4 = 5*v + 2*h. Which is greater: r or v?
v
Suppose 0 = -5*a - 5, 3*x + 2*a = -3*a + 4. Let g be 3/(2/(-2)*(x + -2)). Let w = -0.3