 - 4. Let d be (9/(-195))/(2/(-15)). Let q = d - -2/13. Is k greater than q?
True
Let p = -3.95 - 0.05. Let b = p + 3.8. Let n(i) = -i**3 + 3*i**2 + 5*i - 3. Let v be n(4). Is v less than or equal to b?
False
Let v = -0.043 - 0.257. Let n = -0.5 - -0.3. Let w = n - v. Is -0.4 at least as big as w?
False
Let n be 3/4*(-4)/(-1). Suppose -2*u + 932 = 3*c, 0*c + n*c + 3*u - 927 = 0. Let z = c + -2515/8. Which is smaller: 1 or z?
z
Suppose 0*t + 7 = t. Suppose 5*h - t = 13. Let s be (-7 - -5)*2/h. Which is smaller: s or -3/8?
s
Let m = -110 + 113. Let c = 1 + -1. Which is smaller: c or m?
c
Suppose -4*y = -2*y + 4*b + 2, -40 = -5*y + 5*b. Suppose -47 = 5*s + 3*k, 2*s + y*k = -0*s - 34. Suppose -23 = 3*l + 2*h, 0 = l + 2*l + 3*h + 24. Does s = l?
True
Let c(x) = 4*x**2 - 1. Let k be c(-1). Suppose -w - 20 = -5*h, -k*w - 2*h = -2*w - 8. Is w not equal to 1/12?
True
Suppose 2*d = -u + 2, -1 = 3*d + 2*u - 4. Suppose v + 2 = 5. Suppose 0 = o - v*o. Which is greater: d or o?
d
Let i = 13 - 13.08. Let p = i - -0.08. Which is greater: -1 or p?
p
Let n = 1/4 - 7/12. Let m be 0 + (-2)/(1 - 2). Suppose -y = -m*y. Is y at least as big as n?
True
Let p be -1 - -1 - 0/(-4). Let t be (p - 0) + -2 + 1. Which is greater: -2 or t?
t
Suppose 1 + 1 = m. Let f be (-1)/2 + 1/m. Let y = -7/114 - 2/19. Do f and y have different values?
True
Let h be (24/40)/((-52)/10). Is 0 at least h?
True
Let v be (-21)/(-15) - 2/5. Let z be (-3)/(-15) - 2/10. Is z < v?
True
Let q = -2 - -2. Let u(j) = 4*j - 3. Let g be u(6). Let c be g/(-15) - q/(-2). Which is greater: c or -1?
-1
Suppose 3*p + 4 = -p. Let w be ((-20)/42)/((-9)/(-21)). Is p != w?
True
Suppose -6 = 2*m + 2*c, 4*c - 30 = 3*m - 0*m. Let w be (-5 - m)/((-2)/4). Let x = -4 - -1. Which is smaller: w or x?
x
Let o be ((-32)/(-56))/((-1)/(-35)). Is o != 19?
True
Let p = -15 - -8. Let n = 12 + p. Suppose 1 = -n*j + 6. Is j at most 1?
True
Let v = -191 - -107. Let y be 4 - (-16)/v*12. Are y and 1 equal?
False
Let v be 21/15 - (-2)/(-5). Let c be 20 + v + (-3 - -2). Suppose -5*d = 16 - 1, 5*m - c = 5*d. Which is bigger: -1/6 or m?
m
Let g = 59.8 - 60. Are g and 6.1 nonequal?
True
Suppose -4*a - 2*o - 4 = 8, 0 = -4*a + 2*o + 4. Let v be (-9)/(-9) + -2 + 0. Is v <= a?
True
Let s = 70.6 + -71. Which is smaller: s or -1/2?
-1/2
Let d = 0.3 + -0.2. Let f = 21 + -18. Suppose k - f = 2*u, -4*k + 4*u + 9 = -3. Is k >= d?
True
Let v = 6.2 + 2.8. Which is smaller: -1 or v?
-1
Let a(h) = -2*h - 3. Let t be a(-3). Let b be (t - 1)*2/4. Is 1 at least as big as b?
True
Let a be -5*(-6 + 1) - 1. Is a less than 25?
True
Let w(p) = p + 7. Suppose 0 = 3*t - 4*q - 47, -12 = -5*q - 37. Let o be 94/(-18) - (-2)/t. Let m be w(o). Is 2 < m?
False
Let n = -0.4 - -3.4. Let f = -2.6 + 1. Let r = -0.4 + f. Which is smaller: r or n?
r
Let z be 1/2 - 15/(-6). Let j(f) be the second derivative of f**4/12 + 7*f**3/6 + 4*f**2 + f. Let h be j(-6). Is z less than h?
False
Let k(c) = -c**2 - 8*c - 7. Let w be k(-7). Which is greater: -1/32 or w?
w
Let r = 5 - 0. Suppose o + 3*o - 4 = 2*u, 5 = r*o + 5*u. Suppose -4 + 0 = -2*l - 2*y, 2*y - 10 = 0. Which is greater: o or l?
o
Let j be ((-16)/(-12))/(2/(-6)). Let z be 9 - -2 - (3 + -1). Suppose -5*u - 24 = -z. Is j >= u?
False
Let i be (-29)/(-4) - (-5 - -4). Let b = i + -8. Which is bigger: b or 0.1?
b
Let i = -9 - -8.9. Which is smaller: i or -4/7?
-4/7
Let a = 12 + -18. Is a equal to -8?
False
Let o be ((-385)/(-97) - 4)/(-1). Let y = -491/194 + o. Which is smaller: -3 or y?
-3
Let f = -69 - -65. Let c(g) = -g**2 + 2*g + 2. Let i be c(3). Let t be i/(-4) + 17/f. Is -4 < t?
False
Let k = -7453/874 - -155/19. Let b = -3/23 + k. Suppose 4*n = n. Which is bigger: n or b?
n
Let a = 39.97 + -40. Is a less than -0.5?
False
Let c be -1*(-3 + (2 - -1)). Let k = 1 + c. Let z = -329/5 - -66. Which is greater: k or z?
k
Suppose -5*j + 15 - 35 = 0. Let i be -2*(j + (-50)/(-12)). Which is smaller: i or -14?
-14
Let k = 3.2 - 3. Let q = 0.2 - k. Let h = 1 + q. Is h less than 0?
False
Let i = -16 + 8. Let f = 5 + i. Is f greater than or equal to -4?
True
Let q = 0.3 - 0.2. Let j = -1.9 - -2. Are j and q equal?
True
Let u = 20.5 - 21. Let i = -0.3 - u. Which is smaller: i or 0.4?
i
Let n be (4/(-87))/((-4)/6). Which is smaller: n or 0?
0
Let t(h) = h**3 + 5*h**2 - h - 5. Let q be t(-5). Let r be 1/(-5)*-2 + q. Which is greater: r or -1?
r
Let n = 851/6 + -141. Let o = 5 + -12. Let m(z) = z + 8. Let p be m(o). Which is smaller: p or n?
n
Let d be 2134/(-426) - -2 - (1 - 4). Which is smaller: 0 or d?
d
Let g = -74 - -55. Is -20 less than g?
True
Let y = -31 - -61/2. Let k = -13 - 5. Let m be 4/(-18) - (-32)/k. Which is greater: m or y?
y
Let x = -82 + 34. Is -1 at least x?
True
Let n(m) = -m**2 + 6*m - 4. Let c be n(5). Let z be ((-12)/18)/(2/3). Is z less than or equal to c?
True
Suppose -2*c - f = 2*f + 1, 4*c + 3*f - 13 = 0. Let y(b) = -b**2 + 7*b + 3. Let z be y(c). Suppose j = z*j. Is -2/9 greater than j?
False
Let k be (-2)/(-2)*(2 - 2). Let c = 1 - k. Let z be 1 - 0 - 33/24. Is c <= z?
False
Suppose -4 = -4*s + 6*s. Is s at least -9?
True
Let a be (0 - -2)/2*1. Suppose 0 = g - 4*g - 189. Let w be 3*(-6)/g*-1. Are w and a equal?
False
Let m be 0/(-2) - (-444)/(-90). Let x = m + 16/3. Is 0 bigger than x?
False
Let j = -17 - -10. Let n = 8 + j. Is n >= 1?
True
Let y = 22 - 15. Let v = y - 3. Which is greater: v or 0.1?
v
Suppose -25 = -5*t, 2*y - 4 - 4 = -4*t. Let w be ((-4)/y)/((-4)/(-6)). Is 0 >= w?
False
Let q(x) = 97*x + 11. Let l be q(-1). Which is smaller: l or -87?
-87
Let s(n) = -10*n**3 - 12*n**2 - 5*n - 13. Let q(f) = -7*f**3 - 8*f**2 - 3*f - 9. Let k(a) = -7*q(a) + 5*s(a). Let j be k(-3). Is j bigger than 5/7?
True
Let q = -0.01 + -0.09. Do -0.5 and q have the same value?
False
Let g be (-7)/9 + 6/6. Which is smaller: g or -0.2?
-0.2
Let w be (45/24)/(9/(-84)). Do -17 and w have different values?
True
Let k = 0.1 + -0.2. Is k not equal to 12/5?
True
Let q(k) = -3*k**3. Let x be q(-1). Let u(l) = -2*l - 2*l + x*l + 7 - 15. Let z be u(-7). Is -2/13 bigger than z?
True
Let b = 3.82 - -0.06. Let k = b - -0.02. Let c = -4 + k. Which is smaller: c or -0.3?
-0.3
Let f(u) = -12*u**2 + u - 1. Let o be f(1). Let q be (-2)/6 - (-164)/o. Let a = q + 9. Is -4 != a?
True
Let d(z) = 6*z - 1. Let g be d(1). Suppose 3 + 1 = 4*h. Which is greater: h or g?
g
Suppose -2*o = 5*w + 7 - 9, 3*w - 2*o + 2 = 0. Which is smaller: 1/147 or w?
w
Let j be (-3)/(0/(-1) + 1). Suppose -9 = 31*n - 28*n. Is n > j?
False
Let s(c) = 5*c**3 - c + 1. Let x be s(1). Let h be 3*2/6 + 2. Is x less than or equal to h?
False
Let i(m) = -m + 1. Let g be i(-1). Which is smaller: g or 10/7?
10/7
Suppose z = -2*a + 57, 4*z - 3*a - 176 = 2*a. Is -1 equal to z?
False
Suppose -3*y + 5 = 5*a + 2*y, -4*a - 8 = y. Let r be (-1 - a)*(2 - 0). Suppose r*i = -0*i. Is 1/2 at least as big as i?
True
Let g(l) be the first derivative of -l**2/2 + 2*l - 3. Let s be g(5). Let x(r) = r**2 + r - 1. Let w be x(1). Which is smaller: s or w?
s
Let a be (-32)/48*6/26. Let t be 4/(-10) + 14/10. Is t > a?
True
Let o(r) = r**3 + r - 1. Let m = 10 + -9. Let d be o(m). Is -2/7 equal to d?
False
Let n(t) = -t**2 + 5*t - 5. Let p(a) = a - 1. Let z be p(5). Let w be n(z). Is -9/8 >= w?
False
Let m be (-10)/(-35) + (-50)/126. Which is smaller: m or 0?
m
Let x(k) = -k**2 - 8*k + 5. Let f be x(-9). Is -2 greater than f?
True
Let m be ((-3)/(-6))/((-5)/140). Is -14 greater than or equal to m?
True
Let d(z) = -4*z**2 + 7*z - 4 + 3*z**2 - 4. Let i be d(6). Let l = 3.1 + -3. Is l at least i?
True
Let q = 225 - 1121/5. Suppose -5*c + 3*s = -0*s + 10, 3*c + s = 8. Which is greater: q or c?
c
Let z = 11 - 23/2. Is -1 != z?
True
Suppose w + 0 = -4*c - 1, 3 = -3*c. Let r be (-295)/10*w/(-2). Let i = r + -44. Is 0.2 smaller than i?
True
Let c = 78 + -77. Which is smaller: c or 3.9?
c
Let h = 5257/265 + -99/5. Which is greater: 1 or h?
1
Let o = 6.8 + -7. Let h = -0.07 + -0.93. Let a = h - 2. Do a and o have the same value?
False
Suppose 0*l = 6*l - 6. Is l <= 11/9?
True
Let q(t) = 5*t**2 - 1. Let i be q(1). Let k be 10/i - (-3)/6. Suppose a = -k*a - 12. Is 1 at most as big as a?
False
Let b = -7 - -8. Let w(i) = -6*i**3 + i**2 + i - 1. Let t be w(b). Let u be (-3)/t*12/9. Is 2 greater than or equal to u