 - 12/(-15). Suppose -5*x + 39 - 9 = -2*c, 3*x - 29 = -c. Is x != a?
True
Let d = 2 + -233. Is d at most as big as -232?
False
Let c be -26*9/18 - 5. Which is bigger: -0.07 or c?
-0.07
Let t = 5 - -46. Let j = -50 + t. Which is smaller: j or -1/11?
-1/11
Let z be ((-2)/(-6))/((-19)/57). Let r be z*(-3 + -1 + -15). Which is bigger: r or 20?
20
Let f = -1160.7 - -1161. Is -15.4 at least f?
False
Let v = 1596 - 23927/15. Which is greater: 2 or v?
2
Let s = -707 + 691. Which is bigger: s or -107/7?
-107/7
Let h = -94.1 + 179.1. Which is bigger: 0.04 or h?
h
Let y = -31 + 106. Let s be 140/y - (2 + 0). Which is smaller: s or -1?
-1
Suppose 0 = 4*t - 5*y + 36, 4*t = t - 3*y. Let h(r) = -44*r + 832. Let g be h(19). Is g < t?
False
Let j(o) = o + 23. Let b be j(30). Is 43 at least b?
False
Let x = 3.7 - 0.7. Let f = 0.575 + -0.55. Let s = -1.025 + f. Is x greater than s?
True
Let h(w) = w**3 - 3*w**2 - 5. Let x be h(4). Let d be (16/(-6))/((-21)/(-63)). Let a(m) = -5*m - 28. Let l be a(d). Which is smaller: l or x?
x
Let a = -25 + 15. Let t = -8 - a. Which is smaller: t or 8/15?
8/15
Suppose 4*x - 3*b = 2, 4*x - 1 = b + 5. Let k be x/10 + 403/(-65). Let a = k - -5. Which is bigger: a or -2?
a
Let k be (-15)/(-138)*-1*(1 - 2). Is 1 greater than or equal to k?
True
Let t = -175 - -162.7. Let r = -13 - t. Let s = -7.4 + 6.4. Which is smaller: s or r?
s
Let q = 1 + -1. Let j = 17967/13 + -1382. Is j less than q?
False
Suppose x + 2*v - 8 = -x, -3*x + 5*v = 4. Let s = 31/2 - 15. Is x less than s?
False
Suppose -3*c - 7 + 22 = 0. Let n be (-50)/(-140)*6/c. Let g = n + -2/21. Is 0 greater than g?
False
Let v(r) = -5*r - 42. Let w be v(4). Which is smaller: w or -63?
-63
Suppose -4*d + 4*x = -x, 5*d + 5*x = 0. Let w be (-1 + 0)*1 + 75/73. Which is greater: d or w?
w
Let s = -13 - -25. Suppose -s = 8*k - 4*k. Which is smaller: k or -9/5?
k
Let m = 1322/5 - 264. Which is smaller: m or -5?
-5
Let u be (-23)/(-20) - (-4)/(-10). Let b(m) = -m**3 - 8*m**2 - 8*m - 6. Suppose -8 = 3*o + 13. Let s be b(o). Is s at most u?
False
Let f(h) = 2*h. Let z be f(-1). Let k = 968 - 967. Which is smaller: k or z?
z
Let s = 43 - 44. Is 4/81 less than s?
False
Let f(g) = 5*g - 24 + 24. Let h be f(1). Suppose 3*u - h*u = -2. Is 1 > u?
False
Suppose 0*z + 2*r = 3*z - 87, 116 = 4*z + r. Let q = -28 + z. Is 0.2 at most q?
True
Let i = -418 + 10452/25. Suppose 0*g - 5*g = 20. Let h be g/10 + (120/(-25))/8. Which is smaller: h or i?
h
Suppose -2*c + 5 = d, -c + 2*d + d - 15 = 0. Let t be (-160)/(-28) + c + -5. Which is smaller: 0.2 or t?
0.2
Suppose -2*u + 524 = 5*f, 0*u + 206 = 2*f + 2*u. Let o = f - 39. Which is smaller: 0 or o?
0
Let l = 16/13 + -45/26. Is 9 smaller than l?
False
Let k(q) = 2*q + 10. Let o be k(-9). Let n = 18 - o. Let g = -16 + n. Which is bigger: 9 or g?
g
Let d(h) = h**3 + 2*h**2 + h + 2. Let l be d(-2). Let v = -5 - 4. Let q be (-1)/v*4 - (2 + -1). Is l greater than or equal to q?
True
Suppose -4*t - 5 = -9*t. Let r = 177051/101 + -1753. Which is smaller: t or r?
r
Let j be 4*((-101)/26 + 29/(-58)). Is j equal to -19?
False
Suppose 2*k - 2 = 3*k. Let j = -60 - -47. Let m = j + 10. Is m >= k?
False
Let p(t) = -t - 2. Let f be p(-4). Suppose 0 = -4*v - n + 5, f*v = -3*n - 0 + 5. Let z be 20/(-12) - (0 - v). Is z at most as big as -2?
False
Let w = -8.3 - -7. Let a = -0.3 - w. Let x = -37 + 29. Which is bigger: a or x?
a
Let l(g) = -8*g + 8*g + 5*g**2 + 17*g + 13 - 8. Let o be l(-4). Is 14 greater than o?
False
Let r = 14 - 13.15. Let k = r - 6.15. Is -0.2 smaller than k?
False
Let y(v) = -v**2 - 8*v - 2. Suppose -35 = 5*b + 5. Let n be y(b). Let c = -3660/7 - -522. Which is smaller: c or n?
n
Let v = 0.691 - -305.309. Is 0 smaller than v?
True
Let v = -272.2 + 48.8. Let f = v - -214.17. Let y = 0.23 + f. Are y and -0.1 nonequal?
True
Let n = -4 + 16. Suppose n - 27 = t. Let r be 6/t + 6/40. Are r and 12 equal?
False
Suppose -4*u = 3*l - 29, -u - 4 = -5*l + 2*l. Let a(r) = -r**3 + 5. Let n be a(l). Which is greater: n or -43/2?
-43/2
Let d(m) = m**2 - 7*m - 2. Let u be d(6). Let a(v) = -v**3 - 3*v**2 + v - 5. Let w be a(-3). Let f = w - u. Is 1/14 greater than or equal to f?
True
Let o = 13/2 - 6. Let u(m) = -m**2 + 8*m - 11. Suppose -5*q + 3*b = -18, -3*b + 7 + 5 = 0. Let j be u(q). Are o and j equal?
False
Let n(q) = 11*q**2 - 4*q + 2. Let k be n(2). Let b be (k/18)/((-6)/(-18)). Let s = b - 263/42. Is s at most as big as 0?
False
Let i(s) = 21*s + 139. Let y be i(-8). Does y = -32?
False
Let c = 278 + -308. Is c != 7?
True
Suppose 205*i + 1784 = 197*i. Is i greater than or equal to -222?
False
Suppose 3*j - 2*f - 88 = 6*j, 5*f = -5*j - 155. Which is bigger: j or -42?
j
Let k(t) = 18*t - 243. Let p be k(13). Are p and -54 unequal?
True
Let b be 3*(4/(-6) - -1). Let l be (58/(-6) - -9)/2. Which is greater: b or l?
b
Let a(m) = 4*m - m**2 - 3*m + 11 + 0*m - 4*m. Let g be a(4). Is g < -14?
True
Let d = 3/107 + 205/321. Is d bigger than 7/2?
False
Let i be (10/4)/((-30)/(-24)). Suppose 5*m - 2*g = -g - 2, g - 2 = i*m. Is 9 bigger than m?
True
Let j be 14 + 305/(-330)*15. Let q(v) = v - 4. Let t be q(3). Which is smaller: j or t?
t
Let i = -0.43 + 9.43. Which is greater: 4/3 or i?
i
Suppose 4*l + 4 = 4*s, -2*s - 2*s - 5*l = -22. Let x = s + -4. Let p be 4/(-45) - (-1)/5. Do p and x have different values?
True
Let t = -185.9 - -186. Is 0.052 <= t?
True
Let u be (-444)/48 - (-2)/8. Let b be ((-392)/(-6))/((-6)/u). Let w be 2/b*-148 - -3. Is 0 less than w?
False
Let c be (-3)/(-2) - (-2)/4. Suppose -d + c*m = -16, -2*d - 3*d = -4*m - 86. Let t = d + -30. Which is greater: 2/5 or t?
2/5
Let i(l) = 0*l + 3*l**2 - 3*l - 2 - 3*l**3 + 4*l**3. Let j be i(-4). Let t(h) = 2*h + 9. Let s be t(j). Which is greater: -5 or s?
s
Let w(m) = -m**2 + 9*m + 20. Let c be w(10). Suppose 0 = -5*s + 2*b - 32 - c, 3*s = 3*b - 27. Let o(d) = 6*d. Let x be o(-1). Which is greater: x or s?
x
Suppose 2*s - 4 = -o + 2*o, 5*o = -s + 2. Which is smaller: o or -60/49?
-60/49
Let z(w) = -7*w**3 - 31*w**2 + 75*w + 57. Let a(t) = -4*t**3 - 15*t**2 + 38*t + 29. Let c(m) = 5*a(m) - 3*z(m). Let o be c(-20). Is o > -126?
False
Let c be -1 + (-2)/(-12)*4. Let o be 101/(-20) + (-2)/(-8). Let i = o + 101/20. Is i < c?
False
Suppose -4*r - 2*c = -112, 2*r + 3*c = 41 + 19. Suppose r*s - 30*s + 3 = 0. Which is greater: s or 1/3?
s
Let p(m) = 10*m**2 + 2*m + 1. Let f be p(-1). Let x(i) = -i + 19. Let n be x(10). Let z be (-5)/((-10)/2)*n. Is f greater than z?
False
Let p = 9.7 - 19.7. Let g = 5 + -5.1. Which is smaller: p or g?
p
Let x be (-4)/(-12) + (15360/2268 - 7). Does x = 1?
False
Let g(f) = 4*f**2 + 17*f + 26. Let y be g(-11). Let a = -6135/19 + y. Suppose 5*o = -3*m - 6 - 2, 2*m + 2*o = -4. Is a at least as big as m?
True
Let g be ((-210)/1225)/(3/5). Is g greater than or equal to -188?
True
Let s be -144*-1*(3 + -6 + 2). Are s and -148 non-equal?
True
Let q be (85679/(-209))/((-2)/(-7)). Let u = 1435 + q. Let m = u - 85/152. Which is greater: 0 or m?
0
Let y = -6/5 + 9417/35. Let q = 270 - y. Does q = 3?
False
Let a = -38 + 25. Let c(o) = o**3 + 13*o**2. Let m be c(a). Is 2/61 > m?
True
Let h be (-58)/8 - 3/4. Let x be (h/(-16))/((-2)/(-104)). Is x smaller than 25?
False
Let a = 5 + -4.94. Let h = 0.16 - a. Let o = 0.06 + -0.16. Is h at least as big as o?
True
Let t(f) = -f**3 - 14*f**2 - 37*f - 150. Let r be t(-12). Which is greater: -2.6 or r?
r
Let g = -163 + 238. Let c = g + -90. Which is smaller: 4 or c?
c
Let p = -8 - 17. Let w be 110/(-880) + 183/(-8). Which is greater: w or p?
w
Let l be 2/32 - (-11950)/(-12000). Let j = -2 - -2. Which is smaller: j or l?
l
Suppose 2 = -4*p + c + 3, -5*c - 27 = 2*p. Is p less than or equal to 1/170?
True
Let k = -213 - -214. Is k greater than or equal to 2/11?
True
Let b(m) = -m**3 + 5*m**2 - 3*m - 15. Let h be b(5). Which is smaller: h or -28?
h
Let g = 1.07 + 0.13. Let s = 2.2 - g. Let p = 0.83 - 0.33. Does p = s?
False
Suppose -2*z + 3 = -5*z. Let r be (-1 + 2)/(z + -2). Suppose -m - 8 = -3*b, -b - 12 = 2*m - 3*b. Is r at least m?
True
Suppose -3*z - 14 = -z. Let c(t) be the second derivative of t**5/20 + 7*t**4/12 - t**3/2 + 16*t**2 + 5*t. Let a be c(-8). Which is smaller: a or z?
a
Let s be (-5)/(35/2) + 224/98. Which is greater: 5 or s?
5
Let g be ((-8)