- 188. Are u and -48 nonequal?
True
Let t(m) = -m**2 - 9*m - 7. Let q be t(-8). Is 25 at least as big as q?
True
Let c = -10.1 + 1.1. Which is bigger: c or 1?
1
Suppose -18*h = -12*h + 90. Which is bigger: h or -18?
h
Let k(y) = -y**2 - 4*y. Let h be k(-6). Does h = -12?
True
Let r(w) = -w**3 - 2*w**2 - w. Let k be r(-3). Let s be (-3 + 4)*(-1 - k). Which is smaller: s or -14?
-14
Suppose -5 = 3*p + 2*p, 0 = -4*g - 4*p. Let j be 1/(22/(-58)) + 3. Which is smaller: g or j?
j
Suppose 4*j + j = 10. Let h be j - 1/(-2)*-6. Suppose 3*t + 2*t = 0. Do h and t have the same value?
False
Let o be (121/(-132))/((-1)/(-4)). Is o < -2?
True
Let i = 31.12 - 32. Let g = -1 - i. Let z = 0.02 + g. Is z equal to -2/3?
False
Let g(p) = p + 1. Let j(f) = 3. Let l(w) = 2*g(w) - j(w). Let k be l(-1). Which is smaller: k or 0.1?
k
Suppose -k + 4 + 1 = 0. Let s(y) = -y**2 - 13*y + 5. Let q be s(-13). Is k equal to q?
True
Let c = -8.26 - -7.8. Does c = -1?
False
Let j(y) = y**3 + 6*y**2 + 5*y - 7. Let n be j(-5). Let t = 13 + n. Let p be (-3 + t)*2/(-12). Which is bigger: p or 2?
2
Suppose -3*c + 14 = c - 2*q, 5 = -q. Is c > 1/4?
True
Suppose 2*m + 5*x = 0, 2*x = -2*m - 2*x. Which is bigger: 1.1 or m?
1.1
Let u(v) = v**3 + 10*v**2 + 6*v - 26. Let p be u(-9). Let n be ((-2)/(-12))/((-20)/6). Which is bigger: n or p?
p
Let t(h) = -h**3 + 6*h**2 - 5*h - 2. Suppose -4*x - 9 = 5*b - 25, -x = -3*b - 4. Let v be t(x). Let f be -5*(-2 + 0)/v. Which is smaller: -1/4 or f?
-1/4
Let y = -7 - -10. Suppose y = h + 5. Which is smaller: -4 or h?
-4
Let y be 95 + (4 - (1 - 0)). Let r be -3 - 7/(y/(-52)). Is r bigger than 1?
False
Suppose 5*z - 15 = -0*z. Let k = z - 4. Let i = k - -1. Is -2 greater than or equal to i?
False
Let j(c) = c**2 - 17*c + 69. Let s be j(10). Which is greater: s or 1/104?
1/104
Let y = -14 - -11. Is y <= 0.1?
True
Let b = -11 + 28. Suppose -3*v + b = -2*r, 0*v - 11 = -r - 5*v. Is -3 at most r?
False
Let t = -66 + 197/3. Is -0.1 > t?
True
Suppose -2*h - 4 = -4. Let o be (0 - 0) + (-2)/(-10). Is o <= h?
False
Let q(x) = -x**2 - 5*x - 9. Let o be q(-5). Is -7 at least as big as o?
True
Let h be ((-9)/12)/((-18)/(-12)). Which is smaller: h or -1?
-1
Suppose -4*r - 2*f - 4 = 3*f, -5*r - f - 26 = 0. Is r at most as big as -6?
True
Let k = -2/1937 + 4052/172393. Which is bigger: 1 or k?
1
Let q(n) = -n**2 + 14*n - 20. Let j be q(14). Is j < -20?
False
Let u = -56 - -59. Is 17/4 < u?
False
Let q = -1.7 + 1.68. Which is greater: q or -0.1?
q
Let w(t) = t**2 + 3*t. Let f be w(-4). Let q = f - 7. Let y = -1 - -0.9. Which is smaller: q or y?
q
Let g = -5 - -10. Let b = g - -3. Is b smaller than 0?
False
Let f(r) = 4*r - 11. Let n be f(7). Suppose l - 5 = 13. Is n < l?
True
Suppose -s - 2*s = 6. Is 4 at most s?
False
Let x = -19 + 19. Suppose 4*y = -x*y + 16. Is y != 2?
True
Let p be 1/(1 - (-12)/(-15)). Let c be p/(-7) + 2/(-7). Let l be 19/(-10) - 4/(-10). Is c greater than or equal to l?
True
Let u(j) = -j**3 + 8*j**2 - 5. Let q = -19 + 27. Let g be u(q). Which is smaller: g or 0?
g
Let j = -9 + 10. Let y be (-1)/(-1) + 3 + -1. Let o = y - j. Which is smaller: 0 or o?
0
Let p be (-9 + 7)*(-1)/7. Which is smaller: p or 0?
0
Let r = -218 - -2832/13. Which is smaller: -1 or r?
-1
Let z(x) = -x**3 + 12*x**2 - 10*x - 9. Suppose -3*r + 4*r - 4 = 0. Let g(s) = -s**3 + 5*s**2 - s - 1. Let t be g(r). Let a be z(t). Which is greater: 5/3 or a?
a
Let p(l) be the first derivative of l**2 + 11*l + 6. Let t be p(-5). Which is smaller: t or 2?
t
Let d = -118/217 - -8/31. Which is smaller: d or 1?
d
Suppose -4 = 4*w - 2*w. Let z be -2*(6/(-4) - w). Let p be (-40)/(-56)*6/(-10). Is p smaller than z?
False
Let d = -152/7 + 150/7. Suppose 0 = -2*g + 2, -2*t + 2*g - 10 = 2*t. Does d = t?
False
Let s be -3*((-8)/6 + 0). Suppose -r = 3*r - s. Let f be -2 + 0 - (32/12 - 5). Do f and r have different values?
True
Suppose -15*s + 11*s - 48 = 0. Are -11 and s equal?
False
Let y(n) = -n**3 - 7*n**2 + 9*n + 8. Let t be y(-8). Let g = t + 2. Let h be (g/4)/(4/(-8)). Which is greater: -2 or h?
h
Suppose 5*p - 86 - 53 = -2*t, 4*p + 266 = 3*t. Which is bigger: 83 or t?
83
Let s = -9.123 + -0.177. Let x = s + 1.3. Let v = x + 7.8. Which is greater: v or -2?
v
Let p = 7 + -8. Is p less than -2/87?
True
Let j = -44746/57 + 785. Is 0 greater than or equal to j?
True
Let d(v) = v**2 + 4*v - 1. Let l be d(-5). Suppose -4*c + 8 = -2*c. Suppose -c + 16 = l*r. Which is greater: r or 4?
4
Let r(x) = -x - 8. Let g(t) = -t - 4. Let h be g(-5). Let s = h - 8. Let m be r(s). Which is smaller: m or 1?
m
Let l = 4 - 9. Let a(z) = z**2 + 4*z + 2. Let x be a(-5). Let u(b) = -b + 2. Let v be u(x). Is l smaller than v?
False
Suppose g = -2*g + 15, -2 = -m + 2*g. Let z = m - 14. Let j be (-6)/(-5)*(-1)/2. Is j <= z?
False
Let y be 2/6 + 20/(-6). Let r(p) = p**2 + 3*p + 1. Let a be r(y). Suppose 5 - 3 = 2*z. Is z <= a?
True
Let b = -52/7 + 254/21. Does 0.1 = b?
False
Suppose -3*i + 18 = -0*i. Let a be 44/48 + (-4)/i. Let v be 322/77 + 2/(-11). Which is bigger: a or v?
v
Suppose -24 = 3*f - 9. Let l = 7 + f. Which is smaller: -1 or l?
-1
Let i = -24 + 19. Let a be 4 + i/(260/212). Is a less than 1?
True
Let j = 1 - -29. Let x be 4/(-10)*j/114. Which is greater: x or 0?
0
Suppose -3*h + 4 = -2. Let m be 4/(-10) - 0/h. Which is greater: -1 or m?
m
Let i = -284/5 + 57. Let p = 5 - 5.1. Is i not equal to p?
True
Let k be ((-3)/28)/((-11)/(-66)). Is 0 not equal to k?
True
Let h = 28 + -27.8. Which is smaller: -44 or h?
-44
Let m(b) = 1 + 0 + 5*b**3 - 4 - 6*b**3 - 4*b - 3*b**2. Let c be m(-2). Are -2/11 and c nonequal?
True
Let u(q) = -q**2 + 12*q - 8. Let r be u(8). Which is bigger: r or 23?
r
Let p = 6744/11 + -612. Suppose -8 + 12 = 4*t. Which is bigger: t or p?
p
Let n = -14 - -25. Let v = -13 + n. Let x = -0.3 + 0.1. Which is smaller: x or v?
v
Suppose 3 = -l - 3*t + 1, 4*l + 3*t - 1 = 0. Let z = -4 - 1. Which is greater: z or l?
l
Suppose 5*p - 5*l - 1 = 14, l + 3 = 4*p. Let a = -2/49 - -151/98. Let c = 0 + a. Which is smaller: c or p?
p
Suppose -9*z + 4*z = 5. Which is bigger: -3/20 or z?
-3/20
Let n = -37 - -13. Let s be ((-2)/n)/((-2)/(-28)). Let q = s + -11/6. Are q and 1/3 equal?
False
Suppose -4 - 50 = 3*i. Which is smaller: i or -17?
i
Let x be (-10)/(-8)*2*2. Let k be ((-4)/(-50))/(4/x). Which is smaller: 0 or k?
0
Let i be -2*(10/4 + -2). Which is smaller: i or -2/55?
i
Let r = 13 - 64/5. Is r > 3?
False
Let v = -623/1898 - -3/146. Is -2/7 greater than or equal to v?
True
Let y(o) = 2*o**2 + 2*o**2 + 2*o - o**2. Let g be y(-2). Let r = g + -8. Do -1 and r have the same value?
False
Let x = -11 - -8. Let t be 1 + (-1 - -2) - 8. Let b be t/2 + 0 + 0. Is b <= x?
True
Suppose -21 = -5*r + 2*d, 0*d = 2*d - 4. Is r >= 1?
True
Let u be (-1)/(-2) + (-15)/6. Let q be (0 - 1)*u/11. Suppose 0 = p - 0*p + 2, 3*p = -5*j - 6. Are j and q equal?
False
Let i = 3 - 5. Let y be (2/(-5))/((-3)/105). Suppose 0 = y*l - 13*l. Which is bigger: l or i?
l
Let v be 23/(-138) + (23/6)/(-1). Which is bigger: v or -7?
v
Let y be (-22 - -16)*((-6)/(-4))/(-3). Let s = 11 - 7. Suppose -5*a + s*d = 12, -a + 3*a - y*d + 2 = 0. Is -4 equal to a?
True
Let l(f) = f**3 + 4*f**2 + f - 3. Let q be l(-3). Suppose -5*h - 3*j + 4*j - 3 = 0, 0 = -2*h - j + q. Is 0 < h?
False
Let w be (28/(-70))/((-16)/15). Which is bigger: w or 0?
w
Let s = -0.1 + -0.9. Let t = -0.6 - s. Let n = -0.3 + t. Is 0.1 at least n?
True
Let c(p) = -2*p + 14. Let t(b) = 3*b - 27. Let s(d) = -5*c(d) - 3*t(d). Let f be s(-10). Is f < 1?
False
Suppose 0 = 5*y - 4*q - 45, -9 = -4*y + 2*q + 21. Let d be y*(6/2)/(-3). Which is smaller: -6 or d?
-6
Let b = 273 - 1361/5. Which is smaller: 1 or b?
b
Suppose -3*j + 17 = -16. Let i = j + -8. Which is smaller: 2 or i?
2
Let s = -8 - -12. Let u = 1/232 + 579/232. Do u and s have different values?
True
Let l = -14 - -23. Let c be 1 - (l/7)/1. Is c at most as big as -1?
False
Let m = -4.1 - 5.9. Let p = -19/20 - -6/5. Which is smaller: p or m?
m
Let o = 14 - 35. Let b be o/14 + 2*1. Which is smaller: b or 8?
b
Suppose -f = 5*p - 3*p - 5, 2*p - 4*f + 20 = 0. Is -1/9 >= p?
False
Let i = 5 - 4. Which is smaller: -10 or i?
-10
Suppose 0 = o, -o - 10 = -5*z + 2*o. Are 10/19 and z unequal?
True
Let h be ((-11)/198)/(1 + 18/(-4)). Is -1 smaller t