values?
True
Let d be (-26)/65*(-21 + 0 - -1). Suppose 0*a + d = -4*a. Let w be (4 - 0)*(-3)/(-6). Which is smaller: a or w?
a
Let b = -55 - -55. Which is smaller: b or 1/218?
b
Let u(o) = o**3 - 19*o**2 - o + 20. Let a be u(19). Is 6.5 less than a?
False
Let y be ((-24)/(-96) - (-26)/24)*-42. Is y greater than -56?
False
Let d = -144 + 146. Which is greater: 16/13 or d?
d
Let c(t) = -1070*t + 1. Let p be c(1). Is p less than or equal to -1?
True
Let c(s) = s**3 + 19*s**2 + 19*s + 12. Let p be c(-18). Let o be (2/14)/(p/18). Does -1 = o?
False
Let w = -31.1366 - 1.5074. Let z = -0.044 - w. Let n = -33 + z. Which is smaller: n or -1/4?
n
Let p be 0 - 3*(2 + 860/(-435)). Which is smaller: -6 or p?
-6
Let s be -10 + 14 + (-10)/2. Which is smaller: s or -78?
-78
Suppose 30 = 2*v - 8. Let a = -18 + v. Which is bigger: 22 or a?
22
Let l = 899 - 898. Is 2/1883 > l?
False
Let r = -1012 + 1011. Let y = 4823 - 998363/207. Is y at most r?
False
Suppose 2 = 2*c - 4*u + u, -c + 2*u = -1. Let a be (5 - c)/(2 + 0). Which is greater: a or 3?
3
Let g(r) = 2*r + 10. Let k be g(-4). Is 8/11 smaller than k?
True
Let c be 3*(-4)/12 + (-1846)/8. Is -231 at least c?
True
Let b be ((-11)/(-22))/(2/(11 - -1)). Is b > -133?
True
Let f = 0.1 - 1.1. Let b = 7 + f. Let c = b - 10. Which is bigger: -1 or c?
-1
Suppose 1250 = -22*g - 3*g. Suppose -z = 2*t + 102, 5*z - 93 = 3*t + 47. Is t <= g?
True
Let z(w) = -w**2 - 8*w - 14. Let x be z(-5). Let p be ((-4)/(-18))/(x*(-7)/21). Is p at least 0?
False
Let z = -5085 + 40683/8. Suppose 0 = 5*s + 3*r + 11 - 29, 0 = 3*s + r - 10. Suppose s*t + t - 5 = 5*d, 0 = -3*d + 3*t - 3. Is d < z?
True
Let k(x) = -4 - x**3 - 17*x + 9*x + 8*x**2 + 11. Let h be k(7). Let l = -3775/57 - -199/3. Is l equal to h?
False
Suppose -8*a - 54 = -5*a. Let j = 16 + a. Which is smaller: j or -6?
-6
Let t = -159 - -679. Is 1 bigger than t?
False
Suppose -2*z + 9 = 3*p - 0, 2*p - 39 = -5*z. Let t be (-6)/(-46)*(-6)/z. Suppose 124*h = 133*h. Is t >= h?
False
Let q(w) = w**3 - 7*w**2 + 6*w. Let c be q(6). Suppose y = i, -y + 0*y = 2*i - 3. Let x be -3 + (-80)/(-25) + y. Is x < c?
False
Let z(f) = 2*f**2 + 13*f + 5. Let s be z(-6). Let m = -185 + 1483/8. Do m and s have different values?
True
Suppose 0 = -z - 5*t - 11, -6*z + 6 = -3*z + 2*t. Suppose -z*j = -5*j - 5*b - 31, b - 45 = 3*j. Which is smaller: -18 or j?
-18
Let i be 370/385*(-716 - 2). Let z = i + 690. Let b = z - 71/231. Which is smaller: -2 or b?
-2
Let h(b) = 5*b - 161. Let p be h(32). Is p bigger than -3/332?
False
Suppose 0 = 14*r - 53*r. Let f be 2/2 + (-15)/12. Which is greater: r or f?
r
Suppose -3*q = 2*c + 2, -5*q = c - 4*q. Suppose 4*p + 3*i - 5*i - 2 = 0, 2*i = c*p - 2. Suppose p*w + 2*w + 6 = 0. Which is smaller: w or 1?
w
Let h be 0 - 12/(-9) - 1/3. Which is bigger: -6/281 or h?
h
Suppose -4*p = -2*p + 82. Let u = 43 + p. Which is smaller: -5 or u?
-5
Let g = -3.3 - 11.7. Let d = g - -22. Let j = 7209 + -7209. Is d at least j?
True
Let f = 191 - -44. Let n = 65185/3 + -21960. Let c = n + f. Which is bigger: c or 4?
4
Let s(m) = 196*m - 1175. Let t be s(6). Which is smaller: t or 1/85?
1/85
Let d(x) = x - 10*x - 125 + 137 + x. Let k be d(-4). Is 46 smaller than k?
False
Suppose 3*l - 176 = -59. Let a = -7241/7 - -995. Let k = l + a. Is k greater than or equal to 0?
False
Let a be (5/(-1516))/((-100)/40). Is a at most 1?
True
Let x = -3 + 4. Suppose 5*y + 10 = 0, 6 = 4*f - 2*y + y. Let a be 0 + 0 - (f - x). Is 1 at most as big as a?
False
Let c = 12 + -9. Let k be c/(-12) + (-138)/(-8). Suppose 3*t + k = 29. Which is smaller: t or -2/7?
-2/7
Let i = 9/28 - 193/252. Which is greater: 2 or i?
2
Suppose 9*k - 62*k = 0. Do k and -45/49 have the same value?
False
Suppose -4*o - 3*w = 42, -o + 2*w - 40 = 2*o. Let c be (-3)/o*12/(-18). Let y be (-7)/(-5) + 2/(-5). Is y equal to c?
False
Let x(o) be the first derivative of o**4/4 - 4*o**3/3 - 3*o**2 + 7*o + 18. Let c be x(5). Is 13/3 != c?
True
Let c(t) = 5*t**2 + 65*t - 14. Let i be c(-16). Is i < 226?
False
Let p(l) = -l**3 + 9*l**2 + l - 5. Let n be p(9). Suppose 2*q = 3*c + 4*q, 2*c = 2*q. Suppose 0 = -2*m - 6, c*r - 2*r + 16 = -2*m. Is r != n?
True
Let r be (-1)/2 + 18/4. Suppose 4*l + d + r + 9 = 0, 20 = -2*l + 4*d. Let s = l + 4. Which is bigger: 1/3 or s?
1/3
Let c = 6.2 - 6.57. Let f = 16.63 - c. Are -1 and f equal?
False
Let f = -9.701 + -1.299. Is 2/275 at most as big as f?
False
Suppose 19*q = 17*q + 22. Let g = -21 + 35. Suppose -2*v + 4 = -g. Is q equal to v?
False
Let v be ((-2694)/20)/(9/12). Let q = -179 - v. Which is greater: 3 or q?
3
Suppose 0 = 4*l - 4*h + 10 - 2, 14 = -l + 5*h. Which is smaller: l or -5/17?
-5/17
Let q = 9 + -1. Let f(z) = 5 + q - 2 - 2*z - 5. Let x be f(5). Is -5 at least x?
False
Let b = -0.6 - 0.4. Let p = 1.77 - 1.7. Which is bigger: p or b?
p
Let w = 22297207 + -69121348807/3100. Let n = w + 72/31. Which is greater: n or -1?
n
Suppose 7*k - 9 = -23. Let r be 18/(k/(7/((-21)/18))). Which is bigger: 53 or r?
r
Let z = -522 - -521. Which is smaller: z or -32?
-32
Let y = 5/14 + 407/7. Let a = -58 + y. Which is smaller: a or 9/8?
a
Let l = -40 - -40. Let f = -6/19 - -575/1881. Which is bigger: f or l?
l
Suppose -35*t + 172 = 1432. Which is smaller: -9 or t?
t
Let a = 131/6 - 45/2. Let x = -1 - -1. Which is smaller: x or a?
a
Let c = -329 - -331. Which is greater: c or -2/37?
c
Let c be (162/45 + -6)/(2/(-4)). Let d be (-1)/(-1) - (-5)/(-5). Suppose 0 = -p + 6 - d. Which is smaller: p or c?
c
Suppose -735 = -13*t + 20*t. Is t greater than or equal to -105?
True
Let t be -2 - (-15 + (-6)/(-2)). Does 24 = t?
False
Suppose 3*q + 2*k = -q - 12, 2*q = -5*k + 10. Let t be (q/(-15))/(3/(-63)). Which is bigger: t or -56/9?
-56/9
Let z(v) = v**2 - v + 7. Let i be z(4). Let c = i - 19. Is -7 >= c?
False
Let c = -98 + 49. Let m = c + 17. Let p = m + 31.88. Is 1 less than or equal to p?
False
Let y = -37 - -90. Let i = y - 53.1. Is i smaller than 0.2?
True
Let v(x) = x + 7. Let a be v(-2). Suppose j + 7 = -5*w - 0, -3 = 4*j - a*w. Let f = -3/32 + -119/96. Is f at least as big as j?
True
Let r = 1297 - 1299. Is r bigger than -26/45?
False
Suppose -5*j + 471 = 5*q - 89, -4*j + q = -423. Let r = j + -202. Let m = 853/9 + r. Does m = -0.1?
False
Suppose -5*v + 220 = -0*v. Let c = 44 - v. Do c and 1/3 have the same value?
False
Let b be (-33)/(-21) - 2 - 1413/(-63). Which is smaller: 0.3 or b?
0.3
Let l = -84 - -84.014. Let f = l + -0.154. Which is smaller: f or 1?
f
Suppose -52*i = -55*i + 51. Is 20 at least i?
True
Let q be (-2*11/(-4))/(26/(-104)). Is 11 less than or equal to q?
False
Let b be 441/735*20/14. Let j = 0.82 - -0.28. Let m = j - 0.1. Is m equal to b?
False
Let h be (21/(-35))/((-18)/(-15))*2/(-2). Let j = -46.7 - -49. Is h less than j?
True
Suppose -k - 49 = 3*h - 57, -4*h + k = -6. Is h greater than or equal to 1.11?
True
Let t = 123.3 - 55.9. Let y = -66 + t. Is y <= 0.2?
False
Suppose 4*k - 123 = 973. Is k bigger than 275?
False
Let s(a) = 2*a**2 - 3*a + 2. Let z be s(2). Suppose -3*w + z = -2*w - p, -3*w = -4*p - 9. Is w at least 7?
True
Let j = 60 - 56. Suppose y = -4*g - 5, -2*y - 5*g - j = 3. Does y = 1?
False
Suppose -6*l = l - 16*l. Let y = 123 - 364/3. Is y < l?
False
Suppose 4*u - 163*t - 20 = -159*t, -11 = -u + 2*t. Let f be (-2)/(-7) + 663/7. Let q = f - 1233/13. Is u greater than or equal to q?
False
Let h = 9 - 13. Let w be h/(-3)*(4 - 1). Let p be ((-21)/(-20))/(6*(-10)/(-160)). Which is greater: w or p?
w
Let i = -488 - -3405/7. Let o = i + 8/7. Is -1 <= o?
True
Let a be (-18)/(-4) + (20 - (-473)/(-22)). Is 3 not equal to a?
False
Let m = 45397/4 + -11410. Is -60 >= m?
True
Suppose 1 = t - 3. Suppose 35*c - 31*c = 156. Suppose -5*l = t*d + c, -3*l + 2*l + 21 = -d. Is -17 at least as big as d?
False
Suppose 1 = 5*g - 9. Let s = g + 3. Let f = 14/3 - s. Is 0 bigger than f?
True
Let y = -4 - -12. Let u be (48/(-9))/(9/((-135)/10)). Are u and y unequal?
False
Let w be (11 - (-606)/(-54))*-3. Is w at least as big as -186?
True
Let f be (100/50)/(315/(-2)). Is -1 > f?
False
Let h = 3 + -5. Let j be (2/(-7))/((-8)/224). Suppose -j*x + 4 - 12 = 0. Which is smaller: h or x?
h
Let b = -5 - -3. Let j(c) = -6*c - 80. Let r be j(-14). Let d be (-1)/b + (-6)/r. Is 1/4 bigger than d?
True
Let w = -0.8