 be 6/10 - (4 + 122). Let z = 125 + t. Which is greater: n or z?
z
Let o(m) = -m**3 - 5*m**2 + 1. Let a be o(-5). Let g be (a/(-3) - -1)/(52/(-78)). Is g > -5?
True
Let m be (-1 - (-124)/136)/(21/(-98)). Is m >= 1?
False
Let o = -6 + 9. Suppose -t + o*t + 4*w = 4, -4*w - 16 = 0. Which is smaller: 0 or t?
0
Suppose 2*n = 8*n - n. Let l be ((-28)/98)/((-4)/6 - n). Do l and -1 have the same value?
False
Let f be 137 - 1 - (-4 - -6 - 3). Let c = f - -12. Are c and 148 non-equal?
True
Let l(f) = -f**2 - 21*f - 39. Let k be l(-19). Let c be (-1)/4 - k*645/20. Which is smaller: 33 or c?
c
Suppose -6*h + 3*h + 129 = 4*l, -164 = -5*l - h. Which is smaller: l or -1?
-1
Suppose 0 = -2*y - 3*y - 15. Let h = 0 - 0. Suppose w + h*w + 4 = 0. Is y <= w?
False
Let p be (-264)/(-33) + -2 + -1. Suppose -p*h + 0*g + 15 = 5*g, -2*h - 3*g + 8 = 0. Is -1/129 >= h?
False
Let b = -6655/4 - -1677. Is b smaller than -0.02?
False
Let a = -5/28 - 27/476. Let w be 0/(5/((-5)/1)). Is w at most as big as a?
False
Let c = -11601 - -220422/19. Let l be ((-2)/(-2)*1)/(-1). Is l at most c?
True
Let y be 90/36*46/5. Let f be -1 + 4 - (26 - y). Let l be 1/3*(-2)/19. Which is greater: l or f?
f
Suppose -19*w + 14*w + 15 = 5*n, 3*n - 3 = 3*w. Is w < -6.18?
False
Let o = 2 - 1. Let s = 0.04 + -0.32. Let p = s - -0.08. Which is smaller: o or p?
p
Let b = -48 - -38.2. Let s = 9.2 + b. Is s at least as big as -4?
True
Let k = -148 - -148.21. Let y = -0.21 + k. Is y less than or equal to -4/13?
False
Suppose -4*g + 4*x = 4, 0 = -3*g + 8*g - x - 3. Are g and -3/73 non-equal?
True
Let z be ((-10)/48)/((-1)/4). Let g = 34 + -21. Suppose 3*m - 4*u = -g, -3*m + m = u - 6. Is m less than z?
False
Let n = -5 + 20. Let a = n - 4. Is a > 16?
False
Let q(l) = -l**3 + 2*l**2 + 2*l + 2. Let c be q(3). Let r = c + 6. Let g = -0.5 + 0.7. Which is smaller: g or r?
g
Let r = -610 - -610. Let m = 0.1 - 0.02. Let f = m + -0.1. Which is bigger: r or f?
r
Let j be (-2)/3 - 94/(-6). Let s = j + -6. Let r = s + -12. Which is bigger: r or 3?
3
Let s = 3.94 - 4.94. Which is greater: 99 or s?
99
Let r(s) = -s**3 + 8*s**2 - 6*s + 4. Let f be r(7). Suppose -f = -3*z - 2, 2*z = -3*k - 165. Which is smaller: -0.1 or k?
k
Suppose -50 = -3*u - 8. Let b(q) = q - 10. Let v be b(u). Which is smaller: v or 5?
v
Let h be (216/(-180) - (-1946)/(-20)) + 6. Are 1 and h equal?
False
Let t = -23 - -38. Suppose 3*y + 15 = 0, r = 5*y + t + 16. Let c = 7 + -2. Which is bigger: r or c?
r
Let d be 56/6 - (-16)/24 - -4. Which is smaller: 17 or d?
d
Let r = 862 - 715.9. Let w = 146 - r. Which is smaller: -43 or w?
-43
Let d(l) = 2*l**2 + 8*l - 3. Let i be d(-6). Let t be i/(-9)*4/14. Which is bigger: t or 7?
7
Let m = -603/11 - -55. Let o be (-15)/10*(-16)/(-6). Let j be (-12)/(-6)*(-2)/o. Which is bigger: m or j?
j
Suppose -83*u = -94*u + 11715. Is u less than 1065?
False
Let d = 7 + 11. Which is smaller: d or 12?
12
Let a = 35 + -15. Suppose 2*h + i = 2, 0 = -5*h + h + 4*i - a. Let g(f) = -f**2 - 3*f - 2. Let k be g(h). Is -1/4 at most as big as k?
True
Let h be 0*4/28 - -2. Which is bigger: h or 13?
13
Let p = -99.5 + 94. Let f = p + 6.3. Do -2 and f have different values?
True
Let c(a) = -22*a**2. Let g be c(1). Let d(f) = -f**2 - 14*f + 52. Let y be d(-18). Let x = g - y. Is x at most -1?
True
Let i be 9/(-3 + 9/6). Let k = -1 + 1.2. Is k less than i?
False
Let h be (-1)/(2*(-2)/(-4)). Let p(j) = j**3 + 5*j**2 + 3*j - 2. Let g be p(-4). Let l(s) = -s**2 + 4*s - 3. Let d be l(g). Is h >= d?
False
Let x = -1616221/438 - -3690. Is x at least as big as 0?
False
Let h = -82/17 + 6563/1343. Is h > -1?
True
Let f(i) = i**3 - 5*i**2 - i + 5. Let g be f(5). Suppose g = 5*v - 2*m + 3, -2*v - 8*m - 7 = -3*m. Are v and -2/57 equal?
False
Let j = 213.9 - 217. Is j < 6?
True
Let t = 34.1 + -35. Let r = t + 2.9. Is -2/9 < r?
True
Suppose 3*i + 107 = 4*c, i + 4 = -9*c + 4*c. Which is bigger: -1 or i?
-1
Let c(s) = -7*s**2 - 140*s + 19. Let z be c(-20). Which is smaller: z or 1/4?
1/4
Let w = 8 - 6. Let b = w + -2. Suppose 3*n = 4*h + 5*n - 8, 0 = -h - n + 3. Which is greater: h or b?
h
Suppose -929 - 655 = 22*f. Which is smaller: f or -74?
-74
Suppose 5*t = 4*t - 2. Let g = t + 3. Is 5/6 at least as big as g?
False
Suppose -40*m + 8*m + 10784 = 0. Which is bigger: 336 or m?
m
Suppose 103 = 3*l - 5*o, 3*l - 73 = -0*o - o. Let x = -21 + l. Suppose -v = -6*v - 5*q - 10, 10 = -x*v + 4*q. Is v < 0?
True
Let c be (-58)/(-2)*(-7)/(-49). Let f(h) = 6*h**3 - h. Let z be f(1). Which is smaller: z or c?
c
Let n be -8*(-3)/12*2. Let l be (-120)/(-140)*(-1 - n/(-3)). Let m = 0.03 + -0.13. Which is smaller: l or m?
m
Let r(u) = -u**3 + 15*u**2 + 28*u + 5. Let c be r(17). Let l = 94 + c. Which is greater: -8 or l?
l
Let u = 415 - 416.036. Let m = -0.036 - u. Let b = 2.3 + -0.3. Which is greater: b or m?
b
Let o be (-222 + -1)/(1/5). Let u be o + 1 + 12 + -8. Let s = 10010/9 + u. Which is smaller: 1 or s?
1
Let k be (0 - 16/(-6))/(1390/(-2919)). Are k and -5 unequal?
True
Suppose -40*b = -25*b - 300. Are 18 and b unequal?
True
Suppose -229*k = -221*k + 120. Let s(z) = -15*z + 1. Let y be s(1). Is y not equal to k?
True
Let l(m) be the first derivative of -1 + 1/3*m**3 + m - 2*m**2. Let v be l(4). Is v >= 4/11?
True
Let f = -124 - 21. Which is bigger: -144 or f?
-144
Let a = 61 - 131. Let h = -70.4 - a. Which is smaller: 6/19 or h?
h
Let q = 116 - 125. Is -3 at least as big as q?
True
Let n = -9.6 + 8. Is n at most as big as 0.2?
True
Let d = 14 + -8. Suppose -3*h - 4*u + 18 = -u, 2*h - 8 = -u. Suppose -22 = -h*o - 14. Does d = o?
False
Let t = 2.7 - 15.7. Let f = -16 + 15.87. Let m = f + 0.03. Is t at least m?
False
Let s = -3 - -5. Let g = s - 3. Let h be (-5*12/(-405))/(8/(-12)). Which is greater: h or g?
h
Let z be (-235)/(-100) + 2/5. Let k = 69/28 - z. Is k <= 0?
True
Let r be (0 - 0)/(5 - 3). Let o = -13 - -16. Suppose 5*k - i + 2 = -3, -2*k - 2 = -o*i. Which is greater: r or k?
r
Let f = -208 + 651. Are f and 442 equal?
False
Let k = -20 - -102. Suppose 18 = 80*u - k*u. Suppose -3*y - 19 = 3*x + 2*x, 2*x + 14 = -2*y. Which is bigger: u or y?
y
Let h = -20/39 - -23/273. Suppose -2 = 5*k + l + 3, -k - 3*l = 15. Which is bigger: h or k?
k
Let y = -98 + 94.1. Let o = y - -6.9. Which is bigger: o or -15?
o
Let q(i) = 2*i**2 - 2*i + 1. Let n be q(2). Suppose -2*v + 2*y = -38, v + 2*y = 32 - 1. Suppose -5*a = 8 - v, -4*g + 1 = -5*a. Is g >= n?
False
Let c = -77 - -131. Let o = 47 - c. Is -1 != o?
True
Let h = -11 + 11.15. Let u = 241.85 - 233. Let c = h + u. Which is bigger: -0.1 or c?
c
Let c be (-52)/9 + 2/(-9). Let m be 2/(-4) + c/(-12). Let x be -3 + (407/(-12))/(-11). Which is smaller: x or m?
m
Let d = 4364 + -4362. Let n = 0.2 - 5.2. Is d less than or equal to n?
False
Let p = -790 + -73. Do -864 and p have the same value?
False
Suppose -n + 733 = -216. Let l = -3731/4 + n. Is l greater than 17?
False
Let s = -16.67 + -60.63. Let x = -77 - s. Is 2/59 <= x?
True
Let a = 734 + -736. Do a and -1.6 have the same value?
False
Let n = -0.04 - 0.26. Let v = -0.7 + n. Let m = 0 + v. Is 1/6 smaller than m?
False
Let j = -8 + 6. Let u = 3184/3 + -1062. Is u at most as big as j?
False
Suppose -5*d + 2*b + 2*b = -18, 2*d - 2 = -b. Suppose 4 = 2*i, 0 = -g + d*g - 3*i + 134. Let j = g - -638/5. Is -1 less than j?
True
Let d be 0 - ((-2)/6)/(3/27). Let p be (-169)/d - (-8)/24. Is p bigger than -57?
True
Suppose -3*f - 3*f = -222. Suppose -2*n = -b - 6*n + 31, 0 = b + n - f. Is 39 at least b?
True
Suppose 0 = 2*g - 7*c + 12*c - 247, 0 = g + 3*c - 122. Let u = 134 - g. Let r = 160 + -786/5. Is u not equal to r?
True
Suppose -u = -3*u. Let m = 30807/26 + -1185. Which is smaller: m or u?
m
Let q = 8 - 3. Let i be -7 - ((-1 - 4) + 1). Let x be i + 44/4 + -3. Are x and q non-equal?
False
Suppose -4*w + 15 = -4*y + 3, -4*w + 2 = y. Let m be (y/4)/(4/(-32)). Let q = -2 - m. Which is bigger: -5 or q?
-5
Let x(c) = -c**2 - 9*c - 2. Let k be x(-9). Is k greater than -7/10?
False
Let q = 0.04 + -0.04. Let x = 2 + -1.9. Let a = x + q. Which is smaller: a or 1/2?
a
Let f = 13 - 14. Let g be f*1 + 20/15. Let o be (-8)/4*(-3)/24. Which is smaller: o or g?
o
Let x be (-21001)/374 + (-2)/(-11). Let l = 56 + x. Which is bigger: l or 0?
l
Let z(c) = 2*c**2 + 2*c - 9. Let j be z(0). S