hich is smaller: 2/19 or k?
2/19
Let r(d) = -d - 2. Let z be r(-6). Suppose z*w - 2 = -10. Which is smaller: -3/5 or w?
w
Let j = -0.05 - -0.06. Let t = 0.05 + j. Is t not equal to -1?
True
Suppose 0*n - 4*n = -3*v + 48, 64 = 4*v - n. Let x = v - 15. Do -1 and x have the same value?
False
Let k = -1 - -0.9. Let j = 0.24 - -13.76. Let i = 10 - j. Is k at most i?
False
Let z be 2/8 + (-236)/(-16). Suppose 5*v = -0*v + z. Suppose 0 = 3*t - 4*y + 11, t - 5*y + 9 + 13 = 0. Is t bigger than v?
False
Suppose 0 = -17*u + 15*u + 24. Is 12 > u?
False
Let d be ((-1)/(-2)*4)/1. Suppose -d*v + 2 = -4. Is 4 at least as big as v?
True
Let u = 7 + -10. Let r = -33 - -34. Let b = r + u. Is 0 < b?
False
Let v = 0.5 + -0.5. Do v and 13 have the same value?
False
Let l(o) = -o - 5. Let v(f) = -5*f - 26. Let x(n) = -11*l(n) + 2*v(n). Let k be x(-7). Is -3 bigger than k?
True
Let z be (1/2)/(5*(-1)/(-10)). Is z greater than 4?
False
Let o be (-5)/10 + -1 + 2. Let p = o + -11/26. Which is smaller: -1 or p?
-1
Suppose 2*b + 9 = -2*v - v, -v = 4*b + 3. Let u = -4 - b. Which is greater: u or -3?
-3
Let c = -155 + 154. Let v = 31 + -31.13. Which is greater: v or c?
v
Let o = -74 - -289/4. Which is smaller: -1 or o?
o
Let q = 11 + -15. Let g(y) = y**2 - 3*y + 4. Let x be g(3). Suppose -j = x - 1. Which is greater: q or j?
j
Let a = -11 + 22. Let c = 12 - a. Is c != 2/21?
True
Suppose 5*t + 8 = -22. Let w be t/(-21) + 60/(-14). Is -5 < w?
True
Suppose -11*w = 2*w + 520. Which is bigger: w or -42?
w
Let p = -7.03 + 7. Let t = -3.03 - p. Is t greater than 0?
False
Let a = 4 + 128. Let z = -1186/9 + a. Which is greater: z or 0?
z
Let u be 7/70 + (-1 - (2 - 3)). Which is greater: -1 or u?
u
Suppose -12*o = -3*o + 54. Are o and -6 unequal?
False
Suppose -a = -4*c + 19, 2*c - 5*a = c. Suppose -x - k + c = -0*k, -5*k + 25 = -x. Is x less than 2?
True
Let n(o) = o + 2. Let l be n(-3). Let z be l*(1 + -2)*-5. Let q be z/(-5)*(1 + -2). Which is smaller: q or 0?
q
Let i(z) = z**3 - 17*z**2 - 19*z + 19. Let q be i(18). Is q <= 2/17?
False
Let q be 1/7 + (-135)/(-35). Suppose -u - q = 28. Let w be u/10 + 3 + 0. Is -2 < w?
True
Let u be ((-12)/16)/((-1)/4). Suppose u*l + 5 = 4*l. Suppose -5*d + b + 1 = -3*b, 5*b - 10 = -l*d. Does 1 = d?
True
Let z = 10 + -10.2. Let a = 0.3 + z. Which is smaller: a or -4/7?
-4/7
Suppose 5*a + 6*j - 2*j - 51 = 0, 27 = a + 5*j. Which is bigger: a or 2?
a
Let v be (2 - 4 - -3)*5. Let g(y) = -y**2 + 4*y + 1. Let t(q) = -q**2 + 4*q + 2. Let z(f) = -5*g(f) + 6*t(f). Let k be z(v). Which is smaller: 1 or k?
1
Let n = -21 + 8. Let a = -9 - n. Is 4 equal to a?
True
Let i be 1 + 1 + 3 + -2. Let m = 0.08 + 0.12. Is m at least i?
False
Let y be -6 - (21/(-9) - -2). Let f = -19/3 - y. Let t = 91/3 + -31. Does f = t?
True
Let r be (-1)/1*(-147)/21. Is r greater than 7?
False
Suppose -2*j + 0*j - 2 = -3*a, 5*j = -a + 12. Suppose -r - 6 = 3*i + 2*r, 0 = i - 3*r + a. Let o = i + 4. Is o not equal to 3?
True
Let y = 0.8 - -4.2. Let l be 4*-1*(-4)/56. Is y > l?
True
Let d be 1 + 1 + (-6 - -3). Let m = 98 - 44. Let o be 0 - (-3)/m*-4. Which is greater: o or d?
o
Let a = 3 - 2.4. Let z = 59.6 - 60. Let m = a - z. Is 1/4 > m?
False
Let s(j) = j**3 - j**2 - j + 1. Let g be s(0). Let v be (-1672)/(-1452) + ((-9)/11 - -1). Are v and g nonequal?
True
Let a be (-49)/(-126) + (-6)/27. Which is smaller: a or 1/3?
a
Let s(u) = -u**2 - 5*u + 3. Let z be s(-6). Let c be (3/2)/(10/(-20)). Is z at most as big as c?
True
Let l = 9 - 9.7. Let n = -0.6 - l. Let y = 0.2 + -0.2. Is y >= n?
False
Let o = -93 + 72. Which is greater: o or -0.3?
-0.3
Suppose 0 = -0*w + 3*w. Which is bigger: w or -1/4?
w
Let w = -3/74 + 117/148. Suppose s - 25 = 4*s - 5*k, -10 = -2*k. Which is greater: w or s?
w
Suppose t = -3*t + 8. Let a be (1/t)/(3/2). Let f = -1 - -1. Is f <= a?
True
Suppose -35 = -5*v + 3*x, -28 = -3*v - v - x. Suppose v = 2*h - 3*h. Let s = h - -8. Is s != 1?
False
Suppose 4*g - 4*r = -28, 0 = -g + 6*g + 2*r + 42. Let o = g + 8. Is 1 at most o?
False
Let g be 2/96*-1*17. Let k = 3/16 + g. Let r = 3.1 + -3. Is r greater than or equal to k?
True
Let x = -108 - -112.9. Let j = -5 + x. Is j greater than 0?
False
Let o = -37/23 - 1093/207. Does -7 = o?
False
Let i = -12 + 19. Let v = -5 + i. Suppose -v + 4 = -2*t. Which is smaller: 1/3 or t?
t
Let a(b) = -b**3 + 7*b**2 - b + 9. Let v be a(6). Suppose -5*d - 4*s = -51, 5*d = -2*s + s + v. Is d less than 6?
False
Let y be ((-2)/(-3))/(20/(-12)). Which is smaller: 0.1 or y?
y
Let z be -10*(-1 + 4)/6. Let w = z - -4. Which is bigger: w or -3?
w
Let o be -1 - (-35 - -2 - 0). Let z be o/10 + (2 - 4). Is 0.1 greater than or equal to z?
False
Suppose 3*m + 13 = -6*s + 2*s, 2*m = 3*s + 14. Let t = -1.8 + 0.8. Which is greater: m or t?
m
Let q = -32 - -32. Is q at least as big as 1/57?
False
Let h = 0.75 + -0.85. Let j = -21 + 13. Is h < j?
False
Let m = -2544150/13 + 195566. Let v = -138 - m. Which is greater: -1 or v?
v
Let i = 2.85 + 0.45. Let u = i + 0.7. Let w(b) = -b - 1. Let t be w(-2). Which is greater: t or u?
u
Let q(p) = -p**3 - 3*p**2 + 1. Suppose 6*u + 15 = u. Let o be q(u). Let g be ((-12)/(-10))/(12/30). Is o greater than g?
False
Let t be 2*(-3)/24*1. Let h = -0.7 + -0.3. Let s = h + 2. Is t < s?
True
Let s(b) = -4*b - 11. Let j be s(-17). Let l be -1 + j/18 + -2. Suppose -3*k = r, -k - 3*r = 4*k. Which is greater: k or l?
l
Suppose -5*m = -6*m - 37. Do m and -36 have different values?
True
Let o = -38/5 + 157/20. Are -1 and o nonequal?
True
Let j(i) = 3*i - 4. Let l(a) = 2*a - 3. Let u(k) = -5*j(k) + 6*l(k). Let g be u(3). Does -8 = g?
False
Let m = -547/6 - -322/3. Let h = m + -33/2. Let y(f) = -f. Let b be y(1). Which is greater: b or h?
h
Let x = -2 - -5. Suppose -v + 6 = 2*u, x*u - 4*u + 5*v + 3 = 0. Let h be 160/(-26) + 3 + u. Do h and 0 have the same value?
False
Let v = 3898 + -70181/18. Let l = 7/9 + v. Let s(f) = f**3 + 7*f**2 - 9*f - 7. Let m be s(-8). Which is bigger: m or l?
m
Suppose n = 5*w - n + 4, 3*w = 4*n - 8. Let j be 0 - (0 + 3/(-1)). Suppose w*b = j*l - b - 8, -4*b - 16 = 4*l. Which is smaller: l or 3?
l
Let x = -3 + 8. Let k = x - 6. Is k not equal to 1?
True
Let a(i) = i**3 - 7*i**2 - 8*i + 5. Let j be a(8). Let p = -5 + j. Suppose 5*c = -4*l - 12, -4*l = 4*c - p*l + 12. Is c not equal to -4/7?
True
Suppose -2*r - 24 = -4*k, 4*k - 9 = 3*k + 2*r. Let i = -6 + k. Let a be (0 + i + 0)*1. Which is smaller: a or -2?
-2
Let c be (9/(-15))/((-1)/5). Let m = 8 + -13. Let h = m - -7. Is c > h?
True
Let m = -2.23 + 1.26. Let a = 0.03 - m. Let s = 0 + 0.2. Is s bigger than a?
False
Let c be (0 - 0/(-4)) + 1. Which is bigger: 1/18 or c?
c
Let d = -7.98 + -0.02. Let b = 7 + d. Let y = 8.02 + -0.02. Which is smaller: b or y?
b
Let m be 2 + (-21)/6 + 2. Let p = 0 + -5. Let t = -4.7 - p. Is m bigger than t?
True
Let q = 85 + -61. Is q greater than or equal to 22?
True
Suppose -5*z = -4*h - 17, -4*z = h + 13 - 35. Let q = -16 - -20. Which is greater: q or h?
q
Let x = 1/115 + 112/345. Which is smaller: 3/2 or x?
x
Let r = 0.098 - 3.998. Let f = r + 4. Let i = f + -0.1. Which is greater: -6 or i?
i
Let h(l) = 3*l - 3. Let b be h(3). Which is greater: b or 5?
b
Let c = -5 + -3. Which is smaller: -12 or c?
-12
Let j be 3*(-2)/(-448)*1. Let h be (1 + 2697/(-2640))/(42/1035). Let a = j - h. Is a less than 0?
False
Let n be -30*(-2)/8*-2. Let g = 12 + n. Which is smaller: -2 or g?
g
Let k = -5645/19 + 297. Let u = 25/57 + k. Let l(t) = -2*t - 1. Let x be l(-1). Which is smaller: u or x?
u
Suppose 10*v - 2 + 12 = 0. Which is smaller: -2 or v?
-2
Suppose -5*c + 10*c = -25. Let s = c - -5. Is s greater than 2?
False
Suppose 0 = i + 4*z - 2, -5*i - 2*z - 7 = z. Let m be 1 + -2 + (-8)/i. Let a be (m/(-16))/((-15)/(-10)). Is a <= 1?
True
Let v be (592/(-71))/(0 + 3). Let h = v + 8/71. Which is greater: -1 or h?
-1
Let x(g) = -g**3 - 9*g**2 - 7*g + 8. Let y be x(-8). Suppose 4 = 3*t + t. Suppose 2*q - 5*p + 21 = 0, y = q + 5*p - 13 + t. Which is bigger: -2 or q?
-2
Let y = 8 + -8.06. Let t = -0.14 + y. Which is greater: 3 or t?
3
Let u be -2 - (3 - 0 - 2). Which is smaller: u or 0.01?
u
Let k = 4 + -3. Suppose -4*r = 2*o + 3 + 5, 2*o = -r + 4. Let i be 30/18*r/10. Is k at least as big as i?
True
Let i(q) = -q - 4. Let t be i(-2). Which is g