 -3*r + 3*a = -a + 5, 2*r - a = 0. Suppose 4 + 0 = 4*z. Let x be (0 - 2/z)/(-1). Is r greater than x?
False
Let a be (-6 - (-117)/21)*8/(-6). Do 1 and a have the same value?
False
Let v be (-2)/(-8) - 87/252. Suppose 4*p - 3*p - 5*y = -26, 4*y - 16 = -4*p. Is v greater than or equal to p?
True
Let n be ((-10)/(-15))/(12/(-9)). Let m be -5 + (0 + 0 - -3). Which is greater: m or n?
n
Let c(q) = 3*q - 1. Let p(k) = -4*k + 2. Let b(r) = -6*c(r) - 5*p(r). Let h be b(4). Suppose z + h = 3*z. Is 3 not equal to z?
True
Let z = -262 - -264. Suppose 4 = 3*g - 4*g, 10 = p - 2*g. Do p and z have the same value?
True
Let p = -291/55 + 26/5. Let i be (-2 - 1 - 0) + 4. Is p at least as big as i?
False
Let w = 19 + -17. Let c = w - 3. Which is bigger: c or 2/9?
2/9
Suppose 4*m - 16 = -v, 0*v - 5*v = -3*m - 11. Let s be (v/(-8))/(2/(-12)). Is s greater than 4?
False
Suppose -3*o = 2*r + 29, o + 60 + 13 = -4*r. Let s = r - -19. Is s at least as big as -1?
True
Let j = -28/5 + 51/10. Which is smaller: j or 0?
j
Suppose 2*z = 2*w + 198, 2*z + w - 109 = z. Is z greater than 104?
False
Let w be (-4 + (3 - 0))/(1 - 0). Is 1/70 >= w?
True
Let d be (-1)/(1 - 6)*27. Let h = -5 + d. Is -1/3 smaller than h?
True
Let n be (-1554)/(-792) + 9/(-12). Let x = 47 + -523/11. Let h = n + x. Which is bigger: h or 0?
h
Let l(a) = a - 7. Let w be l(9). Let u = -3 + w. Let o be 2*(-1 + (-12)/(-11)). Which is greater: u or o?
o
Let q(a) = -a**3 + 6*a**2 + 2. Let b be q(6). Let u = -6 + b. Is u bigger than -4?
False
Let s(i) = -i**3 + i**2 + i - 3. Let f be s(0). Let w = 31 - 32. Is f at least w?
False
Let l = -7 - -11. Suppose 5*i + 6 = -l*y + 5*y, 2*y - 2 = 0. Which is greater: 2/9 or i?
2/9
Let f = 5 + -3. Suppose 3*b - v = f*v + 18, 8 = -4*v. Which is smaller: 3 or b?
3
Let c = -8 + 5. Let f be (-1)/(-3)*(6 + c). Which is smaller: 1/6 or f?
1/6
Suppose 0 = s - 3*s + 96. Which is smaller: s or 2?
2
Let z be (-10)/(-15) - (-1 + 1). Which is smaller: 2 or z?
z
Let a be (2/(-1 + -1))/(-11). Let h = -77867/22 + 3540. Let d = h - a. Is d less than or equal to 0.1?
False
Let f = 0.06 + 0.34. Let g = 0.02 + -1.02. Which is smaller: g or f?
g
Let a(w) = w**2 - w - 1. Let r be a(-2). Suppose -r*q = -q + 16, 5*q + 25 = -5*g. Let m = 56/5 - 11. Which is smaller: m or g?
g
Let r = -0.3 + -0.7. Which is bigger: r or 4/7?
4/7
Let r be (2/(-4) + 0)*(22 + 22). Is -23 > r?
False
Suppose 6 + 6 = y. Let n be (-6)/(-5) - y/6. Suppose 0 = 9*m - 8*m. Which is bigger: m or n?
m
Let l be 0/(3 + -3 + 2). Which is greater: -3 or l?
l
Let u be 0 + (4 - 1) - -1. Suppose -2*y + 2*t = -4, -u*y + 5*t + 0 = -13. Let k be 4/(-3) - 6/9. Which is bigger: k or y?
k
Let r be 1*0*(-2)/(-6). Are r and 14/19 non-equal?
True
Suppose -3*b + 4*r = -36 - 4, 2*b = 3*r + 28. Let h = 10 - b. Suppose -h*l + 0 = -4. Is 5/3 less than l?
True
Let j = 10 + -10. Which is greater: -0.09 or j?
j
Let t = -22 - -22. Which is greater: 3/29 or t?
3/29
Let g = -0.6 + -0.4. Let t = 1 + g. Let z be (3/(-2) + 2)*1. Which is smaller: z or t?
t
Let f(o) = -o**2. Let c be f(0). Let x be c - 3 - 28/(-12). Is x at most 0?
True
Let z = -23384/5 + 4694. Is 16 at most z?
True
Let o = 41 - 39. Are 0.9 and o equal?
False
Suppose -5*g + 0*g + 30 = 0. Suppose 0*v = 3*v + g. Is -2 equal to v?
True
Let i be 94/(-5) + (-2 - -2). Suppose 5*l + 99 = -3*m + 22, 0 = -4*m + 3*l - 64. Let x = m - i. Which is smaller: 0 or x?
x
Let m = 68/179 - 65360/537. Let r = 120 + m. Are -1 and r equal?
False
Let d = -10 + 9.7. Is 2 at least d?
True
Let l = -29 + 30. Which is smaller: 2/7 or l?
2/7
Let t(g) = g - 3. Let h(j) = -j + 4. Let q(p) = 4*h(p) + 3*t(p). Let a be q(7). Let r = 50/3 + -17. Which is bigger: a or r?
a
Let a(s) = -s**3 - 8*s**2 + 9*s + 4. Let b be a(-9). Is b < 1?
False
Let v(o) = o + 1. Let b be v(1). Let c(t) = b + 1 - 4 + t. Let u be c(1). Does -1/4 = u?
False
Let z(n) = -2*n**3 - n**2 + 3*n + 1. Let l be z(-2). Let s = 5 - l. Let o be (3/4)/(1/(-4)). Is o less than s?
True
Let m(z) = -2*z + 34. Let s be m(14). Let r be ((-5)/(1 + 0))/(-1). Which is smaller: s or r?
r
Suppose -40 + 55 = -5*v. Is -22/9 < v?
False
Let m = -44.2 - -44. Let y = 0.1 - -0.5. Let b = 1 - y. Which is greater: b or m?
b
Let g be (-4)/10 - 620/(-425). Is g less than or equal to 0?
False
Let s = 66 - 64. Which is smaller: -2/7 or s?
-2/7
Suppose 2*r - 3 = -3*h, -2*h + 3*h - 1 = -5*r. Suppose -2*d + 0*d - 2 = r. Which is bigger: 1 or d?
1
Suppose -3*c + 2*j + 0 + 18 = 0, -1 = -2*c + 5*j. Suppose -3*v + 33 - 2 = -4*q, -13 = -2*v - 5*q. Which is greater: c or v?
v
Suppose 2*o - 6 = -2*p, 0*o = 4*o - 5*p - 3. Let r be o/(-4)*2*-2. Suppose 1 = -3*f + 13. Are r and f unequal?
True
Let v be (1 + 47)*3/6. Suppose v - 6 = q. Let g be q/10 - (-3 + 4). Which is smaller: 0 or g?
0
Let s = 0.24 + -0.04. Is s smaller than 2?
True
Let n be (0 + 1)*(-10)/25. Suppose 0 = -4*c + c - 3. Which is greater: n or c?
n
Suppose 0 = r - 4*i - 0 - 1, 3*i = r - 5. Suppose 4*a + d = -2*d - r, -3*a + 3*d + 3 = 0. Let h = -15 - -11. Which is smaller: a or h?
h
Suppose 0 = -4*b + 12 + 4. Suppose x - 1 = -b. Let n be (2/(-9))/(x/9). Are -3/7 and n nonequal?
True
Let q = -9 + 9.16. Let a = -5.84 - q. Let s = -5.6 - a. Is -1/2 bigger than s?
False
Let g(d) = -3*d**3 + 3*d**2 + 16*d + 5. Let y(n) = -n**3 + n**2 + 5*n + 2. Let m(v) = 2*g(v) - 7*y(v). Let p = -7 - -10. Let q be m(p). Is q at least 5?
True
Let d be -1 + 1 - (-1)/(-1). Let z be (0 - -2)/((-10)/2). Which is smaller: z or d?
d
Let u = -60 - -73. Is 14 >= u?
True
Let f be (-4)/(-14) + 1/(-7). Let t = f + -10/21. Is -1/9 smaller than t?
False
Let i be (-30)/25*5/(-2). Suppose -3*x = 2*m - 2, -4*m + i*x - 7*x = -4. Let r be 1 - (-1 + 0/(-2)). Is m equal to r?
False
Let l = -12 + 13. Is 1/8 at most as big as l?
True
Suppose 0 = 3*t - 0*t - 9. Suppose -3*q + 11*q = 32. Which is greater: q or t?
q
Let a be 2/10 + 1446/(-405) - -3. Which is greater: a or -1?
a
Suppose 0 = -a - 4 + 1. Let h be 6/8*(-1)/a. Which is smaller: h or 1?
h
Let l(m) be the first derivative of m**4/4 + 3*m**3 + 7*m**2/2 - 9*m - 5. Let a be l(-8). Is a greater than 2/15?
False
Let t(i) = -i**3 + 7*i**2 - 5*i - 4. Let u(f) = f**2 + 2. Let k be u(-2). Let m be t(k). Suppose 3*b = 5*b - 6. Which is smaller: b or m?
m
Suppose -2*d - 28 + 4 = 0. Let a be (3/(-10))/(d/(-16)). Which is greater: -3 or a?
a
Suppose 51 = 3*u + 3*r + 123, -r - 68 = 3*u. Which is smaller: -21 or u?
u
Let f = -11.8 - -33.8. Which is smaller: -4 or f?
-4
Let w = 10.5 - -2.5. Let g = -15 + w. Which is greater: 0.2 or g?
0.2
Let j = -29 + 28. Which is bigger: j or -0.24?
-0.24
Let u(k) = k + 11. Let d be u(-10). Is 2/29 less than d?
True
Let w be 30/(-4)*(-16)/20. Let c = w + -6. Which is greater: 2 or c?
2
Suppose 3*q + 156 = -5*w, w - 6*w = 4*q + 153. Which is greater: -32 or w?
-32
Let v = 0.9 - 1. Let a = 152 - 161. Is v at least as big as a?
True
Let u(p) = p - 8. Let q be u(10). Suppose q*g = 3*g. Is 2/3 bigger than g?
True
Suppose 0 = -t - 4*t + 20. Let b be t/5 + (-1)/(-5). Which is bigger: b or 0?
b
Let p = -7 + 6.7. Let h = 0.7 - p. Are h and 1 equal?
True
Let m(b) = 7*b - 2*b**3 + b**3 - 4*b**2 - 6 + b + 10*b**2. Suppose 5*g = -3 + 38. Let i be m(g). Is 2/7 at least as big as i?
False
Let z = -1 - -0.96. Let l = -2 - -1.96. Let k = z - l. Is -2/9 < k?
True
Let x = -347/2 + 3059/18. Let c = x - -98/27. Let m = c + 17/135. Which is bigger: -1 or m?
m
Let k be (15/6)/(-8 - -6)*-1. Let g = 0.2 + -0.3. Is g bigger than k?
False
Let k be 2/7 + 586/252. Let m = k + -1/9. Is m < 3?
True
Suppose 5*s - 3*b = -9, b = -s + 2*b - 3. Suppose -6 = -4*j + 18. Suppose -h = -5*z - j*h, h = 0. Do z and s have different values?
False
Let b = -41 - -41. Which is smaller: b or 2/5?
b
Let j = 12/7 - 67/35. Let k = 32072/15 - 2139. Let n = k - j. Which is smaller: 0 or n?
n
Let y be 8/244 - 0/4. Which is smaller: y or -2/3?
-2/3
Let s be 1090/(-182) + (-8)/4. Let k = 1/2207 + -125806/15449. Let c = k - s. Which is smaller: c or 1?
c
Let k = 24 + -28. Is k bigger than 0.02?
False
Let v be ((-29)/2)/(2 + 10/(-4)). Do v and 31 have different values?
True
Let v = 1 - 2. Let b be 68/70 + (-28)/49. Do b and v have the same value?
False
Suppose -14*b + 9*b = 0. Is -3/4 greater than b?
False
Suppose 6*l - 3*l - 12 = 0. Suppose -3*p + 2*f