40 + 29. Is q less than or equal to 0.02?
True
Let i(f) = -f**3 + 7*f**2 + 9*f + 3. Let p be i(7). Let q = 18 - p. Let v be 2/3 + q/81. Which is greater: v or 0?
v
Let f = 1862603 + -57729780/31. Let c = -352 + f. Is c <= -1?
False
Let t = 1.2 - 1. Let j = 329 + -300. Which is smaller: j or t?
t
Suppose 4*v = -3*u + 39, -3*v + 43 = 4*u - 2. Suppose u = -7*f - 68. Is -2 at least f?
True
Let u(c) = -c + 13. Let d be u(13). Is d greater than or equal to -2/159?
True
Let h be 27/5 - (-6)/(-15). Let u be (9 - 3 - 0)/h. Suppose 10 = 4*m + 2*i, i + 3 = 2*m - 0*i. Which is greater: m or u?
m
Let q = 4/823 + -32165/13991. Let b = q - -1270/561. Does b = 0?
False
Suppose 5*z + z = 0. Suppose -6 = -2*j - a, z = -3*a + 3 + 9. Which is smaller: j or 1/58?
1/58
Let a(o) = -o**2 - 3*o + 1. Let d(x) = x**3 - 4*x**2 + 3*x - 2. Let b be d(3). Let j be a(b). Let v be ((-8)/12)/((-2)/j). Which is smaller: -1/5 or v?
-1/5
Let w = 3.69 + 6.31. Which is smaller: w or -12?
-12
Suppose 0 = -7*w + 6*w - 4. Let f be (-2)/4 + w + 5. Let k = 208 + -208. Which is greater: f or k?
f
Let l be (-14)/(-133) + (-1150)/(-266). Is l < 5?
True
Let g = -214 - -505. Is -2/7 > g?
False
Let n(i) = i**2 + 5*i - 3. Let p be n(-6). Let z = -6 + p. Let d be 2*((-68)/22 - z). Is -1 less than or equal to d?
True
Suppose 3*t - 7*t = -o - 7, 5*t - 25 = -2*o. Let l be 40/12*9/o. Suppose 0*c + 6 = -l*c. Is c greater than or equal to 3?
False
Suppose 1 = -2*p + 11. Suppose -3*b + s + 41 - 9 = 0, -3*s = -b. Let v = b + -7. Does v = p?
True
Let t = 0.14 + -10.14. Let z = -11 - t. Which is smaller: 0 or z?
z
Suppose -12*r = -23 + 11. Is r at most -1.7?
False
Let r be 1*-4 - (-16 - -8). Suppose 4*w - 24 = r*z, w - 3*w = z - 21. Is w bigger than 9?
False
Suppose -17*p + 28 = 11. Is p less than or equal to -2/1445?
False
Let a = 133 + -133.1. Which is smaller: -84 or a?
-84
Let f(z) = -6*z - 1. Let t be f(-1). Let r be 2/t - (-33736)/(-140). Let j = r - -241. Are j and 0 unequal?
True
Suppose -61*q - 56*q + 119*q = 0. Are 1/647 and q equal?
False
Let u be ((-933)/(-2))/((-3)/(-1)). Is 155 > u?
False
Let d(b) be the first derivative of -b**4/4 + 3*b**3 - b**2/2 + 8*b - 6. Let z be d(9). Let f be (-132)/(-36) - z/3. Is f <= 7?
True
Let a = -457/4 + 1483/12. Let z = 283/30 - a. Is -1 equal to z?
False
Let l(w) = 6*w - 18. Let k(z) = -25*z + 72. Let s(n) = -2*k(n) - 9*l(n). Let h be s(10). Let d be 2 + h*(-4)/(-56). Which is smaller: d or -0.3?
-0.3
Let s = -791 - -791. Is s bigger than 26/35?
False
Suppose 2*l - 5*u + 46 = 362, -5*l - 3*u + 728 = 0. Are 146 and l non-equal?
True
Let r = -420 - -287. Which is smaller: -132 or r?
r
Let u = 31.001 - 0.001. Let z = u - 28. Which is greater: z or 2?
z
Let q be 7/(-35) - (2 + 6/(-5)). Which is smaller: 2/1317 or q?
q
Suppose 51*y - 132 = 63*y. Do y and -11 have the same value?
True
Let m be -2*((-111)/223 + (-3)/(-6)). Does -1 = m?
False
Let h = -305 - -306. Which is smaller: h or -0.005?
-0.005
Suppose -18 = -5*c - c. Suppose 0 = -3*o + c*g - 5 - 1, 4*g = -3*o + 15. Let v(k) = -k**3 - 7*k**2 + k + 6. Let n be v(-7). Are n and o equal?
False
Let z be ((-18)/(-27))/(1/(-3)). Let p be (z/3)/(2/(-12)). Let m be (-1 - -3)*(-2)/p. Which is greater: -3/7 or m?
-3/7
Let o = -21137/418 - -14/209. Let i = o + 48. Let f(r) = -r**2 - 10*r + 8. Let t be f(-11). Is t > i?
False
Let h = 28.8 - 34. Which is smaller: h or 0.3?
h
Suppose 0 = n + 4 - 14. Let z = n - 5. Suppose -20 = -2*d + 5*a, -d + 2*a + 3 = -z. Do d and 7 have the same value?
False
Let z be (-8)/10 - (-11744)/(-20). Which is smaller: z or -587?
z
Let h = -82 - -51. Let t = h - -16. Let a = 14 + t. Which is smaller: a or 2/13?
a
Let r = -331 + 320. Which is greater: -33 or r?
r
Let p be (-4)/(-5)*(-1 - 4). Suppose 0 = -5*f + 2*i + 57, 4*f + i = -3*i + 40. Suppose -f*t + 6*t - 30 = 0. Is p at least as big as t?
True
Suppose 0 = 25*g + 19*g + 16060. Which is smaller: g or -367?
-367
Suppose -24 + 5 = t - 5*q, 4*q - 16 = 0. Let h = t - -1. Let y be 32/160*(-20)/(-7). Which is smaller: h or y?
y
Let m = 615191/134 + -4591. Which is bigger: 1 or m?
1
Suppose 0 = 5*x - 4*d - 518, 4*x = -5*d + 248 + 150. Let b = -324 - -426. Is b smaller than x?
False
Let y(b) = -b**3 + 10*b**2 - 11*b - 8. Let m be y(9). Are -28 and m non-equal?
True
Let t = -3 + 0. Let s = 111.3 + -171.2. Let o = -60 - s. Does t = o?
False
Let g = 5.3 - 17.9. Let q = g + 12. Let k = q + 0.3. Which is smaller: k or 2/5?
k
Let d = -6.1 + 6.031. Let j = d - -0.059. Is -4 less than j?
True
Let o(v) = 6*v**3 + 16*v + 10 + 8*v**2 - 4*v**3 - v**3 - 5*v. Let f be o(-7). Let n be (-28)/21*f/(-4). Is -7 smaller than n?
True
Let f = 5.216 + -0.016. Which is bigger: 5 or f?
f
Let v be -60 + (0 - -5)*(4 + -3). Which is bigger: v or -53?
-53
Let p = 30 + -31. Are p and 267 unequal?
True
Let x be 1*((-32)/(-3))/8*-3. Is -7 > x?
False
Let x be 8/(-52) - 24/(-156). Is -3/1231 equal to x?
False
Let s(h) = h**2 - 21*h + 57. Let l be s(19). Are l and 7 equal?
False
Let g be (4 + 776/(-16))*2*-1. Do 90 and g have the same value?
False
Let t = 0.82 - 1.42. Does -0.03 = t?
False
Let z = 2.44 + -0.04. Let x = -0.4 - z. Let o = -3.1 - x. Is -2 greater than o?
False
Let g(z) = -4*z**3 + z**2 + 9*z + 7. Let n be g(-1). Are 18/5 and n nonequal?
True
Let v = 26 - 17. Let b be (-2)/v - (-6)/27. Let n(u) = -u**3 - u**2. Let c be n(b). Which is smaller: -2 or c?
-2
Suppose -3*o = l + 51, -o + 3*o + 167 = -3*l. Let k = 62 + l. Which is bigger: k or 2?
k
Let u be 4/4232*(6 - 10). Is 1 greater than u?
True
Let w be (0 - (-2 + 1))*-1. Let c = 32 + -35. Let z be 1*1/(c/3). Is w bigger than z?
False
Suppose 4*m - 12 = -4*w + 2*m, -5*m + 19 = -w. Which is smaller: 3/1406 or w?
3/1406
Let i be (2/4)/(9/138). Let l = -40 - -49. Is l greater than or equal to i?
True
Let u(m) be the first derivative of -m**2 + 12*m + 3. Let k be u(8). Let i = 24 - 27. Which is smaller: k or i?
k
Let q = -549/154 + -1/154. Which is smaller: q or -3?
q
Let o = -2/411 + 1243/2055. Which is smaller: -13 or o?
-13
Let l be (-1)/2 + 35/2. Suppose z + j + 3 = 0, -3*z + 3*j - l = 10. Let o be 0 + z/(-1) + -2. Which is smaller: o or 2?
2
Let v = 307 - 508. Which is greater: 2/7 or v?
2/7
Let n be 280/91*115 + (-2)/(-13). Is n less than or equal to 354?
True
Let q = -36 - -22. Let k be (-33 - -38)*((-28)/(-10))/(-1). Is q bigger than k?
False
Suppose 40*l - 28*l = 84. Which is greater: 9 or l?
9
Let b(n) = -n**2 - 19*n - 28. Let s be b(-7). Is s bigger than 56?
False
Let o(u) = -u**2 - 6*u. Let l be o(-6). Let p be ((-8)/(-150))/((9802/145)/13). Do p and l have the same value?
False
Let o be 17/34*110/1. Let v be 0/(-7) + 2/o. Is -1 at most v?
True
Suppose -4*u + 2*j + 8 = 0, 3*u + 0*j - 4*j = 1. Suppose 0 = -0*f - f + 4*g + u, 2*f + 4 = 3*g. Which is smaller: -7/2 or f?
f
Let a = 64 - 65. Let n be (4/12*a)/((-3)/(-9)). Is -6/7 smaller than n?
False
Suppose 414 = 8*v + 110. Does 37 = v?
False
Let m(c) = -c**3 - 2*c - 2. Let p be m(-1). Suppose -3*k = -p - 5. Suppose 0*f - k*f = 4. Which is greater: -10/7 or f?
-10/7
Let i = -0.05 - 0.01. Suppose 8*j = 11*j + 6. Which is bigger: j or i?
i
Let u = -26.2 - -26. Let x be 22*(2/(-4) + -1). Let w be x/27 + (-2)/(-9). Which is smaller: w or u?
w
Let v = 118/5 + -111/10. Let k = -15 - -29. Which is smaller: k or v?
v
Let g be ((-3 + 2 + 1)/(-1))/1. Let n = 2/379 + 1117/3790. Is g greater than n?
False
Let b be (-6)/8*(-96)/28. Let h = -289/28 + b. Let v = h - -8. Which is bigger: v or 1?
1
Let n(d) = d**2 + 4*d - 10. Let p be n(3). Which is greater: 8 or p?
p
Suppose -48 = -37*s - 11. Let r = -0.17 + 6.17. Is r less than s?
False
Let q = 5773/32861374 + 1/5746. Is q < 0?
False
Let c be -3*16/12 + 55/15. Do c and 83 have different values?
True
Let t = -1626/37 + 58722/629. Is 48 smaller than t?
True
Let w = 1567 + -3131/2. Are 16 and w nonequal?
True
Let c(j) = -j**2 - 9*j + 8. Let h be c(-8). Suppose 12*p - h*p - 20 = 0. Does -4 = p?
False
Let d be ((-24)/8)/(6/(-4)). Suppose -10 = d*q - 7*q. Which is bigger: 4 or q?
4
Let u = -42 - -36. Let i = u + 0. Let c = -0.9 - 0.1. Which is greater: c or i?
c
Let z(d) = -d**2 + 9*d - 9. Let r be z(6). Let j be (1 - 9/7) + (-316)/(-28). Which is bigger: j or r?
j
Let n = 6/949 - 3529/408070. Which is greater: n or 0?
0
Suppose 3*v 