 + v*b = 12, -2*q + 4*b - 16 = q. Is q <= -1/5?
False
Let m(a) = -a**2 + 3. Let c = 16 + -18. Let t be m(c). Is t >= 5?
False
Suppose -38 - 45 = -3*x + g, 0 = 2*x - g - 55. Let f = x + -29. Let p be (f/(-17))/((-3)/6). Is p at most as big as -0.3?
False
Let y(q) = 4*q - 27. Let p be y(5). Let n(a) = -a**3 - 8*a**2 - 4*a + 13. Let o be n(p). Which is bigger: o or -5?
-5
Let x be 0/11 + (-10)/55. Which is greater: x or -1/2?
x
Suppose 3*r - 3*d + 3 = 0, d = -4*r - 4*d - 4. Is 2/843 > r?
True
Let u = 79 - 94. Let c = u - 5. Which is greater: -16 or c?
-16
Suppose 8*q - 5*q - 78 = 0. Suppose -8*x - q = -10. Which is smaller: x or -6?
-6
Let m be (-484)/30 - (-144)/72. Is -13 at most m?
False
Let z = -14 + 5. Let y be (z/(-6) + -1)*-12. Let m be ((-2)/(-18))/((-1)/y). Is m != 0?
True
Let t = 3.62 + -3. Let o = t + -0.72. Is -6/23 less than o?
True
Let m(x) = 13*x**2 - 19*x - 20. Let f(d) = 3*d**2 - 5*d - 5. Let j(r) = -9*f(r) + 2*m(r). Suppose 0 = -4*u + 32 - 0. Let w be j(u). Is w at most as big as -4?
False
Let i be (-6)/(-15) + (-3)/(-5). Which is bigger: i or -106?
i
Let i = -5.12 + 0.12. Let m = i + 6. Let u = 18.9 + -19. Is u at least m?
False
Let o = -0.4 - 0.1. Let z = o + 0.7. Let s = -2.88 + -0.12. Which is greater: s or z?
z
Let v(o) = -o**2 + 20. Let l be v(-5). Let k be 9/12 + l/((-60)/(-27)). Which is smaller: -3 or k?
-3
Let i be (14*(-12)/(-2765))/((-6)/(-20)). Which is smaller: i or 1?
i
Let y(h) = 39*h**2 + 3*h + 4. Let a be y(-4). Let g be (a/315)/(-11) - 4/18. Let t = 0.67 + -0.07. Which is smaller: g or t?
g
Suppose -9*q - 2*q + 132 = 0. Let w = 47/4 - q. Suppose -s = 3*d + 8, 0 = 3*d - 4*s - 4 - 13. Which is smaller: w or d?
d
Let n = 6964/4815 + -1/535. Suppose -3*z = -0*z + 4*m - 12, -z - 12 = -4*m. Is n != z?
True
Let s = -2.37 + 2.27. Is -2/19 != s?
True
Let u = -26 + 89. Let x = u - 503/8. Let t = 17 - 16. Is x > t?
False
Let u(j) = j**3 + 8*j**2 + 16*j + 14. Let k be u(-7). Let s = 246/5 + k. Is s smaller than -2/9?
False
Let o = 19 - 115. Which is bigger: o or 2/7?
2/7
Suppose -3*s = -3*m - 177, s + m - 21 = 36. Suppose -4*k - s + 18 = 0. Does -8 = k?
False
Suppose 0 = 24*k - 619 - 3101. Which is smaller: k or 158?
k
Let d = -52 - -36. Let z(t) = t**3 + t**2 + 13. Let s be z(0). Suppose -5*l + 52 - s = -2*n, -l = 3*n + 50. Which is smaller: n or d?
n
Let p = 0 - -380. Which is smaller: 377 or p?
377
Let p(s) = -2*s + 12. Let x be p(3). Suppose -x*d - 2*m - 2 = -2*d, 0 = -5*d + 2*m - 16. Which is smaller: -3 or d?
-3
Let p = 22 - -2. Let w = -23 + p. Is 6/19 <= w?
True
Let u(z) = z - 12. Let t be u(6). Let a(i) = -2*i**2 - 10*i + 6. Let o be a(t). Let g = -1 - 2. Which is greater: g or o?
g
Let a = 0.12 + -1.92. Let y = 2 + a. Let v = 0.8535 - 0.0535. Is y <= v?
True
Suppose 2*l - 9 = 4*i - 3, 5*l + 5*i + 15 = 0. Is -3/61 less than l?
False
Let x = 123 + -123. Let k(m) = -m**3 - 2*m**2 - 2*m - 1. Let o be k(-2). Which is bigger: o or x?
o
Let k(h) = -15*h**2 + h + 2. Let g be k(-2). Let u = -33 - g. Suppose -28*t + 31*t - u = 0. Which is bigger: t or 10?
10
Let h(p) = p + 2. Let l be h(-1). Let v be (8 - 9)*69*1. Let y be v/33*l + 2. Is y at most 0?
True
Let l = -105 + 108. Which is smaller: l or 26?
l
Let f be (730/175 + -4)*10/2. Do f and 6 have the same value?
False
Let i(c) = -c - 25. Let u be i(-14). Let f be (-2)/8*2*14. Let x = f - u. Is 3 greater than x?
False
Suppose 0 = 2*a - 5 - 7. Suppose -4*t = -12 - 28. Let k = t - a. Which is greater: 5 or k?
5
Let z(r) = -r**3 - 25*r**2 - 24*r - 28. Let q be z(-24). Let n be (7/q - (-3)/(-4))*1. Which is smaller: -14/9 or n?
-14/9
Suppose -4 = -0*o + o. Let b(p) = -p**2 - 5*p + 2. Let l be b(o). Let h = -3 + l. Is h >= 1?
True
Let o = 129014/141 - 915. Does o = -1?
False
Let i be (-18)/4 - (-2)/4. Let m be (-42)/i*8/(-12). Let k be ((28/16)/m)/1. Which is smaller: -2 or k?
-2
Suppose 945*v + 96 = 949*v. Which is bigger: v or 49/2?
49/2
Let a = 37 + 71. Let p = -117 + a. Let k(s) = -11*s**2. Let f be k(-1). Which is bigger: p or f?
p
Let x = 1.494 - -0.506. Is x at most -5?
False
Let o(n) = -n**2 - 2*n + 2. Let s be o(1). Let q = 16237/1290 - -92/129. Let l = 25/2 - q. Which is bigger: l or s?
l
Suppose -60 = 20*p - 16*p. Let g be 112/12*p/10. Which is greater: -12 or g?
-12
Let s(p) = p**3 - 7*p**2 + 8*p - 4. Let g be s(5). Let z = g - -24. Let f be (-4)/z*15/(-7). Is 1 < f?
False
Let b(d) = d - 3. Let c be b(3). Suppose 2*f - 4*o = c, 2*f = -3*f + 2*o. Which is smaller: f or 2/153?
f
Let d(s) = -s**2 + s + 1. Let l be d(2). Let t = -1456 + 97. Let q = t - -69307/51. Which is bigger: l or q?
q
Suppose -4*v = -0*v + 4*z + 20, 5*v - 2*z = 10. Let n = -278 + 1151/4. Let s = n - 79/8. Which is smaller: s or v?
s
Suppose 0 = 335*c - 339*c + 8. Is c smaller than 11/12?
False
Let k = -4 + 4.1. Let o = k - -0.06. Suppose -h = 3*n - 6, -13*n = -4*h - 17*n + 8. Is h > o?
False
Let q = -83 - -124. Let c = q - 41.042. Is c < 2?
True
Suppose 3*y + n - 18 = -2*y, -14 = -5*y - 3*n. Suppose -y*v = -0*v + p + 30, -p - 22 = 3*v. Which is smaller: -9 or v?
-9
Let f = 61 + -68. Let k be (f/(-14)*-8)/((-1)/(-19)). Which is bigger: -77 or k?
k
Let z(i) = i**3 + i**2 - i - 1. Let d be z(-1). Suppose -k + 1 + 30 = d. Let n be k/14 - (-2)/7. Is 4 not equal to n?
True
Let i(l) = -l**2 + 65*l - 604. Let a be i(53). Which is smaller: 39 or a?
a
Let s(w) = -w**3 + 4*w + 3. Let j be s(-2). Suppose t + 24 = -j*t. Let a = t - -2. Is -5 >= a?
False
Let u(p) = p**2 + 6*p - 4. Let h be u(-7). Suppose 0 = 3*r - 2*f - 52, -r + 5*f + 4 = f. Let c be (-8 + 2)/((-75)/r). Which is greater: h or c?
h
Let q be 73 + -77 + (71/25 - -1). Which is bigger: q or -1?
q
Suppose -15*l + 12*l + 78 = 0. Suppose -5*r = l - 161. Let d be 2/6*r/12. Is 1 less than or equal to d?
False
Suppose 3*f + o - 57 = 0, 2*f + 0*f - 2*o = 30. Suppose 6*j = -f - 0. Suppose -i - 1 = 1. Is j less than i?
True
Let y = -6 - -3. Let k be (-2)/(2/72*22). Which is greater: y or k?
y
Let a be (-40)/(-16)*(-5)/(100/64). Let h(i) = -4*i - 2*i - i - i**2 + 11. Let q be h(a). Are q and 2 equal?
False
Let n(u) = 40*u - 37. Let g(s) = -10*s + 9. Let q(x) = -9*g(x) - 2*n(x). Let c be q(4). Let t be (-4)/26 - c/39. Which is smaller: 1/7 or t?
t
Suppose 0 = 4*u - 2*t - 30, 4*u + 0*u + t - 21 = 0. Let v(c) = -c - 12. Let j(n) = -n**2 - 14*n - 3. Let k be j(-15). Let p be v(k). Is u at least p?
True
Suppose -106*c = -96*c + 10. Let i(r) = -r**2 + 5*r - 1. Let n be i(4). Let k = n - 5. Is c less than k?
False
Suppose -3*w = 14 - 2. Let g = 4 + -5. Is w less than or equal to g?
True
Let r(p) = 3*p**2 - 3*p - 2. Suppose -4*w = 2*b + 2*b, 5*b = 3*w + 16. Let j be r(w). Suppose j = -5*c + 3*m, c + 3*c + 4*m + 32 = 0. Is c at most as big as -5?
True
Let o = -5 + 7. Suppose -4*j = o*l - 18, -l + 4*j - 22 = l. Are l and -3/11 unequal?
True
Let v(i) = 9*i**2 + 2*i + 7. Let o(x) = 5*x**2 + x + 4. Let m(t) = -7*o(t) + 4*v(t). Let f be m(0). Let u be (-10)/(-22)*(-2)/5. Is f less than or equal to u?
False
Suppose 160 = -357*p + 377*p. Let m(j) = j**3 - 3*j**2. Let o be m(3). Suppose o = -3*z - 3*r + 12, 4 = -3*z - 5*r + 20. Which is smaller: z or p?
z
Let n = 20.21 + -5.21. Which is smaller: n or -0.3?
-0.3
Suppose 8*m + 1008 = -336. Let g be (-48)/21 + 2 + (-132)/m. Which is smaller: -2/213 or g?
-2/213
Let w be 2 + 1*(-4 + 0). Let y = 1 + w. Let u be (-47)/(-427) + (5/7)/(-5). Is y at least as big as u?
False
Suppose -6*b - 375 = 2439. Does -468 = b?
False
Let t(x) = -2*x**3 + 5*x - 4. Let f be t(-3). Suppose 0 = -f*k + 30*k - 40. Is k at most as big as -10?
False
Let b be (-6)/21 + 151/(-427). Is b greater than or equal to 0?
False
Suppose 0 = 8*c - 4*c - 8. Let a be 2 + (-38874)/39 - c. Let d = a + 996. Which is greater: d or -2?
d
Suppose -v = 20*v + 273. Is v at least as big as 3?
False
Let q(g) = -g**3 + 7*g**2 + 9*g - 8. Let x be q(8). Suppose i + 28 = 2*o + 83, x = i + 1. Let p be 11/((-330)/(-100)) + 3/(-1). Which is smaller: p or o?
o
Let l be ((-52)/65)/((-18)/5). Let s = l + 1/9. Is 3.4 greater than or equal to s?
True
Let l(k) = -k - 7. Let a be l(-8). Suppose -a = 2*d + 1. Let z be (14/(-6))/d + -3. Do -1 and z have different values?
True
Let c = -6033 + 742063/123. Which is greater: c or -1?
c
Let o(u) = u**3 + u**2 + u + 1. Let y be -1*(-3*2 - -3). 