 Do 2 and d have the same value?
False
Let v be 22/(-5) - 2/(-5). Let x be (-6)/v + (-3)/(-6). Do x and 5 have the same value?
False
Let h be 6/(-14)*21/12. Are 0 and h equal?
False
Let n = -72 - -70. Is n at least -3/5?
False
Let l = -3 + 4. Suppose c = -0*c + l. Let x be 10/(-4)*c/(-5). Is x bigger than -0.2?
True
Suppose p - 2*h - 11 = 0, 2*p - 16 = -5*h + 6. Suppose -4 = -5*m + p. Are 2 and m equal?
False
Let b be (4/(-3))/(5/(-15)). Let m be b/(-18) + (-76)/(-18). Is m >= 5?
False
Suppose 1 = -5*a - 2*b + 5*b, -4*a - 3*b - 17 = 0. Is -4/7 at most as big as a?
False
Let r be 145/70 + (1 - 0). Let l = 11/7 - r. Is l < 1?
True
Let h(v) = -v**2 - 2*v + 9. Let c be h(-4). Which is greater: -1/34 or c?
c
Let v = -4 - -4. Let b be (-1 - (-2)/4) + 5/(-30). Is v less than b?
False
Let h = -7142/527 - -226/17. Is 1 greater than h?
True
Let x be 20/(-11) - (-12)/6. Suppose 3*s + 2*s + n + 5 = 0, s = n + 5. Which is greater: s or x?
x
Let g = -0.22 + 0.2. Let k = -1445.9 + 1446. Is k smaller than g?
False
Let b(j) = -15*j**2 - 15*j + 9. Let p(v) = 7*v**2 + 7*v - 4. Let q(h) = 6*b(h) + 13*p(h). Let m be q(0). Let u be (-5)/(-35) + 32/70. Which is bigger: m or u?
m
Let y(u) = u - 2. Let k be y(2). Suppose -13 = j - 3*f, -4*j - 2*f + 13 = -f. Are j and k nonequal?
True
Let i = 61 + -42. Which is smaller: i or 1?
1
Suppose -3*d = 2*d + 3*w + 2, 5*d + 2*w + 3 = 0. Let s = -1 + 1. Which is smaller: s or d?
d
Suppose -109 + 108 = -d. Is d greater than 18/11?
False
Let n(a) = -3*a + 1 - 3 + 2*a. Let u be n(0). Let k be 3 - u/(-3) - 1. Which is smaller: 1 or k?
1
Let s be (6/15)/(2/10). Suppose s*w = -0*w + 8. Are 5 and w non-equal?
True
Let k = 167 - 175. Is k >= -6?
False
Let v = 0.2 - -2.8. Suppose -6 = -8*o + 2. Which is bigger: o or v?
v
Let n(m) = -2*m**3 + 1. Let q be n(1). Let d be 10/(-4) + -1 + 2. Which is greater: d or q?
q
Let o = -2 - -1. Let m be 6/(-12) + 281/18. Let v = 925/63 - m. Is o less than v?
True
Suppose -3*a = -8*a, 0 = -3*h - 3*a. Let w(c) = -c**2 - c + 2. Let y be w(h). Let o be -11*1/(-7) + -1. Which is smaller: y or o?
o
Let s be (-2 - (-3 - 2)) + 358/(-118). Which is smaller: s or 0?
s
Suppose -3*v + 4 = 7. Do v and -4/9 have different values?
True
Let h = 1052 - 51546/49. Let n = h + 88/245. Do n and -1 have the same value?
False
Let m = -7 + 7. Let f be m + -1 - (-4)/3. Is 0 <= f?
True
Let u = 52 + 27. Let a = u + -78.03. Let l = 0.03 + a. Which is smaller: -1/4 or l?
-1/4
Let s = -31.17 - -31. Let h = s - -0.2. Let u = h + 0.27. Which is bigger: u or 1?
1
Suppose -2*n = -0*n - 3*b + 17, -10 = 4*n + 2*b. Suppose 3 + 2 = -5*j + 4*y, 0 = j + 2*y - 13. Let z = n + j. Which is bigger: z or -3/4?
-3/4
Let y = -19.3 + 12.4. Let j = -7 - y. Let g = -0.04 + -1.96. Which is smaller: g or j?
g
Let a = -2.58 - 1.22. Is a less than 2?
True
Suppose 4*n - 16 = 4. Suppose 0*i + n*i = -3*a - 6, -18 = -3*a + 3*i. Suppose 0 = 3*k - m - 3*m + 10, -11 = a*k - 5*m. Is k bigger than -2?
False
Let a = -9 - -13. Let i = -6 + a. Which is smaller: -1 or i?
i
Let h be (-1)/5 - 213/(-15). Suppose 2*x - h = -4. Suppose x = 9*w - 10*w. Are -6 and w unequal?
True
Let z = -14/13 - -517/468. Which is greater: z or 1?
1
Let i(y) = y**2 + 6*y - 1. Let g be i(-6). Suppose 14*s = 7*s - 21. Which is smaller: s or g?
s
Suppose 3*v + 6 = t, -4*v = -3*t - 1 + 9. Let b be t + 0 - (-1 + 2). Let r be -3 - (0 + b - 2). Which is bigger: r or 1?
1
Let z be 1/4 - 1197/36. Is z greater than or equal to -34?
True
Let o(x) = -2*x**3 - 7*x**2 - 4*x - 4. Let z be -9*(-2 + 28/12). Let w be o(z). Which is smaller: 6 or w?
w
Let m = 653/40 + -81/5. Suppose 13 = -2*j + 3*h, 4*j - 6 = -h + 3. Do j and m have different values?
True
Let m be ((-4)/(-2))/(1/2). Suppose -d = m*s + 4, 3*d - d - s + 8 = 0. Let z be ((-6)/d)/(-5 - -6). Which is bigger: 3 or z?
3
Let p = 428/3 - 136. Does p = 8?
False
Suppose 1 = -2*q - 3. Let k = -1 - q. Let z be 50/88 - 2/(-11). Which is smaller: z or k?
z
Let o be 6/(-6)*2/8. Let d(m) = -m**2 - 9*m - 8. Let s be d(-8). Which is smaller: s or o?
o
Let g = -20 + 19. Which is greater: g or -3/5?
-3/5
Let d(k) = -k**2 + 26*k - 3. Let a be d(25). Which is smaller: 23 or a?
a
Let i = -2173345820/16461 + 132030. Let a = i + 1014815/460908. Let s = a - 16/7. Which is bigger: 1 or s?
1
Let f be 1*7 - 3/1. Suppose 0 = -3*p - b - 4, 5*b = f*p - 1 - 0. Is 1/9 < p?
False
Let i = -4/65 - 86/715. Which is smaller: i or 0?
i
Let x = -39.4 - -40. Let b = 13 + -11. Which is greater: b or x?
b
Suppose 0 = 4*n + 2*b + 122, 2*b = n + 21 + 12. Which is greater: 0.1 or n?
0.1
Let v = 49820966/31 + -1606397. Let n = 731 - v. Which is greater: 1 or n?
1
Let x = 12.4 - -4.7. Let j = -17 + x. Which is smaller: -1/2 or j?
-1/2
Suppose 0*y = 2*y. Which is greater: y or -5?
y
Let y be ((-4)/5)/(2/(-5)). Let i = y - 1. Let a = 0.2 - 0.1. Which is smaller: a or i?
a
Let o = -5 - -2. Let z be (o/(-2))/((-8)/4). Suppose -3*w - 6 = -2*s, -7*w + 3*w + 5*s = 15. Is z at least as big as w?
False
Let o(y) = y**3 - y**2 + y - 10. Let c be o(0). Let f be 12/c*(-2)/(-4). Which is greater: -2 or f?
f
Let g = -73 - -149/2. Is -2 greater than g?
False
Let t = 2 + 4. Suppose -2*x = x + t. Which is bigger: 1/3 or x?
1/3
Let y(t) = -t + 9. Let h be y(8). Which is bigger: h or 1/4?
h
Let h = -160 - -2082/13. Which is bigger: 0 or h?
h
Let w(l) = -l - 2. Let y = -4 + 4. Let v be w(y). Which is bigger: -5/3 or v?
-5/3
Let t = -85/3 - -28. Which is smaller: -2/7 or t?
t
Suppose 11 = 3*b - 2*g - 0, 3*b = 4*g + 19. Is b smaller than -1/8?
False
Let u = -4 - 13. Let p = 17.1 + u. Which is bigger: 2 or p?
2
Let d be (-34)/(-2) + (-1)/1. Suppose -2*h = -4*n - d, -h - 2*n = 2 + 6. Is -4 bigger than h?
False
Suppose -k + 2*k = -8. Is -8 > k?
False
Let g = -30 - -29. Is 6/23 less than g?
False
Let o = -88452/11 + 9286118/1155. Let l = -6/35 + o. Suppose -6*u = -u + 10. Is u <= l?
True
Let m be (-11)/11 - 14/(-10). Let n be -1 + 1 + 1/(-1). Is n > m?
False
Let v = 109 - 58. Suppose 5*b - v = 2*b. Is -1 at least b?
False
Let w be (3 + 0 - -5)/(-1). Let x be (2/(-5))/(16/300). Which is smaller: x or w?
w
Let j = 26 + -29. Which is smaller: j or 0.1?
j
Let y = -5 + 4. Let k be -2 - (-2 - 1*-2). Let j be 12/(-27)*(-1)/k. Are y and j unequal?
True
Let a(p) = p**2 + 10*p - 6. Let o(w) = w**2 + 10*w - 5. Let y(f) = 5*a(f) - 6*o(f). Let v be y(-10). Which is bigger: v or 12?
12
Let t(m) be the second derivative of m**5/20 + 2*m**4/3 + 4*m**3/3 + 3*m**2 + 6*m. Let a be t(-7). Is a less than or equal to 6/13?
True
Suppose -x = -4*x - 3. Let c be (-1 + (1 - x))*3. Suppose 0*k = -c*k + 6. Which is smaller: k or 3?
k
Let u be (-4)/22 + ((-72)/88 - -1). Is 2/147 at most u?
False
Let c = 35.9 - 36. Are 0.02 and c equal?
False
Let i = 0.06 + -0.06. Let f(o) = o**3 + 6*o**2 + 5*o + 2. Let h be f(-5). Let b be h*(-2)/((-12)/2). Is b at least as big as i?
True
Suppose -5*a + 10 - 40 = 0. Let z = a - -5. Let d = 513/5 - 103. Which is greater: z or d?
d
Let m = -50 - -36. Is m equal to -14?
True
Let t(m) = -m**3 - m**2 + 4*m + 5. Let c(p) = -p**3 + 5*p + 6. Let a(v) = -4*c(v) + 5*t(v). Let u be a(-4). Let y be (2/(-6))/(1/u). Are 6 and y non-equal?
True
Let u be 3*-1*(-1 + 0). Suppose -3*j = 4*m + 5, -u*j = -3*m - 4*j. Let o be ((-1)/2)/((-5)/4). Are m and o nonequal?
True
Let g = 18 + -18. Which is greater: g or 1/24?
1/24
Let d = 5 - 11. Is -4 <= d?
False
Let j = -0.36 + -2.64. Is j at most as big as -6?
False
Let p = 78 + -66. Is p greater than 12?
False
Suppose 2*k - 1 = -4*z + z, 0 = -5*z + k + 6. Let a(o) = -o**2 - o + 2. Let j be a(-5). Let x be -2*(1 + 21/j). Is x not equal to z?
True
Let y = -27 + 26. Does y = 2/61?
False
Let g = 121433/262 - 927/2. Which is smaller: g or 1?
g
Let j = -0.1 + 0. Let f = 13.1 + -13. Is j bigger than f?
False
Let s(l) = -15*l**2 + 1. Let c be s(1). Are -14 and c unequal?
False
Suppose -y - 24 = y. Let k be (-1)/(-4) - 21/y. Let r(z) = 2*z**3 + z**2 + z - 1. Let u be r(1). Are k and u unequal?
True
Let k = 12/11 - 157/154. Is k > 0?
True
Let y = -1.6 - -1.6. Suppose -2 = 2*f, 5*n - 2 = 3*f - 14. Are y and n non-equal?
True
Let o be 260/22 - 2/(-11). Is 14 greater than o?
True
Let m = -6.06 + 0.06. Let v = -2 - m. Which is greater: 0 or v?
v
Let p = -12/53 - -243/371. Which is bigger: 2/5 or p?