 0.8?
False
Let c(p) = -p + 1. Let n(x) = -16*x**2 - 14*x + 14. Let z(u) = 10*c(u) - n(u). Let a be z(1). Is a at most as big as 18?
True
Suppose -2463 = -6*q + 243. Which is bigger: q or 1809/4?
1809/4
Let w = -146.334 + 0.334. Let v = 153 + w. Are v and -0.04 equal?
False
Let u be 279/372*(1/3 + (-637)/1912). Which is smaller: -1 or u?
-1
Let m be (6 + (-105)/90)*(-12)/(-942). Is m greater than 0?
True
Let p be (-14)/(-98) + (-9 - (-27923)/49). Which is bigger: p or 6183/11?
6183/11
Let j = 0.9221 + -0.717. Are j and 1 non-equal?
True
Let b = -4802.74 - -4806. Which is greater: b or -10?
b
Let c = 111.791 + -130. Let v = c + 18.1. Which is greater: v or -1/4?
v
Let q = -8.106 + 6.546. Let a = -0.8 + 0.9. Which is bigger: a or q?
a
Let x = -35 - -43. Let u be (12/x)/(3/8). Suppose 4*v - 12 = b - 6*b, 12 = u*v. Which is greater: b or -4?
b
Suppose -2655*i - 351864 = -2547*i. Which is smaller: i or -3261?
-3261
Suppose 629 = -2*m - 21*j + 20*j, 2*j = -m - 322. Are -313 and m unequal?
True
Let x = -2808 - -3425. Is x smaller than 1850/3?
False
Let w = 213 + -211. Suppose 3*z - 3 = 3*n, -2*z - w*n - 1 = -n. Is 56 equal to z?
False
Suppose 5*x + 3036 = -39*x. Let v = 4 - x. Are 1 and v nonequal?
True
Suppose -17*t + 847 - 5828 = 0. Which is bigger: -883/3 or t?
t
Let o = -49 - -32. Let h = 752 - 742. Suppose h*d - 708 + 868 = 0. Which is bigger: d or o?
d
Suppose -2*l - 2*q = 2*q + 10, 5*l + 14 = q. Let h(u) = 6*u + 206. Let a be h(-33). Is l > a?
False
Let s = -9.42 + 9.47. Which is bigger: 18 or s?
18
Let m = -4465.81 - -4466. Is m at least as big as 5/27?
True
Suppose 3*o - 3*d = -866 + 203, -o = 3*d + 197. Which is smaller: -1725/8 or o?
-1725/8
Suppose -2*r + 6 = 3*y - 6*r, -2 = -y - 5*r. Let f be 112 + (-1 - -3) - y. Let a be 24/f - (-2)/7. Is -1 at least as big as a?
False
Let w be 142/852 - 1121/(-6). Let l = 487 + -300. Is l greater than w?
False
Let c = 231 + -1. Let q = 229.9 - c. Are 13.7 and q nonequal?
True
Let n = -119 + 118.943. Let g = 41.057 + n. Let c = g + -65. Which is smaller: c or 2?
c
Let d = 123999 - 123935.809. Let p = d - -1.519. Let n = 65 - p. Is n at least 1?
False
Let h = -2.203 - -1.051. Let n = 640.848 - h. Is n less than 0?
False
Let w be (2 + 14)*(-104)/(-113984). Suppose 5*r + 4*p - 5 = -1, -3*r - 3*p + 3 = 0. Is w greater than or equal to r?
True
Let z be 2*(-2 - 1) + (27 - 30). Let n(g) = 2*g**3 + 18*g**2 + 8*g + 9. Let q be n(z). Is q > -63?
False
Let v = -37 + 45. Suppose -2*n = -4*p + 22, -5*p = -0*p + 4*n - v. Let w be ((-1)/35)/(2/p). Which is smaller: 1 or w?
w
Let m(b) = b**3 + 22*b**2 - 27*b - 76. Let r be m(-23). Let y = r - -8. Which is greater: y or 23?
y
Let z = 453995/19 - 23901. Is -6 at least z?
True
Suppose -60 = -5*i - 0*s + 5*s, 5*i + 4*s = 69. Suppose -20*h = -12*h + 120. Let j = h + i. Are j and -2 equal?
True
Let s(w) = 2*w**2 - 11*w + 18. Let d be s(6). Suppose 2*l + d = -i, -5*i + 5*l - 77 + 2 = 0. Which is smaller: -10 or i?
i
Let r = -107 - -130. Let t = r - 39. Let l be (-4)/t*0/1. Which is greater: l or 4/27?
4/27
Let v = 201 - 100. Suppose v*y - 107*y = 0. Which is smaller: -4/45 or y?
-4/45
Let m = -10902 + 7903938/725. Let a = m - 21594/9425. Suppose 2*o + 4*b + 20 = 0, 2*b = -0*o + 4*o. Which is bigger: a or o?
o
Let i be (4562 - (-14 - -3)) + 1. Which is bigger: i or 4576?
4576
Let f(m) = -m**3 + 5*m**2 - 8*m + 5. Suppose -10 = -7*u + 4. Let y be f(u). Which is smaller: -2/555 or y?
-2/555
Let n = -180 + 179. Let i = 1.31 + 5.69. Which is smaller: i or n?
n
Let f = 7391 - 7044. Is f < 7?
False
Let y(f) = 18*f**2 - 2*f - 1. Let v be y(-2). Let g = v + -106. Let n be g/(-12)*-2*-2. Which is bigger: n or 10?
n
Let j = 4.4832 - 3.4832. Which is smaller: -47.86 or j?
-47.86
Let s = -458 - -467. Let f be 2 + -1 - (-45 + s). Is f less than 37?
False
Let w(k) = k - 9. Let d be w(13). Let i = -36003/56 - -4524/7. Which is smaller: i or d?
i
Let n = -25264 + 25263.3. Let f be ((-27)/(-8))/((-3)/(-2)). Which is smaller: f or n?
n
Let y = -6893 + 6901. Which is bigger: y or -920?
y
Suppose 5*y - 5*v = -9*v + 4013, -3*v = -4*y + 3198. Suppose -306 = 27*u + y. Is 2 bigger than u?
True
Let d be 56/(-20) + (-39116)/(-770). Suppose 0 = -4*u + 2*u + 8. Are u and d unequal?
True
Suppose 3*k - 192 = -459. Let j = -91 - k. Let n = 46/5 - 9. Which is greater: n or j?
n
Suppose 5*b + 42 = 4*k - 2, b + 28 = 4*k. Suppose -k*r + 348 = 324. Is -6 less than or equal to r?
True
Let z = -221 - -218. Let l(y) = -y**3 - y**2 - y - 6. Let f be l(z). Is 100/7 bigger than f?
False
Let k = -16.41 - -16.31. Which is smaller: 203.1 or k?
k
Suppose 3*w + t - 9 = -2, 5*w + 5*t - 5 = 0. Suppose 4*a - 21 = a - 5*m, 0 = -4*a - w*m + 17. Let h be 6/a*(-3)/(-9). Are h and 64 non-equal?
True
Let i = -18875 + 19245. Is i != 344?
True
Let o = -145.9 + 2.9. Let r = o + 142.903. Let u = -0.107 - r. Which is greater: 0.2 or u?
0.2
Let r = 317 - 352. Let l be (-5)/(-15) + (-548)/15. Let b = r - l. Which is smaller: -1 or b?
-1
Let l be (-944)/(-11) - 68/(-374). Suppose -l + 96 = 2*u. Does 20 = u?
False
Let t = 796025 + -796861.041. Let l = 836 + t. Let y = 0 + 0.1. Is y at most l?
False
Suppose -5217 - 3631 = 14*a. Let x be (4 + (-50)/20)/(2/a). Is -475 at least as big as x?
False
Let h(r) be the third derivative of r**5/60 - r**4/12 - 2*r**3/3 - 33*r**2. Let l be h(2). Let s be (-24)/l - 3 - 3. Is s at most -2/193?
False
Let f = -58231/10285 + 496/85. Which is smaller: f or 1?
f
Let p(u) = 173*u + 66. Let r be p(-3). Let g = -443 - r. Is 28 less than or equal to g?
False
Let u(a) = -162*a**2 + 299*a + 5. Let y be u(8). Is -7970 greater than y?
True
Let o be 8/(-4)*1*-2. Suppose -3*j - 9 = g + 2, -j = o*g. Let l = -81/2 + 1375/34. Is l less than or equal to g?
True
Let r(a) = 2*a**3 - 20*a**2 - 85*a + 1111. Let b be r(19). Is b greater than or equal to 5994?
True
Let m = -3722.01 + 3749. Let o = m - -0.01. Do 3 and o have different values?
True
Let v(i) = 14*i - 19*i + 2*i**3 - 9 - 3*i**3 - 5*i**2. Let r be v(-3). Let k be (-3 - 87/(-30))*(-5)/r. Is 1 <= k?
False
Let n = 313 + -317. Let y be (-4)/((n - -4) + -4)*-102. Do -104 and y have the same value?
False
Let n(z) = z**3 + 2*z**2 + 2*z + 25. Let m be n(0). Let q be m/(-10)*(1 + 0)*14. Which is smaller: -34 or q?
q
Let k = -1.38 + -3.62. Let i = 6 + k. Which is smaller: -80 or i?
-80
Suppose 2 = 2*t - 8, 3*s - 2555 = 2*t. Is -5 at most s?
True
Suppose -3*p - 797*a - 5427 = -796*a, 3*a = 4*p + 7236. Is -1807 equal to p?
False
Let v = -3200.9 - -3222. Is v at least as big as 5/2?
True
Suppose 4*p - 21 = -3*c - 2*c, 2*p - 2*c = -12. Let t be p/2*((-24)/(-4) - 24). Is t less than 9?
False
Suppose 107 = -3*q + 2*u, 0 = 62*u - 64*u + 8. Is -171/5 > q?
False
Let s = 185.4 + -122.1. Let v = s - 45.3. Which is greater: -0.1 or v?
v
Suppose 4966 = 21*q - 34*q. Let r = 1918/5 + q. Suppose 0 = 2*p - 5*x - 19, 19 = 4*p - 2*x + 5. Is r greater than p?
False
Suppose -4*v + 2*w = 5*w + 273, 2*v - 5*w = -117. Let c be v/24 - (-3)/(-3). Suppose 5*z + 2*h + 30 = 0, -8*h = 3*z - 3*h + 37. Which is bigger: z or c?
c
Let j be 21/(-21)*9/9. Suppose 0 = -c - c. Let h be c - 6/(-27)*1. Is h equal to j?
False
Let w = -12078 - -12078.21. Is 18 >= w?
True
Let x be 3 + (-122240)/(-61115) - (3 + (-10)/(-5)). Does x = -1?
False
Suppose 5*k = 2*k, 4*c = k + 552. Let r be 0 + ((-432)/c - -3). Let p = -0.21 + -0.79. Which is bigger: p or r?
r
Let p = -1/44 - 813/44. Let a(f) = -2*f + 24. Let b be a(10). Suppose b*m + 4*m = -152. Is p <= m?
False
Let m(o) = -o**2 + o - 11. Let j be m(5). Let i be (30 + -28)/(-1*2/j). Do 32 and i have different values?
True
Let j = 1088 - 1074.66. Which is greater: j or -0.1?
j
Let w(l) = l**3 - 2*l**2 - 2*l + 2. Let h be w(-2). Let z be 2/(-3)*288/(-64). Let d be 1*2/(-54)*h*z. Is d > 0?
True
Suppose -2*f + 4*b = -5942, 4*f = 2*b - 5003 + 16851. Is f at least as big as 0.1?
True
Let r = 4552 - 4549. Let b = 311 - 171. Let a be 2/8 + 285/b. Does a = r?
False
Suppose 4*z - 2*h = -9 + 21, -z + 2*h + 12 = 0. Are -13/742 and z unequal?
True
Let q = -75791 + 594428814/7843. Is q at least -1?
True
Let b = 13529/55878 + -34/139. Suppose 0 = -407*k + 3094 - 2687. Which is greater: k or b?
k
Let g be 3/(-1)*(-5)/45*-6. Let n be (16/(-24))/(g/(-9)). Let c(l) = -2*l + 9. Let r be c(6).