t as big as n?
False
Let b(j) = -2*j + 8. Suppose 3*l = 2*m + 5, 0*l - 10 = -2*l - 2*m. Let g be b(l). Which is smaller: 4 or g?
g
Let l(o) = -o**3 - 6 + 1 - 4 + 9*o + 3 + 10*o**2. Let h be l(10). Let y be 160/h - (-3)/7. Which is smaller: y or 3?
y
Suppose 0 = l - 20 + 14. Let z be 737/(-33) + 2/l. Are -21 and z unequal?
True
Let d = -3.4 - -4.4. Let f = 13250 + -331299/25. Let q = f + 52/25. Which is bigger: d or q?
d
Let m = 0.0755 - 16.0755. Let y = 1 - 0.8. Which is smaller: y or m?
m
Let m = 137 + -679/5. Let i = -6 + 10. Let d = 6 - i. Which is greater: m or d?
d
Let o be 0 + 0 - 1378/(-32). Suppose -11 + 269 = -6*t. Let w = o + t. Which is greater: w or -1?
w
Let a(p) be the third derivative of -p**5/60 - p**4/24 - p**3/6 - 20*p**2. Let j be a(-3). Which is smaller: j or -9?
-9
Let n be 1 - -2 - (-120)/(-42). Let k be (3*2/(-6))/(-1). Is n greater than k?
False
Let z = -14.94 - -16.94. Is -397/5 smaller than z?
True
Let o = -586/7 - -84. Does o = -102/13?
False
Let f(k) be the third derivative of -k**5/60 - 7*k**4/24 + k**3/3 + k**2. Let o be f(-6). Suppose 2*t + 4 = o. Which is smaller: t or 0?
0
Suppose -2*a + 2 = v, 5*v - 9*v = 0. Is -1.02 <= a?
True
Let r be -6 - (-2)/(-4 + (-104)/(-28)). Suppose s + 2*y - 37 = 0, -108 = -3*s - 2*y - y. Suppose -3*w - 7 - s = 0. Is w < r?
True
Let v = 115 + -66. Is v at least 47?
True
Let y = 13.97 + -14. Let z = y - -1.13. Is z < 0?
False
Let x(w) = -7*w**2 + 0*w**2 + 4 - 1 + 6*w**2 + 8*w. Let v be x(7). Which is bigger: 17/2 or v?
v
Let a(i) = -2*i**3 - 24*i**2 - 19*i + 33. Let s be a(-11). Is 0 > s?
False
Let d = -433 + 430.6. Is 2/17 >= d?
True
Let v = -17.3 + 0.3. Let c = 13 + v. Let z = c - -4.1. Are 3 and z nonequal?
True
Let a(z) = 45*z + 460. Let m be a(-10). Which is bigger: m or 116/13?
m
Suppose 2*z + 2*z = -2*i - 16, 5*i + 10 = -4*z. Let x = -25 + 20. Does x = z?
True
Let t(h) = h**3 + 5*h**2 + 2*h - 3. Let l be t(-3). Suppose -y - 5*p = l, 4*y = -p - p. Is y > 3/7?
True
Let f = 5 - 3. Suppose 3*z - 8 = f*o - o, 3*o = -3*z + 12. Let i be 76/84 + (2 - z). Is 1 equal to i?
False
Let v(y) = 12*y + 300. Let n be v(-25). Let w be 2*(-3)/(-426)*-1. Do w and n have the same value?
False
Let k = 183509/24 - 7655. Let w = 49/6 + k. Let t = -31/24 - w. Do t and -0.3 have different values?
True
Let r(b) = b**3 + 11*b**2 - 22*b - 14. Let x be r(-13). Let z = -197/3 - x. Suppose -v = 3*w + 27, -4*w - 22 = 2*v + 12. Is z at least w?
True
Let s = -39835 + 4740406/119. Let u = s - 2/7. Suppose 3*p - 3*n = -4*n - 4, -8 = 5*p + 2*n. Which is bigger: p or u?
u
Let n(r) = -10*r. Let a be n(-1). Suppose 27*y = 22*y + a. Is y != 0?
True
Let o = 44 + -32. Suppose 0 = -13*s + o*s - 14. Which is bigger: s or 1?
1
Let g be (-988)/(-2184) - (2 - (-33)/(-18)). Let c be ((-18)/(-42))/(0 - -1). Is c greater than g?
True
Let g = -77889353291/33 - -2360683124. Let u = g + -400246. Let w = 555 + u. Which is smaller: -2/7 or w?
-2/7
Let v(p) = -p - 6. Let z = -12 - -4. Let s be v(z). Let l(j) = j**3 - 8*j**2 - 8*j - 9. Let c be l(9). Is c greater than s?
False
Let o = 775 + -1137. Is o less than -1?
True
Let i be 3/(78/11 - 7). Is i at least 293/9?
True
Let m = -323 - -322.6. Let a = 17 - 8. Does a = m?
False
Let z be 5/1 + (-9503)/(-43). Which is greater: 225 or z?
z
Suppose 22*t + 0*t + 176 = 0. Is -18 greater than or equal to t?
False
Let g = 911/5 - 183. Which is greater: g or -18?
g
Let h be 1/(-4)*(-13 - 7). Suppose -2*f = 3 - h. Which is smaller: 12/5 or f?
f
Suppose -y + 26 = -5*g, 4*y - 3 = 4*g + 21. Suppose 0 = 2*h + y - 7. Suppose 2*r - 3*r - h = 0. Is r less than -3/2?
True
Suppose -8 + 2 = 3*i. Let w be ((-42)/(-12) - 4)*i. Which is smaller: -5 or w?
-5
Let i = 6445792406/245 + -26309414. Let a = i - -286/5. Is 1 equal to a?
False
Let o = 418 - 279. Let r = 139.031 - o. Which is smaller: 0.1 or r?
r
Suppose 1 + 7 = 2*l. Suppose -y + 4*o - 20 = -66, -268 = -5*y + o. Suppose -13*q + y = 5*q. Which is greater: q or l?
l
Suppose -22 + 37 = -15*s. Are s and -7/8 nonequal?
True
Let o(p) = p**2 - 8*p + 5. Let m be o(6). Let c = 7 + m. Let v be -5 + (6 - 2) + 2. Which is greater: v or c?
v
Let u = -8 - -11. Suppose -98 = -u*v - 2*z, 2*v - 72 = -3*z + 5*z. Suppose -v = -4*s + 6*s. Is -17 equal to s?
True
Let h = 0.6 - 2.1. Let f = h + 3.5. Is 0.2 smaller than f?
True
Let z = 0.7745 - -0.2255. Which is smaller: z or -4.1?
-4.1
Suppose 9 = 2*l + l. Suppose j = 2*d + 7, -3*d + l*j = 7*j - 6. Let o = -10 + 9. Is o less than d?
False
Let h = 451 + -452. Let d(x) = -3*x - 4. Let n be d(5). Which is smaller: n or h?
n
Let g = 1073 + -644. Which is smaller: -1 or g?
-1
Let w = 4.574 - 3.9. Is w at least as big as 0?
True
Let q = 0.12 - 0.16. Let f = 6.03 - 6. Let m = f - q. Is -1/4 > m?
False
Let w = -233 - -230. Suppose 0 = 3*i, y - 4*y - 18 = -i. Let r be 1*((-56)/y)/(-4). Are w and r unequal?
True
Let d(u) = 2*u**3 + 23*u**2 + 13*u + 23. Let h be d(-11). Let t be (4/(-10))/(205/(-25)). Is t smaller than h?
True
Suppose 0 = -2*g + 13 - 1. Suppose 0 = -2*d - 4*t - 16, g + 13 = -3*d - t. Let z = 4 + d. Are z and -4 equal?
False
Let b = -85.2 - -85. Is b greater than or equal to 0.148?
False
Let j = 775 + -856.1. Let q = 81 + j. Which is greater: 25/7 or q?
25/7
Suppose 4*l - 40 = 2*u, -3*u = -l - 4*l + 50. Let r be 234/l - (54/(-15) + 3). Are 25 and r nonequal?
True
Suppose 6*g - 3489 = -447. Is g <= 508?
True
Let n(b) = 2*b**2 + 11*b - 5. Let f be n(-6). Let z be 4/((1 - 63)/f). Suppose -5*l + l + 4 = 0. Which is smaller: l or z?
z
Suppose -5*g + 5*t + 105 = 0, 93 = 3*g + 4*t - t. Let d be 1/(-2) - 107/g. Does -4 = d?
False
Suppose -28 = -k + 5*k. Let f = -7 + k. Let l = f + 209/15. Which is smaller: 1 or l?
l
Let f(q) be the first derivative of -3*q**4/2 + 2*q**3/3 - q**2/2 - q + 10. Let z be f(1). Does z = -2?
False
Let y be (-63)/(-14)*84/(-9). Let b = 124/3 + y. Which is smaller: b or 0.4?
b
Let c be (-2)/(-6)*(-9 - -12). Let r be ((-21)/(-28))/(c/8). Suppose 4*x + k - 30 = 0, -2*k + 3 - r = -x. Which is greater: x or 8?
8
Let q = -47/8 + 51/8. Is -80 at least as big as q?
False
Let z(s) = s**3 + 14*s**2 - 35*s + 20. Let a be z(-16). Let o = a + -66. Which is smaller: 15/13 or o?
15/13
Suppose -b - 30 = 4*b + 3*r, -5*b + 2*r - 5 = 0. Let z be b - (-19*3)/3. Is 15 bigger than z?
False
Let l = 0.031 - -0.039. Let p = l - 0.07. Which is greater: 3 or p?
3
Suppose -7*n + 2*n + 119 = 4*f, 0 = 3*n + 3. Let a(d) = -d**3 + 19*d**2 + 21*d + 12. Let p be a(20). Is f at least p?
False
Suppose -i - 8 = -3*w - 2*i, -4*i = -w - 6. Let t be (-196)/581 - 1/(-3). Let m = t + 3491/1245. Does w = m?
False
Suppose -2*u + 25 + 5 = 5*x, x + 21 = 5*u. Suppose 0 = -5*i + 5*l - l + 43, i - u*l - 17 = 0. Suppose -i*g - 5 = -2*g, d + 4*g = -8. Which is bigger: 0 or d?
0
Let v = -1.9185 - 0.0815. Do v and 319 have different values?
True
Let u be 1760/96 + (-8)/(-12). Which is bigger: u or 20?
20
Suppose 45 + 66 = -3*p. Which is smaller: -38 or p?
-38
Let p = -35.9 - -36. Are p and 7/15 unequal?
True
Let l(q) = 5*q - 63. Let w be l(11). Let u be (-3)/(-6) + w/(-16). Let k be (-2)/20*(-15)/4. Which is bigger: u or k?
u
Let z = 19.93 - -0.07. Let k = 20.1 - z. Which is smaller: 30 or k?
k
Let q(d) = d**2 - 9*d + 21. Let x be q(5). Let p be ((-22)/(-6))/((-1)/(-3)). Suppose 3*k - 5*v + 6 = -p, -2*v = -5*k - 3. Does x = k?
True
Let d = -1.1 - -0.1. Let w = d - -1. Which is smaller: -1 or w?
-1
Suppose 8 = 5*l - u - 0*u, 0 = 2*l - 3*u - 11. Suppose l + 6 = 2*q - 5*c, -q = 3*c - 9. Is 5 < q?
True
Suppose 5*j = 2*j + 48. Suppose -4*w + 7 = b, -3*b + 17 = -5*w - 38. Is j >= b?
True
Let d = -2850 + 5176. Let q = d + -30252/13. Is q smaller than 0?
True
Let j = -31 + 30.842. Let q = 0.058 + j. Is q less than or equal to 49?
True
Let b = 16634/27 - 616. Suppose 0 = 3*j - 10 + 1. Let x be 9/j + 3 + -5. Which is smaller: x or b?
b
Let y = 1.1 - 1. Let c = 1.64 - 1.7. Let d = c + y. Is 1 at least as big as d?
True
Let r = 15 + -25. Let l(u) = -4*u - 22. Let x be l(r). Let a be 2/2 - x/14. Which is greater: 1/5 or a?
1/5
Let j = -0.39 - -0.79. Let x be (-2 - 0)/(2/3). Let p = 4 + x. Is p greater than or equal to j?
True
Let y = -682 - -2048/3. Is y equal to -1/387?
False
Suppose 2 = x + x. Let a = 240 - 2162/9. Which is smaller: a or x?
a
Let o = -6355/387