. Let p = -102 + t. Is p at most 1/12?
False
Let p(v) = -v + 35. Let b be p(10). Suppose -2*r = -5*k - b, 5*k + r = 5*r - 15. Which is smaller: k or -25/4?
k
Let w(l) = 3*l**3 - 12*l**2 - 4*l + 8. Let j(p) = -2*p**3 + 11*p**2 + 3*p - 8. Let o(q) = 4*j(q) + 3*w(q). Let m be o(-8). Do m and 1 have different values?
True
Let v = 0.417 - 0.347. Suppose 17 = 2*y + 4*w - 9, 37 = 5*y + 3*w. Suppose d = 5*b - 4 + 10, -d - 14 = y*b. Which is bigger: b or v?
v
Let a = 10 - 8. Let t be 162/(-117)*a/(-6). Which is bigger: t or -1?
t
Let r(d) = d**2 - 12*d - 7. Let o be r(7). Let q = o + 47. Suppose -2*t - 2 = -14. Is q at least t?
False
Let m = -228583 + 181037773/792. Let g = 707/36 + -157/8. Let s = g + m. Which is greater: -1 or s?
s
Let y(d) = -46*d - 941. Let v be y(-21). Is v equal to 25?
True
Let p = 3.8 + 37.2. Let a = -28 + p. Which is bigger: a or -1?
a
Let o = 197 - 217. Which is greater: -96/5 or o?
-96/5
Let b(y) = -y**3 - 9*y**2 - 5*y - 9. Let f be b(-7). Let j be f/(-16)*(-4)/21. Let k = 11/21 + j. Which is bigger: k or -2/7?
-2/7
Let v = 11.3 - 11. Let h = v + -2.3. Let r = -1/69 + 143/345. Is r less than h?
False
Suppose -53 = -5*g - 88. Let f(q) = -4*q**2 + 2*q**3 - 7 + 7*q - 2*q**2 - 3*q**3. Let s be f(g). Are -7 and s non-equal?
False
Suppose -17 = x - 4*s, 2*x - 14 = s - 5*s. Suppose 41*c - 29*c - 36 = 0. Which is bigger: c or x?
c
Let u be 243/108 - (3 + -1). Which is smaller: -2/9 or u?
-2/9
Suppose 269 = -8*h - 611. Is -109 at most h?
False
Suppose -z + 9 = 3*d - 6*d, -z - d = -9. Let t(p) = -2*p + 20. Let u be t(z). Suppose -7*q - u = -5*q. Is -3 bigger than q?
False
Let b be (3/6)/((-7)/(-14)). Which is smaller: 3/97 or b?
3/97
Suppose -3*d = -0 + 6. Let n be -1 + (-9)/((-9)/d). Which is bigger: -6 or n?
n
Suppose 0 = -5*f + 3*i + 212, -4*f + 0*f + 5*i = -180. Suppose 5 = -5*h + f. Let o be h/(98/(-8)) - -1. Does o = -1?
False
Let t(z) = z**3 + 5*z**2 - 6*z - 10. Let n(q) = -5*q**3 - q**2. Let y be n(-1). Suppose -5*a + y*a = 5. Let w be t(a). Which is bigger: w or 19?
w
Let v be 1*(-4 - (-16)/4). Suppose v = -5*y + 9*y + 68. Do y and -50/3 have the same value?
False
Let x = -59 + 38. Let h = x + 26. Is 0.1 at most h?
True
Let a = 107 - 23. Suppose 4*n + 244 = a. Is -40 at most n?
True
Let b = -37 + 28. Let d = b - 6. Let a be (2/4)/((-6)/12). Is a greater than d?
True
Let h = -706 - -709. Let c = 17/30 + 14/15. Which is bigger: c or h?
h
Let p = -2/745 + -23083/4470. Suppose w = 4*q - 0*w + 12, q + 2*w = -12. Is q less than p?
False
Let s(o) = o**2 + 4*o - 6. Let b be s(-5). Let n be (b - (-5)/(-4))*(-2 - -26). Is -54 less than n?
False
Let i be 22766417/58 + (-3)/(-18). Let p = -1175282/3 + i. Let d = -764 + p. Is d smaller than 1?
True
Suppose i = 7*i - 18. Suppose i*k - 2*z = -9 - 10, 4*k + 17 = z. Let j be 0*(k + (3 - -1)). Which is bigger: 1/8 or j?
1/8
Suppose -5*q - 4*z + 100 = 0, q - 2 = -4*z + 2. Let p be (-8 - -6) + (1 - q). Is 0 bigger than p?
True
Let j = 168/5 - 31. Let d = 2042 + -20399/10. Let m = d - j. Which is smaller: m or -2?
-2
Let o = -435 + 435. Is o >= -7/18?
True
Let r = 0.17 - 2.77. Let o = r + 0.6. Let f be (-10)/(-20)*3*(-8)/(-18). Does f = o?
False
Let i(z) = -3*z**2 + 2*z + 1. Let f be i(0). Let u = -3 - -4. Is u <= f?
True
Let o = 28.007 + -28. Let p = -3.493 - o. Is p < -1?
True
Let i be 1/(7 - (-160)/(-24)). Does 17/10 = i?
False
Let a = -3.52 + 4.2. Let x = 13 + -12.68. Let i = a + x. Is -16 at least as big as i?
False
Suppose 3*d + 11 = 41. Is d at most 7?
False
Let d = 3.1133 + -0.1133. Is 77 at most as big as d?
False
Let l = -24.6 - -24.7. Is l smaller than -57/2?
False
Let h = 1357891/66 - 41119/2. Let x = h + -44/3. Let m = 2 + -2. Is m at least as big as x?
True
Let w = 0.11 - 0.11. Let t = 0 - w. Let v = t - -12. Which is greater: v or -1?
v
Suppose -5*c + 76 = 14*c. Suppose 0 = 4*h - 28 + 4. Let d be (-6)/9 - (-34)/h. Which is greater: c or d?
d
Let l be ((-6)/(-4))/((-3)/(-2)). Let y be l/(-4) + 26305/41540. Let r = y - 30/67. Which is smaller: r or 0?
r
Suppose 3228 = 10*a - 2372. Which is smaller: a or 559?
559
Let b = 0.7 + 0.3. Let a = b + 1. Let z = -400 + 401. Do z and a have different values?
True
Suppose 4*q - 2*m = -4, -q + 2*m = -2*m - 13. Let s be -12 - (5 + 1)/q. Let u = -41 + 41. Which is smaller: u or s?
s
Suppose 0 = 4*q - 1 - 11. Let i = -3 + q. Let d = -49 + 199/4. Which is bigger: i or d?
d
Suppose -3*s - 169 = -2*c, 5*c - 4*s - 462 + 50 = 0. Let a = 81 - c. Which is smaller: a or 2/191?
2/191
Let z(r) = -r**3 + 3*r**2 + 5*r - 2. Let x be z(4). Let c = -201.9 - -194. Let o = 8 + c. Which is smaller: o or x?
o
Let o be (-5 + 11)*4/(-6). Suppose 0 = 4*m + 2*l + 92 - 4, 5*l = 2*m + 20. Let k be 1/o + (-1)/m. Which is greater: k or 0.1?
0.1
Let w = -235 + 218. Is w not equal to -11?
True
Let j = 0.83 + 0.17. Let o be (4/10 - 708/(-30)) + 2. Which is bigger: o or j?
o
Let n be 6*(-114 + -4 + 0). Let h be n/189 - (-3)/(-27). Let l = 4 + h. Is l < 1?
True
Suppose 0 = 5*v - 4*j - 7 - 10, -3*v + 4*j + 15 = 0. Let w be 1 + 1 + (3 - 17502/(-903)). Let c = w + -171/7. Which is smaller: v or c?
c
Suppose -9*d + 4*d - 110 = 5*l, -2*d = 0. Are -20 and l nonequal?
True
Let i be (1 + 0)*5/(-5). Let b be 5/(55/12) + i. Let q = b + -15/44. Which is smaller: -2 or q?
-2
Let p be (44/12 + -3)/(16/(-6)). Does -110 = p?
False
Let w be -2*2/4 + (-77292)/(-77596). Which is smaller: w or -1?
-1
Let f = -798/90785 - 2/335. Which is smaller: f or -1?
-1
Let u = 1901/3 - 618. Is 15 at most u?
True
Let u be (1750/(-12))/25 - -6. Let r = 0 - 1. Which is smaller: u or r?
r
Suppose -3*u = -6*u + 294. Let p = -35 + u. Let l be 14/p*(-2)/2. Which is smaller: -0.2 or l?
l
Let t = 151.1 - 151.099. Which is bigger: -3/5 or t?
t
Let o be 1/1 - 0 - 1. Let f = o - -2. Let c(y) = -y**2 + 4*y - 3. Let i be c(f). Is i > 2/25?
True
Let l = -9 + 19. Let t be 2/l + 3/5. Let k be 5*4*(-6)/(-120). Is k at most as big as t?
False
Suppose -3 = 18*v - 17*v - h, 0 = -4*v - 4*h + 4. Is v greater than 0.06?
False
Let o = -58 + 62. Suppose 0 = -o*u, -3*u = 3*l - 5*u - 9. Is 3 greater than l?
False
Let m = -40002/137 - -292. Let n = 1 - 0. Which is bigger: m or n?
n
Let s = 666 - 389. Is 277 at most as big as s?
True
Let o(p) = -p - 1. Let y be o(-5). Suppose 2*d + y*z + 54 = 18, z - 21 = 2*d. Suppose -10 = a + 2. Is d equal to a?
True
Let x(j) = -j + 6. Let b be x(6). Let h be -1 - 44/(-28) - b. Let l be ((-1)/(-2))/((-6)/(-12)). Which is smaller: h or l?
h
Let z(b) = 2*b**3 - 4*b**2 + 13*b - 37. Let f be z(7). Is f > 544?
False
Suppose 0 = -30*r + 24*r + 6. Is -3/19 equal to r?
False
Let m = -2.8 - -3. Let x = -4.4 - -3.6. Let a = x - 3.2. Which is greater: m or a?
m
Suppose -3*y = 2*t + 23, -3 = -5*t - 8. Let k be 10/4*(-5 - y). Let a = 5 - k. Which is greater: 4 or a?
4
Suppose -10 = -2*r, 4*o - 2*r - 2*r = 0. Let c be ((-4)/6)/((-32)/228). Is c at least o?
False
Let j(u) = -u - 3. Let g be j(0). Let b be g/6*0/1. Is -13 less than or equal to b?
True
Let a be 4/3*(-21)/2. Suppose -2*w + 2 = -2*y - w, 0 = y + 2*w + 11. Let m be ((-1)/a)/(y/(-6)). Which is smaller: 0.1 or m?
0.1
Suppose -3*o = -7 + 1. Let d = 7021 - 7020.8. Is d bigger than o?
False
Let y(b) be the third derivative of -9*b**4/8 - b**3/3 + 5*b**2. Let t be y(-1). Suppose 3*c + z + t = 0, -4*c + z - 20 = -z. Which is greater: c or -8?
c
Let x = -10 + 6. Let l be ((-1)/x)/(45/40). Let p be (4/7)/(68/14 - 4). Is l at least as big as p?
False
Let w = 22 + -25.4. Let p = w - -3.2. Which is greater: p or -4?
p
Suppose 5*g + 0*g = 0. Let u be (-112)/672 + 4/6. Which is smaller: g or u?
g
Suppose 0 = -6*r + 8*r. Suppose b + b - 20 = r. Let s = -10 + b. Is s bigger than -2/15?
True
Let u(f) = f**3 + 16*f**2 - f - 8. Let n be u(-16). Suppose 2*r + n = 4*h, 0 = -4*r - 0*r + 2*h - 4. Which is greater: -1 or r?
r
Suppose -35 = 5*g + 5*q, 2*g + 2*g - 3*q = 7. Let l be (-4 - g)*(-3)/2. Let h(v) = 2*v**2 + v - 5. Let w be h(l). Which is smaller: 1 or w?
1
Let z = 17 + -14. Let w be z/39*(-14262)/(-6). Let i = -183 + w. Is 1 at least i?
True
Let j = -387 + 386. Does j = 2/997?
False
Let o be (3 + 99/(-27))/(2/(-114)). Which is bigger: 39 or o?
39
Let o = -0.047 + 34.047. Let k = o - 38. Which is smaller: 1 or k?
k
Let d = -13 - -9. Suppose 7*u + 3*l = 8*u + 4, 0 = 5*l