 -35.3 - -31. Which is greater: m or -1?
-1
Suppose -3*u + 9 = -6. Suppose 3*r - k = 15, -u = -r - 3*k - k. Suppose -18 - 2 = -r*q. Which is bigger: 5 or q?
5
Let p(b) = -10*b - 169. Let u be p(-14). Is u equal to 0.1?
False
Suppose -21*y - 5*r + 22 = -19*y, -y - 11 = -3*r. Let v be ((-430)/(-12))/((-91)/1). Let k = v - -9/26. Is y at least k?
True
Suppose -85*h = -21*h - 132224. Is 2066 greater than h?
False
Let w(i) = -5*i + 1. Let s(n) = -n + 7. Let k be s(8). Let d be w(k). Which is smaller: 7 or d?
d
Suppose 3*k - 630 = -f, 5*k - 1052 = f - 2*f. Suppose -3*n - k = 71. Which is smaller: -93 or n?
n
Let w be 5/10 + (-5)/(-2). Suppose -2*v - 17 = -w*o, -6*v = -5*v + 4*o + 14. Let k be v/45 + (-104)/18. Is k at least as big as -6?
True
Let a be 3 - (6 - -83) - (6 + 1). Which is bigger: -91 or a?
-91
Let f be 3 + 30/(-12) + 0. Let a = 2 - 0. Do a and f have the same value?
False
Suppose 0*g = 5*g - 7*g. Let p be (1 + g)/((-13)/(-949)). Is p not equal to 73?
False
Let q be (-66)/22 + (-1 - 39). Let c be q/(-11) - 10/2. Is 1 smaller than c?
False
Suppose -50 = q - 26*q. Let h = -1591 + 27071/17. Which is smaller: h or q?
h
Suppose 6 = 5*a + 21. Let k = -1 - a. Suppose -k*l - 6 = -16. Which is bigger: 6 or l?
6
Let a be ((-6)/(-5) + -1)*-1. Let g = -18.2 + 19.2. Is a greater than g?
False
Suppose f + 3 + 1 = 5*u, -f = 2*u - 3. Suppose 4*y + 3*b - 33 = y, -b = 2*y - 17. Let k be 0/(y/(f + 2)). Which is smaller: 1/17 or k?
k
Let j = -1.07 + 1.16. Do j and -0.4 have the same value?
False
Let w = -2.9 - -1.9. Let s = -2.6 - -4. Let x = 6.6 + s. Which is smaller: w or x?
w
Let z = 2/663 - 4717/904332. Which is bigger: z or 0?
0
Suppose -2*y = 2, 3*n + 4*y = -19 + 81. Let p be (-4)/10 + n/5. Suppose p*z - 3*b = 45, -5*z + 13 + 49 = 2*b. Do 11 and z have the same value?
False
Let k be 1 + 0 - (2 + (3 - 3)). Which is greater: -3/197 or k?
-3/197
Let v(o) = -7 + 3*o**3 + 17 - 2*o**3 + 16 - 2*o + 7*o**2. Let k be v(-8). Does -22 = k?
True
Let o(t) = -t**2 - t + 9. Let v(u) = u**2 + 3*u - 10. Let b(l) = 5*o(l) + 4*v(l). Suppose i + 2*i - 21 = 0. Let x be b(i). Is x at least as big as 3?
True
Suppose -18 + 17 = -d. Is d less than 3?
True
Suppose -q - 56 = -4*j + 27, -5*j = -15. Which is smaller: q or -491/7?
q
Let p(w) = 3*w**2 - 9*w - 2. Let y be p(-10). Is 388 equal to y?
True
Suppose 76*r - 160 = 74*r + 5*c, 20 = 5*c. Is 86 at least as big as r?
False
Suppose -8*j + 3*j = 5. Let v be 8/6*(j + 4). Is v at most as big as 6?
True
Let k = 2510 - 2484. Let c = -14 - -38. Are k and c equal?
False
Let z = 1/6615 + 59477/383670. Which is smaller: z or 0?
0
Suppose 3 + 37 = 8*f. Suppose -5*v - 4*n + 10 = -0*n, f*v = 5*n - 35. Are v and -30/17 nonequal?
True
Let p be (4/((-16)/6))/(33/(-1650)). Suppose -11*k - 101 - p = 0. Let f = 3 - 4. Is f bigger than k?
True
Let c(g) be the third derivative of g**6/120 - g**5/15 + g**4/6 - 2*g**3/3 + g**2. Let r be c(3). Let w be r + 3 + 6/3. Is w smaller than 3?
False
Suppose -w = 3, -5*w + 78 = -4*k - 39. Is k greater than or equal to -27?
False
Let v = -8 - -4. Let a(b) = -b**3 - 4*b**2 - b + 1. Let h be a(v). Suppose -4*s + 8 = -4. Is s equal to h?
False
Let m = 103 + -101.5. Let d = 1.5 - m. Is -0.26 < d?
True
Let i(w) = w**3 - 5*w**2 - 2*w - 5. Let b be i(4). Let x = -33 - b. Let n be 11/x - (-27)/9. Which is greater: 0.04 or n?
n
Let u = -44.1 - -44. Let j be (2/(-24))/((-52)/(-16)). Is u equal to j?
False
Let i be ((-275)/(-300))/((-1)/39). Are -37 and i nonequal?
True
Suppose -2*t + 5*g - 429 + 3737 = 0, -2*g = 0. Does 1654 = t?
True
Let d = 37 - 25. Let v be (-2)/(-8) - 14/(-8). Suppose d = 2*i - v. Are 6 and i non-equal?
True
Suppose 31*d - 4 = 35*d. Is d < 2/867?
True
Let g(d) = -2*d**2 + 7*d - 9. Let j be g(3). Let i be 2/(-3) + (-44)/6. Let k be i/j*4/(-16). Which is greater: k or 3/2?
3/2
Let h be (-3 - (-62)/10) + 0. Let r = 16 + -16. Let f = 4 + r. Is f greater than or equal to h?
True
Let l(f) = 7*f**3 + 2*f**2 + f. Let s be l(-1). Let v be 12/(-9)*9/s. Suppose -4*a = -v*a - 16. Is a smaller than 8?
False
Let g = 0 + 0.2. Let u = g - 0.1. Let p = 1020 + -1028. Which is bigger: p or u?
u
Suppose 5*g - 3 = -u - 18, -39 = u - 3*g. Let b = u + 27. Do b and -2 have different values?
True
Let v = -3.05 - -2.05. Is v > -0.083?
False
Let f(c) = c**3 - 17*c**2 + 13*c + 23. Let y be f(16). Let p be 4/(-485)*y/(-10). Do p and -1 have the same value?
False
Suppose -3*x - w = -5, 4*w = -3*x + 2*w + 7. Suppose -2*o + 3*m + 6 + x = 0, o = 4*m + 16. Is -4 bigger than o?
False
Let f(k) = 50*k**2 - k + 1. Let n be f(-1). Let p = -52 + n. Is -1 >= p?
False
Let v(d) = 2*d + 5*d + 3 - d**2 - 4*d. Let k be v(3). Let t = -1 - k. Is -6 != t?
True
Let w = -54 + 90. Let c = -33.9 + w. Which is smaller: c or 1?
1
Let a be 5965/7 + 1/(-7). Let v = -19590/23 + a. Which is smaller: v or 1?
v
Let a = 29 + -28. Let f be -1*13 + (2 - (2 + a)). Which is bigger: -13 or f?
-13
Suppose -3*i = 5*h + i - 147, 0 = 2*h - 2*i - 48. Let y be h/(-36) - (-18)/(-8). Do y and -30/13 have the same value?
False
Let w = 28 + -6. Let z = -11 + w. Let d = -9.9 + z. Do 2 and d have the same value?
False
Let f(j) = -j**2 - 9*j - 13. Let m be f(-6). Suppose 2*c + 35 = -3*r, 7*c + 57 = -m*r + 4*c. Is r equal to -0.4?
False
Let p be (-4)/(-5 + 18 + 1). Let w = -1 + 2. Which is bigger: w or p?
w
Let t = -271/17976 - 11/749. Is t smaller than -1?
False
Let j be 7/(-4 - -5) - 2. Let d be j/(-26) - 5/(-10). Suppose -1 = 5*y + g, -4*g + 3 = 5*y - 8. Which is smaller: d or y?
y
Suppose 0 = 3*l - 8 - 10. Let m(h) = 2*h**3 - 11*h**2 - 7*h + 9. Let d be m(l). Let w = 912/5 + -183. Which is bigger: w or d?
d
Let j be (2/(-4))/(663/170 - 4). Let g = 17 - 12. Is g at least j?
True
Suppose -4*w = 72 - 20. Let x = -34128/5 + 6826. Is x != w?
True
Let q = 12 - 27. Let r(n) = 11*n + 2. Let l(f) = 9*f + 3. Let u(v) = -5*l(v) + 4*r(v). Let s be u(q). Do s and 1 have the same value?
False
Let c(g) be the second derivative of g**5/20 + 5*g**4/12 + g**3/3 + g**2/2 - g. Let b be c(-2). Let a = 412 - 404. Which is greater: a or b?
b
Let u = -42 - -94. Let i = -40 + u. Let o = 2.6 + -0.6. Is o >= i?
False
Let c be -2 - 148/(-38) - 2. Let r be (-32)/(-20)*(5 + 0). Let q be -2*1*(-4)/r. Which is greater: c or q?
q
Let y be (3510/(-40))/(-3) - (-2)/(-8). Let d = -9.2 + 9. Which is greater: d or y?
y
Let t be ((0 + 1)*1)/(1/(-17)). Which is bigger: -22 or t?
t
Let b be 5*((-5820)/(-50) + -4). Which is bigger: b or 565?
565
Suppose 2*f = -3*f - 40. Let t be (-187)/(-51) - f/(-2). Is 3 less than t?
False
Let x = -137/48 + 3/16. Let q(o) = -o**3 + 6*o**2 + o - 4. Let f be q(6). Let n be ((-27)/6)/3*f. Which is bigger: n or x?
x
Suppose 174 = 14*c - 78. Let s be 15/2*-10*(-3)/12. Is s < c?
False
Let j be (-21)/(-252) - (-646)/(-1416). Which is smaller: j or -1?
-1
Suppose -20 = 3*h - 2. Let w be 0/((-2)/h*-3). Is 1/3 greater than or equal to w?
True
Suppose 12 = 3*p + 24, -2*p = -4*x + 128. Does 30 = x?
True
Let n = -97.8 - -85. Let q = 10.8 + n. Which is smaller: 1/53 or q?
q
Suppose 0 = 13*o + 17 - 4. Is o not equal to -10/47?
True
Let x(z) = 14*z**3 - z**2 + 17*z + 17. Let c be x(-1). Is 22 less than c?
False
Let x = 522907/13 + -40243. Let z = 2863/143 + x. Let a = z + -115/77. Does a = -2?
False
Let f be 5/(-2) - (-33983)/(-238). Let n = -145 - f. Is n greater than 1?
False
Let s = 291.85 + -289. Which is smaller: 2/3 or s?
2/3
Let v(d) = d**2 - 25*d + 70. Let a be v(18). Let x = -55 - a. Which is smaller: x or 0?
0
Let u(k) = 9 + 10*k**2 - 6 + 8*k + 8 - 9*k**2. Let l be u(-8). Let w be -1*2/(-6)*l. Is w bigger than 4?
False
Let m be (-32 - 2)*(-3*2 + 1). Suppose -m = -13*r + 8*r. Which is smaller: r or 1?
1
Let d(g) be the first derivative of g**3/3 + 3*g**2/2 + 3*g + 2. Let r be d(-2). Let q = -3 - -5. Which is greater: q or r?
q
Suppose 21*d - 9*d - 3468 = 0. Is 290 > d?
True
Suppose 15 = 3*m - 42. Let x = 1 - -18. Let t = x - m. Is t at least as big as 1/12?
False
Let v(f) = f**3 - 15*f**2 + f - 9. Let s be v(15). Let h = -6 + 10. Suppose 2*p - h*r + 20 = 0, -2*p + 2*r + 20 = s*r. Which is greater: p or 1?
1
Suppose -3*k = -2*f - 320, -4*k - 601 = 3*f - 87. Let s = 154 + f. Which is smaller: s or -10?
s
Let n = 0.45 - 0.75. Let q = -0.33 - n. Is -2 > q?
False
Let u = -1.04 + -11.06. 