1.07. Is s < 2/11?
False
Let c(v) = v**2 + 7*v - 5. Let n be c(-7). Let q be (3 - 2)*(n + 2). Let f = 0 + 0. Which is smaller: f or q?
q
Suppose 2*i + 4 - 2 = 0. Suppose 0 = 3*v + 2*z - 7, 3*v - v + 2*z = 8. Is v != i?
False
Suppose -5*y + 25 = -0*y. Suppose 4*r + 5*o - 38 = 0, 45 = 5*r + 6*o - o. Which is bigger: y or r?
r
Suppose 2*d = -k + 3*k + 20, -2*d = -3*k - 25. Let g = 281/10 - 118/5. Let m = d - g. Which is smaller: 1 or m?
m
Let s be 30/5*(-11)/3. Let y = s + 24. Which is greater: y or 2/3?
y
Let w = -3 + 7.8. Let m = 5 - w. Let r = 0 - 1. Do r and m have the same value?
False
Let q = -3 - -2. Let c = q + 5. Suppose 3*v + 1 = c*v. Is 0 < v?
True
Let s = 3 + -3.05. Let c = 0.05 - s. Are c and 0.3 nonequal?
True
Let w be (-715)/(-247) - (3 + 0). Let p be (-1)/4 + (-9)/12. Which is bigger: w or p?
w
Let d = 16.2 - 0.2. Let p = -20 + d. Is p > -1/5?
False
Let y be 8/(1 + 0 + 1). Suppose 42 = -y*k + k. Let s be (k/49)/(9/7). Is 4 at least as big as s?
True
Suppose 11 = 3*q - 1. Suppose 4*m - q + 0 = 0. Suppose a = -3*t - 8, 1 + 9 = 4*a - 2*t. Do m and a have different values?
False
Let o(w) = w**2 + 3*w. Suppose 2*q + 7 = -r - 2, -4*q - 12 = 0. Let t be o(r). Let p be 22/77 - 4/14. Are p and t nonequal?
False
Let w be ((-2020)/(-14))/(-1) - -2. Let q = 142 + w. Which is smaller: q or -1?
-1
Let o be 2/4 - (-7)/(-2). Let n be -3*(o - 13/(-4)). Let r = -1/2 - n. Which is bigger: -3 or r?
r
Let h be (-54)/35 + 14/35. Is h at least as big as -1?
False
Let s(p) = -p**3 - 5*p**2 - p + 7. Let h be s(-4). Which is smaller: -14/3 or h?
h
Let d = 0.007 + 2.993. Let p(c) = c**3 + c + 2. Let b be p(0). Which is greater: d or b?
d
Suppose -289*i = -293*i + 100. Which is smaller: 22 or i?
22
Let p be 8/(-3)*18/(-8). Is 7 smaller than p?
False
Let t be (-6)/(-10)*45/3. Let w be (-1 + -1)*(-25)/5. Is w less than t?
False
Let t be (-17 + 13)*(-2)/(-1). Let x(a) = 7*a**2 - 1. Let k be x(1). Let w be (-66)/120 - k/t. Which is bigger: 1 or w?
1
Let h = 11 + 2. Which is greater: h or 2/5?
h
Suppose -4*r + 3*a = -19 + 4, 0 = -r + 3*a + 6. Suppose -r*z - z = 12. Which is bigger: z or -4?
z
Let m = -5 - 12. Let z be 3 + -5 + m/(-7). Which is smaller: 0 or z?
0
Suppose -3*x = -0*x + 3, x = -5*d + 9. Suppose 4*r - 2*i + 2 = 0, -3*r + 4*i - 7 = d. Which is greater: r or 3?
3
Let l be 1/(-2) - 1/(-2). Suppose 4*y + 8 = -l*y. Let q be 2*(y*1 + 1). Are -2 and q unequal?
False
Let k be (5 + -3)*(-4 + 2). Let u be (-12)/(-15) - k/20. Which is smaller: 1/9 or u?
1/9
Let q(b) = 3*b + 3 + 4*b**2 - 3*b**2 - 2*b**2. Let j be q(4). Let t be (3 - (3 + -1)) + -2. Is t bigger than j?
False
Suppose 2*o + o = 9. Let u be (-2)/o*(-3)/(-5). Which is smaller: -0.5 or u?
-0.5
Let c be (5 - 6)/(1/(-3)). Let i be c + -3 + 2 + -1. Let q be ((0/i)/2)/1. Which is smaller: -0.2 or q?
-0.2
Let b = -4 + 4. Which is smaller: b or 1/2?
b
Let g(m) = -m**3 - 5*m**2 + m + 2. Let t be g(-5). Let z be 1 - 1 - (t + 1). Suppose 12 = 3*j + 2*s, 5*j - 7 = z*s - s. Which is smaller: 3/2 or j?
3/2
Suppose -3*j = -63 - 27. Let q be (2/(-6))/((-85)/j). Which is smaller: 1 or q?
q
Let z = -0.8 + 3.8. Let a = 3.9 - 3.73. Let j = 0.07 - a. Is z less than or equal to j?
False
Let a(d) be the first derivative of d**4/4 - d**3 - 5*d**2/2 + d + 1. Let h = -45 + 49. Let u be a(h). Which is smaller: -1 or u?
u
Let s = -5.04 + 0.04. Let w = s - -5.2. Is w < 1?
True
Let p = -31 + 30. Which is bigger: -3 or p?
p
Suppose 0 = -a - 2 + 5. Suppose -l + a*l = 0. Do 7/5 and l have the same value?
False
Let m = 0.24 + 0.76. Is m equal to 39?
False
Suppose 3*a + 0*a = 6. Suppose 0 = 3*w - 8*w - v + 6, 4 = -2*w - a*v. Is 2 smaller than w?
False
Let o(m) = 2*m**2 - 7*m - 4. Let k be o(4). Which is smaller: 1/6 or k?
k
Suppose s + 0*s - 9 = 3*t, -4*s + 12 = -4*t. Suppose -5*j - 4*j = 0. Which is smaller: t or j?
t
Let u be (12/9)/(138/(-25362)). Let t = u - -245. Is t less than or equal to -0.1?
False
Let n = -1.3 + 1.2. Is n bigger than -4?
True
Suppose 4*v = 5*j + 20, -3*v + 25 = 2*v + 3*j. Let f(m) = -m**3 + 4*m**2 + 7*m - 4. Let z be f(5). Are v and z nonequal?
True
Let l = 5/36 + -29/36. Which is bigger: l or -1?
l
Let h be (-4)/(-5)*1720/48. Let b = -608/21 + h. Is 3 greater than b?
True
Let v = -1 - -2. Let b be 2/4 + (-56)/144. Which is smaller: v or b?
b
Suppose 18 = -3*t + 3*d, -3*d = -t - d - 2. Let g be (-64)/20 + (-2)/t. Which is greater: -4 or g?
g
Let r = 40/57 - 2/57. Let t = 0.1 - 0.3. Let h = t - -1.2. Do r and h have the same value?
False
Let b be 0 + 12/2 + -3. Let j be 3/(-3)*3/b. Which is bigger: j or -6?
j
Let r = -692 - -682.94. Let z = -9 - r. Which is bigger: z or -1?
z
Suppose 7*n - 24 = 11*n. Let r(z) = z**2 + 8*z + 8. Let i be r(n). Does -4 = i?
True
Let y = -18167934/877 - -20716. Let r = 11397/1754 - y. Which is bigger: 1/2 or r?
r
Suppose -v + 5 = 3*j + 12, 0 = 2*j + 2*v + 6. Let r be j/4 - 33/(-42). Which is smaller: r or -2?
-2
Let q be -4 + 8/1 - 3. Is q >= -2/13?
True
Let b be 10/(-4) + 2 + -1. Let x = 10 - 7. Suppose -2*h - 4 = -h - n, 2*h = x*n - 11. Which is smaller: h or b?
b
Suppose 59 = -4*d - 1. Let q be (-12)/(-78) - d/(-13). Which is greater: -14/9 or q?
q
Let h(c) = 3*c - 1. Let s = 6 - 4. Let r be h(s). Suppose -3*k + w - 3 = -0*w, 2*k = r*w - 2. Is 2/15 at least k?
True
Let s = -13 + 29. Is s less than -1/4?
False
Let y = -8 - -8. Let n be y*1/(-2) - 1. Let j = -78 + 389/5. Is j bigger than n?
True
Let l = -2 + 2. Let p(y) = y**3 + y + 5. Let k be p(l). Let b = -2 - -7. Is k at least b?
True
Suppose 0 = c - 4, -4*y - 190 - 106 = 5*c. Is -79 at most y?
True
Let a be (24 + 0)/(12/8). Let z be 710/a*(-4)/(-10). Let x = z - 505/28. Which is bigger: -0.5 or x?
x
Suppose 2 - 5 = 3*z. Let v be 0/(-3*(-6)/(-9)). Suppose v = -0*d + 3*d. Which is greater: z or d?
d
Let d be (30/21)/((-3)/(-7)). Let l = d + -3. Do 2/5 and l have the same value?
False
Let s = -18 + 15. Is -2 >= s?
True
Suppose -l + 16 = -5*l. Which is bigger: l or -20/7?
-20/7
Suppose -z + 8 = 3*z. Let t be ((-31)/(-3))/((-16)/516). Let g = t - -335. Which is greater: z or g?
z
Suppose 2*r - 4*r - 26 = 0. Which is greater: -12 or r?
-12
Let z be (39/45 - 1)/((-2)/3). Let r = -22 - -67/3. Which is smaller: r or z?
z
Let d be 5/20 - 7/(-4). Suppose 13 = 5*n - d. Is n bigger than 4?
False
Suppose -5*q - 3 = -4*q. Let g(k) = k + 1. Let r(d) = -4*d**3 - d**2 + d. Let o be r(1). Let j be g(o). Is j smaller than q?
False
Let t = -1 + 1. Let w be 6/4*(-10)/(-15). Let k be 4 + -4 + w + -9. Is t smaller than k?
False
Suppose -3*a - 93 = -96. Is a bigger than 8/27?
True
Let r = -2 - -2.05. Let l = r + 2.95. Which is smaller: l or 0?
0
Let u be ((-50)/(-15) + -3)*8/(-6). Suppose -q + 2*i + 3 = 0, 2*i = 2*q - 1 - 1. Are q and u non-equal?
True
Let b be -1*(-3 + (0 - (0 + -3))). Are b and 5/31 unequal?
True
Let f be (-80)/6*(-7)/(-2). Let t = f + 47. Is t less than -1?
False
Let b = -31/342 - 5/38. Let g = 0.6 + 0.4. Let i = g - 1. Is b less than or equal to i?
True
Let r = -17792/19 - -936. Let o = 62/57 + r. Is -1/5 greater than o?
False
Let s = -7.9 - -8. Let c = -1/2 + 1/6. Are s and c equal?
False
Let z be (5 - -1)*2/(-4). Let d be (0/4 - z)/5. Is d != 1?
True
Let q = -3 - -6. Suppose 0*u = 3*u + q. Which is smaller: u or -1/10?
u
Let m be ((-4)/48)/(18/(-48)). Is m greater than 0.13?
True
Let a be (-3)/(-2) + (-1)/(-2). Suppose 0 = -h + a*h + 2. Let j be h/10 + 17/35. Which is smaller: j or 0?
0
Suppose -5*f - b + 0*b = -9, -4 = -b. Let i be f/(-7) - 4/14. Which is smaller: 0 or i?
i
Let x = -0.6 - -2.6. Let i = 1.8 - x. Which is bigger: 1/2 or i?
1/2
Let q = -5.12 - -0.12. Let a = -26 + 28. Let o = q + a. Is 2 smaller than o?
False
Let g be (-103)/(-7) - (-4)/14. Suppose -5*q + 31 = 4*p, -2*q + g = 3*q. Let l be 6/p*2/(-3). Which is greater: l or -3?
l
Let x = -4066/9 + 451. Is 0 != x?
True
Let t = -10 - -12.5. Let z = t - 3. Let k = -0.4 - z. Is k < 0.2?
True
Let m(g) = -g**3 - 4*g**2 - g - 1. Let p be m(-4). Which is smaller: -3/7 or p?
-3/7
Suppose 3*t - 2*l + 2 = 9, 5*l = 2*t + 10. Suppose -t*f + 2*f = 0. Which is greater: -3/5 or f?
f
Suppose 8*j - 4*j + 3*c - 14 = 0, -5*c = -j - 8. Suppose -j*l = 2*l. Is 1/37 not equal to l?
True
Let p = 0.8 + -4.8. Let y = -2.89 + -0.11. Let f = y - p. Do f and -0.2 have different values?