7.1 - 337. Do -692 and u have different values?
True
Let l = 7942.036 + -7942. Are -77 and l nonequal?
True
Let r(n) = 2*n**3 - 15*n**2 + 4*n + 9. Let c be r(7). Let p = c + 4. Are 1 and p nonequal?
True
Let t = -52182 + 51914. Let y = 0.1 + 0. Which is greater: t or y?
y
Suppose -72*h + 375524 - 1484 = 0. Is 5197 bigger than h?
True
Let n be 6/(-21) - (-5 - 445/(-35)). Let r be (57 - 2)*n/20. Is r bigger than -23?
True
Let i = -2068 + 2067.46. Is i equal to 1/2?
False
Let d = -2649.11 - -2625. Let c = 11 + 13. Let r = c + d. Is r <= 1?
True
Let q = 123 + -17. Let p = q + -103. Suppose -5*w + 4*w - p = 0. Is 3 smaller than w?
False
Let y = -13 - -12.77. Let g = y + -14.77. Let q = -0.8993 + -0.1007. Is g <= q?
True
Let p be ((-90)/12)/5*(6 + (-16)/3). Which is smaller: -13/100 or p?
p
Suppose 0 = -5*n - 4*h + 25, -2*n + 4*h + 4 = -6. Suppose 0 = -o + 5, 100 - n = 5*q - 5*o. Let g be (-52)/(-6)*(-18)/q. Is 2 < g?
False
Suppose 287*l - 543*l + 1280 = 0. Let v = -39/4 - -9. Which is smaller: v or l?
v
Let p be (-42)/(-56)*(-2 + 4). Let d = 1 + 0. Is d less than or equal to p?
True
Let v = -1480/11 + 18343/132. Let l = -5185/1176 + v. Are 0 and l equal?
False
Let t be 0 - 304/(-262) - 1. Let g = -50833451/73831207 + 56/29663. Let d = g + t. Is d at least 0?
False
Suppose -115*g = -52*g - 49*g + 7742. Which is smaller: g or -549?
g
Let r(k) = -2*k**2 - 13*k - 14. Let z(w) = -w**2 - 13*w - 15. Let b(o) = -2*r(o) + 3*z(o). Let g = 872 - 857. Let v be b(g). Which is bigger: 12 or v?
v
Let k = -196 - -201.01. Let c = -1.01 + k. Is -0.044 smaller than c?
True
Suppose -227*v + 4*v + 71360 = 0. Let i(u) = -27*u - 4. Let s be i(-12). Is s < v?
False
Suppose -10 = -4*o + 2*l, 40*l = 4*o + 35*l - 13. Let r = 3 + 0. Let h be 172/56 - o - r/(-7). Is 3 at least h?
True
Let j = -512 + 1109. Let i = j - 596.8. Suppose 5*c - 13 = 12. Which is smaller: c or i?
i
Let o(n) = 73*n**3 - n - 1. Let s be o(-1). Let q be (-99659)/1380 + 6/(-8). Let t = s - q. Is t < 0?
True
Let d = -11 - -1. Let p(h) = h**3 + 6*h**2 - 43*h - 18. Let n be p(-10). Suppose -11*r = -10*r + n. Which is greater: d or r?
d
Let q = -0.061 + 10.561. Let v = q + -9. Let k = -21.5 + v. Do k and 1 have different values?
True
Let s = -0.4 - -0.6. Let d = 0.4 - s. Let g = 734.12 + -733.9. Is g >= d?
True
Let c = 1505830706403/2141873156591 - -36/119198239. Let o = -3/1057 - c. Is 0 > o?
True
Let n = 49 - 252/5. Let x = n - -23/20. Let o = -0.058 - 3.942. Which is smaller: o or x?
o
Let i = 2019 - 1970. Is i at least 77?
False
Let q = 419 + -416. Suppose 0 = -4*f + 3*r + 2, q*r - 3 - 3 = 0. Is f at least as big as -2?
True
Suppose 0 = -25*w + 28*w + 3*u + 1797, 0 = 2*w - 5*u + 1198. Is w < -599?
False
Let w be ((-2808)/96)/((-240)/5504). Which is smaller: w or 670?
670
Let x be (-57)/133 + -3 + 2110/595. Does x = -378?
False
Let w = 24731/195 - 2207/15. Is w < -20?
True
Suppose 2*z = 3*u + 2, 0*u + 5 = -4*u + 5*z. Let q be -3*(14/(-3))/1. Suppose -q*r + 16*r = u. Which is bigger: r or -3/4?
r
Let l = 8076 - 8082. Do -971 and l have the same value?
False
Let q = 581 + -588. Do -698 and q have the same value?
False
Let h = 182.07 - 182.17. Which is smaller: h or 11691?
h
Suppose 2*z + 2*w + 2 = 0, -8*z + 2*w = -5*z - 2. Suppose z = v - 2*l + 220, -3*v + 81 - 706 = l. Does 0.2 = v?
False
Let l(z) = -z**3 + 5*z**2 - 3*z - 4. Let j be l(4). Let t = 48491/8 - 6061. Which is greater: j or t?
t
Suppose 0 = -3*d - 2*u + 251, 3*d - u - 247 = -2*u. Let r(n) = 2*n**2 + 9. Let g be r(6). Is g not equal to d?
False
Let z = 31649 + -31649. Which is bigger: -9932 or z?
z
Suppose 125 = -a + 6*a. Suppose -104*i = -120*i + 432. Is i at least as big as a?
True
Let o = 11663 - 128446/11. Let s be (-1 - 1) + 6/(78/(-169)). Do o and s have the same value?
False
Let y = 252 - 253. Let j be 65*(y + (-4)/(-4) - 1). Is j equal to -65?
True
Let s(i) = i**3 - 19 - 4*i**2 + 48*i - 146*i + 46*i + 43*i. Let o be s(6). Is o at least as big as -14?
True
Suppose -2*t = c + 16, 3 + 3 = 3*t. Let x be -20 + 7 + 16 - (-1086)/63. Let i = x - 284/7. Is c greater than i?
True
Let v(o) = 2*o**3 + 122*o**2 - 9*o - 358. Let f be v(-61). Which is greater: f or 24?
f
Let t(i) be the second derivative of i**5/20 - i**4/6 + i**3/3 + i**2/2 - 59*i. Let f be t(2). Is f equal to 12?
False
Let m = -1740 + 1740.06. Let h = -2.96 - -3. Let z = m + h. Which is greater: z or -0.041?
z
Let y(v) = -v + 11. Let u be y(0). Suppose 0 = -3*x - 2*l + 136, x + 8*l = 5*l + 57. Suppose -5*d = -u*d - x. Which is bigger: d or -8?
d
Suppose o = 0, 3*o = -4*i - 1119 - 785. Let x = i + 1076. Is 599 smaller than x?
True
Let z be (-1344)/140 - 198/(-11). Let g = -0.06 - -0.36. Let o = g + 0.7. Which is smaller: o or z?
o
Let s = 1073 - 1062.98. Let i = 8.02 - s. Does -0.1 = i?
False
Let v be 5421/26 + (3/2 - 2). Suppose -v - 149 = 3*b. Is b less than or equal to -120?
False
Let u = -400 + 380. Let p be (-6)/(0 + -5 + (-92)/u). Are p and 85/6 unequal?
True
Let u = 150.023 + -0.023. Let j = u + -150. Are j and 2.9 unequal?
True
Let m = -15098 + 15099. Which is bigger: m or 1/7333?
m
Suppose 35*r = 12*r - 529. Let w be (-488)/12 + (-3)/9. Let d = w - r. Is -17 greater than d?
True
Let i(z) = -z - 1. Let w(y) = y**3 + 12*y**2 + 8*y + 62. Let q(h) = -5*i(h) - w(h). Let m be q(-12). Which is bigger: m or -25?
m
Suppose -235 - 167 = 134*x. Which is smaller: x or -83/47?
x
Suppose 6 = 3*f - 0. Let v be 6/(-2) + f - -3. Let j = 29348/19 + -1544. Is j equal to v?
False
Suppose -3*m + 2*m = 3*p, -5*m = -4*p. Suppose m = 2*d - 26 + 76. Which is greater: d or -22?
-22
Let j(t) = -2*t**3 + 32*t**2 + 32*t + 36. Let h be j(17). Let g be 33/165*3/h. Let r be 2/2*(1 - 2). Which is greater: r or g?
g
Let j be (-1)/3*(-5)/(5/51). Suppose 21*u - 196 = j*u. Let f = u - 49. Which is smaller: -1/28 or f?
-1/28
Let r be -3 + (568 - (4 - 2)). Suppose -5*c - 4*q + r = -0*c, -232 = -2*c - 5*q. Suppose -5*j + 2*h = -c, -2*j + 2*h + 20 + 22 = 0. Is j <= 22?
False
Let h = 0.2 + -0.22. Let m = 1196.5 + -1192.5. Which is greater: h or m?
m
Let u(a) = 20*a**2 - 13*a - a**3 + 13 + 21*a**2 - 46*a**2 + 18*a**2. Let w be u(12). Let j be ((-4)/18)/(2/(-12)). Is j at most w?
False
Let i(u) = -5*u + 220. Let a be i(38). Let q = -74 + 22. Let s = -21 - q. Does a = s?
False
Let w be 1 + 1798 + (94/47)/(4/(-16)). Is w at most as big as 1789?
False
Let p(k) be the third derivative of -11*k**5/30 - k**4/8 + 2*k**3/3 + k**2. Suppose -g + 4 = 4*g - u, 4*g + 4*u - 8 = 0. Let b be p(g). Are -21 and b nonequal?
False
Let d = -6007 - -4214. Is -1792 smaller than d?
False
Let s = -76 - 24. Let j = -98.01594 + 0.01594. Let p = s - j. Is 5 at least p?
True
Let s(q) = 10*q + 40. Let x be s(6). Let j = x - 136. Is j at most -33?
True
Let p = -6167 + 3191. Are p and -2975 nonequal?
True
Suppose 2*h = w - 0*h - 9, w - 5*h = 18. Let y = -0.081 - -0.055. Let b = y - -0.126. Which is smaller: w or b?
b
Let x be -7*8/6*9. Suppose 8*k - 416 = 12*k + 4*l, 4*k - l = -416. Let b = x - k. Which is greater: b or 19?
b
Let z = 41 + -43. Suppose -3*q - 3 = 5*g, 4*g + 5*q = -4 - 1. Suppose -4*u - 3*o + 11 = g, 1 = 2*u - o + 8. Is z smaller than u?
True
Let k = 9899087/3693 - 1/7386. Is 2681 at least as big as k?
True
Let r be 1*(6 + -3) + (432/64 - 10). Let n be 19/(-51) + (-4)/(-6). Which is greater: n or r?
n
Let i be (-12)/21 + (-1)/(49/(-224)). Suppose -h = -3*c - 0*h + 43, -i*h - 3 = c. Is c >= 6?
True
Suppose 3*x = 6*x - 3. Let t(g) = 7*g + 1. Let i be t(5). Let w be i/147 - (-2 - (-32)/14). Is w smaller than x?
True
Suppose 5728*i + 54 = 5755*i. Let r = -50614471/170287 + -5/13099. Let w = 298 + r. Which is smaller: i or w?
w
Let x(d) = d**3 + 9*d**2 - 13*d - 39. Let p be x(-10). Let n be (1 - 6) + 38/(-12). Which is smaller: p or n?
p
Suppose 47*g = -32626 - 5350. Which is greater: -802 or g?
-802
Suppose -6 - 29 = -7*i. Let x be 0 + 13/7 + i/35. Let f = 6/109 - -745/327. Which is greater: f or x?
f
Let x = -2 - -2. Let v = 3142.59 + -3158. Let h = -15.3 - v. Is h smaller than x?
False
Let b be 1/(-4) - (-9 - 207/(-36)). Let d be -2*(-3 - (b + 1 + -8)). Is -10.7 smaller than d?
True
Let a = -31 - -26. Let x be a/((20/(-25))/4). Let f be x/30*2/3. Is 2 not equal to f?
True
Suppose -170*a = -97*a. Is a >= -1/941?
True
Suppose -44 = -4*