hich is smaller: -4/21 or v?
-4/21
Let q(n) = 12 + 1 - 18*n + 3*n + n**2. Let p be q(13). Do p and -14 have the same value?
False
Let n = -0.4 - 0. Let p = 0.4 + -0.2. Let k = n + p. Is k less than 2?
True
Let r(h) = 2*h - 1. Let y be r(-2). Suppose 5*i + 4*j - 5 + 20 = 0, i - 2*j + 17 = 0. Is y < i?
False
Suppose 3*n + 0*n - 323 = -4*j, n - 105 = -4*j. Let q = n + -1197/11. Let y be 1/(-4) - 3/4. Is q < y?
False
Let r = -88 - -794/9. Let d = 0 + 0. Let z = -1 - d. Which is bigger: r or z?
r
Let x(d) = d**2 - d - 1. Let z be x(1). Which is bigger: z or -1/4?
-1/4
Suppose 0 = -3*y - 2 - 43. Let q be ((-1)/(-3))/(220/y). Let i = 91/132 + q. Which is smaller: i or 1?
i
Let g = -58 + 58. Which is greater: 38 or g?
38
Let l = 5 - 3. Let j = l + -3. Let v = -3 - -2. Is j >= v?
True
Let t(q) = q**3 - q**2 + 3. Let w be t(0). Suppose -f - 27 = -w. Let p be ((-2)/(-2))/(f/(-16)). Which is smaller: p or 2?
p
Let p be 4/(-10) + (-17)/(-5). Let x = p - 2. Which is greater: x or 1/8?
x
Suppose -5*g + 52 = -g. Let x = -14 + g. Which is bigger: x or 1?
1
Let p = 0.2 - 3.2. Let c = 560 + -1481/3. Let v = c + -67. Are v and p equal?
False
Let i = -0.34 - -0.74. Which is smaller: i or -4?
-4
Suppose 3*s = 8 - 2. Let c = 16 + -14. Suppose 0 = -4*u + c*z + 4, 6*u - 3*u - 5*z = -11. Is s less than u?
True
Let g be ((-1)/(-10))/((-1)/(-2)). Let b be 1/((-1 - 0)*1). Is b at least as big as g?
False
Suppose -3*q - q - 8 = 0. Let a be (9/6 + q)*0. Which is smaller: a or -6?
-6
Suppose 2*a - 62 = -3*t, 28 = 2*t + 2*a + 2*a. Is 24 greater than t?
False
Let h(f) = 2*f - 11. Let p(i) = -i**2 + i + 8. Let t be p(0). Let b be h(t). Is 4 greater than b?
False
Let y = -32 - -8. Let n be 234/y*4/(-18). Are n and 0.1 unequal?
True
Let i be 1677/2745 - (-21)/(-35). Which is greater: i or 0?
i
Suppose 6*t + 3*o = 3*t - 12, -8 = -2*t + 2*o. Let c = 128 - 1662/13. Which is bigger: c or t?
c
Suppose -4*m + 2*b = -0*m - 16, -5*b + 44 = 4*m. Let w = m - 9. Is -4 < w?
True
Let z be (-6)/15 + (-2)/(-5). Let m = z - 1. Let x = -15/7 + 67/28. Which is smaller: m or x?
m
Let b be 3 - -10*(-45)/(-24). Is b greater than 21?
True
Let m(h) = 2*h**2 + 9*h + 10. Let y be m(-4). Suppose 0 = -2*f - 4 + 14. Which is smaller: y or f?
f
Let n(d) = d**3 + 13*d**2 + 13*d + 9. Let f be n(-10). Let v = 898/5 - f. Is v at least as big as -0.2?
True
Suppose h - 3 = -0*h. Suppose -5*y + 31 = 3*m, -2*m + y - h = -2. Suppose -t = m*t. Is -2/7 smaller than t?
True
Let o = 1560 + -92042/59. Suppose 2*m - 5*m = 0. Which is smaller: o or m?
o
Let v be (-130)/385*20/23. Let k = v + 2/253. Which is smaller: k or 2/5?
k
Let x = 14.7 + 1.3. Let m = x + -16.1. Which is smaller: 14 or m?
m
Let h(j) = -5*j + 9. Let b be h(11). Let q be 1 - (-10)/(-4)*b. Let s = -1506/13 + q. Which is greater: s or 1?
1
Let c = -4 + 2. Suppose 10 = 52*t - 54*t. Which is smaller: t or c?
t
Let f = -10 - -1. Let k = 170 + -169.9. Is f less than k?
True
Let m(i) = -9*i + 4. Let x(w) = -3*w + 1. Let y(p) = -2*m(p) + 7*x(p). Let s be y(-3). Which is greater: 7 or s?
s
Suppose -2*x + 0*x = -36. Suppose -2*w - x = -0*w - 4*y, 0 = 5*w + 4*y + 3. Let l(s) = -2*s - 4. Let p be l(w). Are 3 and p equal?
False
Suppose 5*t - 4*t = 15. Let r(q) = -q**2 + 16*q - 13. Let o be r(t). Does 0 = o?
False
Suppose -17 - 11 = -4*s. Suppose 0 = -5*r - 0*h + 5*h + 15, h = -3*r - s. Let j be (-15)/9 - r*2. Are j and 0 non-equal?
True
Let d be (-1 - 5) + 6 - 0/2. Which is bigger: d or 2/377?
2/377
Let m be 1 - ((-12)/(-8) - 2). Which is smaller: m or 2?
m
Let x be (-60)/(-18) + 2/(-6). Let g(j) = j**2 + 4*j - 4. Let l(t) = 6*t**2 + 20*t - 21. Let u(p) = 11*g(p) - 2*l(p). Let o be u(x). Is 1/8 >= o?
False
Let t be (4 - 8/4)*(-3)/22. Suppose 2*z = -5*u - 1, u - 10 + 0 = 3*z. Is t at most as big as u?
True
Let x = 0.04 - 1.04. Do -2/3 and x have the same value?
False
Let p = 2.4 - -10.6. Let t = -13.3 + p. Let r = -3 + 2. Is t < r?
False
Suppose 0 = k - 4, 5*d - 2*k + 16 = 2*k. Which is bigger: 5/8 or d?
5/8
Let x(v) = v**2 + 6*v - 9. Let f be x(-8). Let k = 7 - f. Which is smaller: 11 or k?
k
Let z(g) = 2*g + 4. Let c be 306/39 - 2/(-13). Let h be (-5 - -2)*c/6. Let j be z(h). Which is smaller: j or -3?
j
Let r = -1 - 1. Let y be 0/1*1/r. Let p be ((-2)/(-7))/((-3)/(-7)). Which is bigger: p or y?
p
Suppose -20 = x - 5*x. Let v = 9/2 - x. Is v greater than or equal to -2?
True
Suppose -17 - 1 = -3*g - i, -5*g + 30 = -i. Which is smaller: g or -0.1?
-0.1
Suppose -3*n = 5*q - 22, 0*q + 2*q - 9 = -n. Let o(s) = 6*s**2 - 1. Let m be o(n). Do 2 and m have the same value?
False
Let m = 153 + -153.1. Are m and -3/4 nonequal?
True
Let v = -23.979 - 0.021. Let f = 16 + v. Let i = -8.3 - f. Which is bigger: -1 or i?
i
Let f(r) = -r**3 + 6*r**2 - r + 6. Let t be f(6). Suppose 0*s + 2*s = -2. Let g = s + t. Which is bigger: g or 1?
1
Let x = -0.5 + 0.34. Let o = x + 0.06. Is o at most as big as 0.1?
True
Suppose 5*q = f + 176, 5*q + 2*f + f - 192 = 0. Suppose 7*s - 4*g = 3*s + q, -4*s + 3*g = -31. Let z be 6/(-10) - 1/(-1). Which is smaller: z or s?
z
Let p = -3 - -1. Let k = -4 + 3.8. Is p less than k?
True
Let c = -12 - -20. Let g = c - 8.1. Is 0.02 >= g?
True
Let k be (1 + 2)*(-2)/(-18). Let n(v) = -v**3 - 4*v**2 + 4*v - 1. Let o be n(-5). Suppose o - 3 = -i. Which is bigger: k or i?
k
Let x be (-6)/9 + 2/12. Let z = -8 + 8. Which is smaller: x or z?
x
Suppose -3*f + 4*j = 2, 0 = -f + 2*j - 1 - 1. Let v be 1 + f + -1 - -2. Suppose 2*o - v*o = 2. Is o less than -3/5?
True
Suppose 2*k - 4*s = -2*k + 28, -k + 13 = 5*s. Is k <= 7?
False
Let c = -1/17 + -29/85. Is -0.09 >= c?
True
Let z be 154/6 - (-6)/(-9). Suppose -3*d = 5*f + z, -2*d + f + 3 = -2. Which is bigger: -1 or d?
d
Let x be 3/15 + 195/25. Suppose -3*w - 3*f + 6 = 30, -w + 10 = -5*f. Let g = x + w. Is g less than 0?
False
Let d = 0.95 - -0.05. Let o be 1/4 + 1806/40. Let r = o + -45. Is d greater than r?
True
Let j = -6 - -14. Let a = 8 - j. Is 1/2 greater than or equal to a?
True
Let f be (-6)/4 + 7/2. Suppose 0*z = f*z + 42. Let u be 7*((-27)/z - 1). Which is greater: u or 1?
u
Let m be -1*(-2)/3 + (-74)/108. Is m at most as big as -1?
False
Let y be ((-3)/(-9))/(2/6). Let f = 1 + -3. Let t be f/(-4) - 1/2. Which is smaller: y or t?
t
Let u(h) = h**3 + 4*h**2 - 4*h + 5. Let g be u(-5). Suppose g = 4*c + 3*l - 17, -5*l + 5 = -4*c - 2. Which is smaller: 4/3 or c?
4/3
Let f(q) be the first derivative of -q**3/3 + 3*q**2/2 - q + 1. Let n = -11 + 12. Let i be f(n). Is -1 smaller than i?
True
Let y = -19 + 193/10. Suppose 0 = j + 5*l - 4, l = -7*j + 2*j - 4. Which is smaller: y or j?
j
Let b be 4/((-7)/((-21)/2)). Let g = 15 - b. Which is greater: -2/7 or g?
g
Let l = -0.2 + 0.5. Let b = -0.3 + l. Let o = 0.1 - b. Is 1 >= o?
True
Let k be (2/6)/(2/60). Let f be 2/(8/k)*6. Let g be 33/30 - (-6)/f. Is 1 at most g?
True
Let s = 1.3 - -0.7. Let z = s + 4. Let f = 5/6 + -1/2. Is z less than f?
False
Suppose 9*a = 8 - 188. Which is smaller: -19 or a?
a
Suppose 0*m = -4*m - 424. Which is bigger: m or -107?
m
Let t = 169 + -168. Is 15/29 != t?
True
Let t be (-3)/2*20/30. Is -11/9 bigger than t?
False
Suppose 4 = m, -3*m = 6*l - l - 72. Let n be l/(-15)*(-10)/4. Is n > 5/4?
True
Let f = -190 - -194.95. Let k = f - -0.05. Let w = k - 5.1. Is w smaller than -0.2?
False
Let g be -3*(-1 + 2) - 0. Let q = 2 - g. Suppose -4*u - 1 - 5 = -3*p, q*p + 4*u - 10 = 0. Is 3 > p?
True
Let c = -1.3 + 1. Suppose -4*o + 0*m + 6 = m, -18 = -5*o + 4*m. Suppose -o*s + 3*s = -1. Which is smaller: c or s?
s
Suppose -2*o = 2*w + 24, 23 + 7 = -2*o - 5*w. Which is bigger: -7 or o?
-7
Let k be ((-108)/15)/(1/5). Let y = 66 + k. Let o be (0 + 1)/((-6)/y). Which is greater: o or -4?
-4
Let g = -91/2 - -48. Are 2 and g equal?
False
Suppose 0*s + 2 = 2*n - 3*s, 2*n = -3*s + 14. Suppose n*m + 4 + 0 = 0. Which is bigger: m or -1/2?
-1/2
Suppose -115 = -4*d - 91. Is d less than 0?
False
Let w = 129467/5 + -26022. Let f = w - -129. Suppose 0 = 4*p - 12, -z + 2 = 4*p - 9. Which is greater: z or f?
f
Let t(g) = -2*g + 2. Let l be t(-2). Let n = 6 - l. Is -2/5 less than n?
True
Suppose -3 = -5*h - 8. Suppose 5*r + 0*r = -10. Let y be (r/3)/(50/15). Which is smaller: h or y?
h
Suppose 0 = -3*c + 2*c - 3. Let b be (c/(-6))/((-1)/4). Suppose -5*a - 5 = -5*o, 2*a - 3*o 