t i be (6/(-5))/(-2) - (-35)/(-100). Is i at least -0.065?
True
Let t(o) = -o - 2. Let q be t(-4). Let z be -2 + -3*(q + -3). Are 0.17 and z equal?
False
Let c be (42/140)/((-2625)/20). Which is greater: 1 or c?
1
Suppose 52*j = -1521 + 429. Which is smaller: -22 or j?
-22
Let d = -67/16 - -117/16. Which is smaller: d or 2?
2
Suppose 4*i - y + 294 = -i, -i = y + 60. Suppose -5*u - 232 = -u. Which is greater: u or i?
u
Let o = -2119977721/441 + 4807203. Let a = o - -46/49. Which is bigger: a or -1?
-1
Let j(t) = -t**2 + 17*t - 10. Let l be j(16). Suppose -l = -g - 0*g. Let n be (-4)/((-15)/g - -2). Is n at most 7?
False
Let g(s) = -s**3 + 10*s**2 + 6*s - 14. Let w be g(10). Let l = w + -43. Is 3 != l?
False
Let q be (-14)/(-4)*(-20)/248. Let s = -1/31 - q. Which is bigger: s or -8/5?
s
Let h = -585610/39 + 15014. Let n = -4/3 - h. Is n at most as big as -1?
False
Let x be (-258*(-9)/162)/(-14). Is x < -2?
False
Let w be 2 + (-21)/14*(-20)/6. Is 11 != w?
True
Let h = 598 + -515. Which is greater: h or 1/2?
h
Suppose 6 = 3*f, -3*s = 3*f - 2*f - 5. Which is smaller: 48 or s?
s
Let p = 3.19 + -2.59. Is 3/4 < p?
False
Suppose -5*m = 4*n - 204, -6 = 3*n + 6. Suppose 0 = -4*d - 19*w + 17*w + 178, -w = -1. Do d and m have the same value?
True
Let i be (2 - 14/6)/(17/34). Which is bigger: 1.74 or i?
1.74
Let w = -150 - -172.9. Let d = -22.95 + -0.05. Let y = d + w. Which is bigger: 20 or y?
20
Suppose 2*m + 22 = -2. Let p be (-15)/6*(-4 - m/5). Which is greater: 2 or p?
p
Let j(f) = -f**3 - 11*f**2 - 22*f + 8. Let m be j(-5). Let h be -6*(-4)/m - -1. Which is bigger: 0.2 or h?
h
Let k be (-1 - 0)/(2/8). Let h = -38035/9 - -4231. Let t = h + -346/45. Is k at most as big as t?
True
Let z(r) = r + 1. Let i(k) = -k**2 - 2*k + 1. Let a = 1 - 0. Let m be i(a). Let h be z(m). Which is smaller: -2 or h?
-2
Let j(g) = -g**3 - 6*g**2 + 5*g - 13. Let l be j(-7). Is l greater than -5/74?
True
Let g be 2/3*(-30)/(-448). Are -1 and g nonequal?
True
Let q(i) = 2*i**2 - 10*i - 2. Let d be q(4). Let b be (-47)/(-238) + d/(-105)*-3. Is 0 at most b?
False
Let q = -32 + 31.5. Let f = 21.5 - q. Which is smaller: f or -0.1?
-0.1
Let z = 19/274 + 217/822. Let t = 29 + 42. Which is smaller: z or t?
z
Suppose 0 = -4*i + 57 - 9. Let j(t) = -t**3 + 13*t**2 - 11*t - 12. Let w be j(i). Suppose 0 = -2*r - 2*o - 6, -5*r = -7*o + 2*o + 15. Is r equal to w?
False
Let w = -13.11 + 0.11. Let r = 11 + -5. Let l = r + -6. Is l less than or equal to w?
False
Let c(o) = 5*o + 85. Let u be c(-17). Suppose u*f = 5*f + 2*g, 0 = 5*g. Let w = 18.3 - 20. Are f and w nonequal?
True
Let x be 2 + (9 - 6) - -690. Is x < 695?
False
Let k be 6 - 1*(124 + -1). Are k and -116 nonequal?
True
Let f be (16 - 9 - 12)*4*-1. Is 21 < f?
False
Suppose 8*o - 3*o = 4*c + 57, -8 = -4*c. Which is greater: o or 47/4?
o
Let l(z) be the first derivative of z**2/2 - 4*z - 2. Let h be l(3). Let d = 74 + -73.5. Is h at least d?
False
Let i = 0 - -2. Suppose i*k - 4*k = 2. Let v(p) = -p**2 - 3*p - 3. Let y be v(-3). Is y greater than or equal to k?
False
Let j be 4/(-2 + 0 + 0 + 0). Which is bigger: -1.8 or j?
-1.8
Let w(c) = -c**2 - 3*c + 1. Let a be w(-2). Which is smaller: a or 22/9?
22/9
Let q = -2341 + 2342. Let x = 23/6 + -217/66. Which is greater: x or q?
q
Let i = 30 - 18. Let j = 73 + -75. Is i at least as big as j?
True
Suppose -2*p = 2*b - 10, -5*p - 4*b - 6 + 32 = 0. Suppose -p*z - 4 = 2. Is z at least -3/41?
False
Suppose 0 = 2*b + 4 - 0, -5*s = -4*b + 97. Let n be -3 - -3 - 2/s. Which is smaller: n or 3?
n
Let l = 558.4 + -487. Which is bigger: -0.2 or l?
l
Suppose -29*l + 11*l = -126. Let y(j) = j - 3. Let g be y(10). Are l and g nonequal?
False
Suppose -3 = -f - 15. Let d be (-2)/((14 + -4)/5). Let n be (11/4*4)/d. Which is bigger: f or n?
n
Let h be ((-1)/3)/(6/(-18)) - 1. Suppose h = -2*i + i + 12. Which is smaller: 10 or i?
10
Suppose -4*c + 5*o - 8 = -3, -c + o - 1 = 0. Suppose c = 3*f - 2*u + 40, 5*f - 22 = -5*u - 72. Which is smaller: -11 or f?
f
Let h(z) = -z**3 - 8*z**2 - 12*z - 7. Let k be h(-5). Suppose 2*y - f + 41 = 0, 0 = -4*y + 4*f - 6*f - 86. Which is bigger: k or y?
y
Let v = -18.2 - -3.2. Let u = v + 14. Is u at most as big as 45?
True
Suppose 3 = 14*l - 25. Suppose 0 = 3*n - 5 + 2. Which is smaller: n or l?
n
Suppose 321*g = 319*g - 6. Let h(p) = p**2 + 5*p. Let w be h(-5). Is g greater than or equal to w?
False
Suppose -5*i + 3*c - 22 = 0, c = -2*i - 0*c - 11. Let z be (-116)/(-87) + (-7 - 138/(-18)). Is z smaller than i?
False
Let n(i) be the third derivative of -i**5/30 + 19*i**3/2 - 49*i**2. Let j be n(0). Which is smaller: j or 55?
55
Let d = 719 + -803. Do d and -87 have the same value?
False
Let y(o) = -5*o + 21. Suppose 0 = 5*a - 5*m - 5, 0*m - 3*m - 9 = -4*a. Let z be y(a). Which is greater: -13 or z?
z
Let v = 35 - 39. Let d be -43*(-5 - v)/1. Is d less than or equal to -1?
False
Let t = -18 - -7. Let z = 191 - 175. Let h = z + t. Which is smaller: -1 or h?
-1
Let u = -2206 - -2207.1. Is u at most as big as -62?
False
Suppose -2*k + 15 = 1. Let r = 8389/1332 - 16/333. Which is greater: k or r?
k
Let u = -79 + 109. Is u bigger than 2?
True
Suppose 3*u - 5*w = 9 + 15, -27 = -5*u + 4*w. Suppose 0 = 5*l - 20, -2*l + 43 = u*f - 8*f. Is -6 at most f?
False
Let t be 345/3 - 0*(-2)/4. Suppose -2*g + g + 56 = -f, f + t = 2*g. Which is bigger: 60 or g?
60
Let v be -4 + 0/3 - 1 - -192. Which is smaller: 559/3 or v?
559/3
Let j be (-1775)/(-35) - 4/(-14). Let r = -1136 - -1187. Is r >= j?
True
Let f be (-5)/((-90)/(-4)) - (-200590)/2340. Is 87 > f?
True
Let d(m) = -2*m**3 - 47*m**2 + 26*m + 38. Let p be d(-24). Is -6 >= p?
True
Let u(w) = w**2 - 2*w - 4. Let v be u(3). Let k = -76582/5 - -15255. Let d = -61 - k. Which is bigger: v or d?
d
Let n be 15/35 - (-12)/(-28). Let s = 1168 - 26860/23. Is n != s?
True
Suppose -3*i + 2*i + 3*j - 9 = 0, 3*i = 3*j - 9. Let m be (-30)/4 - 2/(-4). Let z = m + 8. Which is greater: z or i?
z
Let o = -1197 - -1192. Is o not equal to 4?
True
Let i = -157 - -143.2. Are i and -1 nonequal?
True
Suppose -3*l + 2*l = 0. Suppose l*x - 1 = -x. Let o be 30/(-24) - (x - 3). Is o >= 2/3?
True
Let s = -11277 - -11202.71. Let n = s - -74. Is -2/5 greater than or equal to n?
False
Let x be 0 - (1 + -1) - 3760/(-80). Which is bigger: 48 or x?
48
Let c be (-28)/(-42) + ((-68)/12 - -5). Is -10/489 != c?
True
Let y(k) = -k**3 + 5*k**2 + 3*k - 16. Let l be y(5). Suppose -b = -2*b + 3. Suppose 0*i + b*i = -18. Which is smaller: l or i?
i
Let t = 45.6 + 253.4. Let q = -296.09 + t. Let h = q - -0.09. Is h >= -1/2?
True
Let w = 8.95 + -10.5. Let k = w - -0.55. Is k smaller than -26?
False
Let s be (-8)/4 - (-42)/16. Suppose -2*n - 2*t + 4 = 0, -2*n - 4*t + 1 = -7. Which is greater: s or n?
s
Let a = -1525 + 1525. Which is smaller: 470 or a?
a
Let b = -55 - -96. Let m = 449/11 - b. Let r = -0.3 - 0.7. Is m != r?
True
Let t be 6/9 + 1854/(-27). Which is smaller: -67 or t?
t
Let z be ((-2)/7)/(5 + 36/(-7)). Let p = 37/2 + -18. Which is smaller: z or p?
p
Let p = 111.006 - 0.006. Let b = 129 - p. Are b and 0 unequal?
True
Suppose w = 2*z + 5, -4*z = z - w + 8. Let u = -1/432 + 491/25488. Is u != z?
True
Suppose 9*s = 75 - 84. Is 22 not equal to s?
True
Let v = 1.1 - 0.7. Let j = 1.8 - v. Let f = 0.4 - j. Which is greater: 2/5 or f?
2/5
Suppose 5*d - 2*d = 18. Let v be 3*(28/d + -2). Let p(t) = t**3 - 8*t**2 - t + 7. Let l be p(v). Which is smaller: l or -2/5?
l
Let z = 2206792/91389 + -990/41. Let f = z - -6571/129282. Which is bigger: 0 or f?
f
Let w be (-42)/(-83)*4/6. Let s = 883/581 + w. Is 3 >= s?
True
Let r(v) = -v - 1. Let k be r(4). Let a = 249 + -231. Let c be a/(-24) - 42/8. Is k equal to c?
False
Let t = 9027 - 7528519/834. Which is bigger: t or 1?
1
Suppose -5*t + 15 = -0*t. Let p = 1/235 - 27497/470. Let o = 58 + p. Which is greater: o or t?
t
Let s(k) = 2*k**3 - 2*k**2 + k + 2. Let w be s(2). Suppose 9*d = 7*d + w. Suppose 2*b - 1 - 3 = -4*t, 21 = 3*t - 3*b. Which is smaller: t or d?
t
Let z be ((-126)/4)/(((-108)/8)/(-27)). Is -59 bigger than z?
True
Suppose 2*c = 4, c - 211 = -2*r - 71. Let g be (-4 - r/(-15)) + (-14)/90. Is g >= -4?
True
Let f be (24/(-10))/(6/(-20)). Let h = f - 3. Which is greater: h or 4?
h
Let t be (-1)/3 + (30/(-9))/(-1). Suppose -t*g = -g. Do