7. Is j equal to 34/5?
False
Suppose 7 = 2*i + 3. Let n be (9/126)/(i/(-4)). Which is greater: n or -1?
n
Suppose -v + 2 = 0, -3*y + v = -8*y - 3. Let j = 10 + -10. Let u be (-1 - j)/(-1 + 6). Is u at least y?
True
Let m = 2.5 - -0.5. Let l = -4 + m. Is -1/3 > l?
True
Let g = -0.28 + 1.58. Let d = g - -9.7. Is d at most -2/7?
False
Let x = -0.25 + 4.25. Is x < 1/2?
False
Suppose -5*o = -4 - 6. Suppose -6*t + 12 = -o*t. Let k = t + -4. Is k bigger than -1?
False
Let t = -21 - -20. Which is bigger: -2/21 or t?
-2/21
Let i = 0.5 - -0.5. Let y = 2.07 - 0.07. Let t = y + -3. Which is smaller: t or i?
t
Suppose 0 = x - 1 - 2. Suppose 1 = -y + 5. Let v be -5*(4/x)/y. Is -3 bigger than v?
False
Let y = -10 - -15. Let g = 407 + -410. Is y greater than or equal to g?
True
Let o = -0.41 - -0.01. Which is smaller: o or -1?
-1
Let x be 24/(-9)*(1028/(-496) + 2). Which is smaller: x or -1?
-1
Let s = -5 + 14/3. Which is bigger: s or 19?
19
Suppose 2*m = 3*m. Let w = 13/142 - -1999/2982. Let v = w - 1/84. Is v greater than m?
True
Let w = 1336/5 - 268. Let h = -1 + 2. Let z = -1 - h. Which is smaller: z or w?
z
Suppose 4*c - 7 = 4*v - 7*v, 0 = c + v - 2. Let k = -3 - -7. Which is smaller: c or k?
c
Let r be (((-4)/8)/((-4)/(-8)))/(-1). Is r less than 5?
True
Let j(m) = -m + 8. Let x be j(13). Let u = 10 + x. Are 5 and u nonequal?
False
Let h = 401/4 - 99. Which is smaller: 0.1 or h?
0.1
Suppose -10 = 3*h + 2*x, 3*h - 3*x - 10 = 5. Is h at least 4/5?
False
Let n = -4/6089 + -242196/2076349. Let z = n - 2/31. Suppose 4*c - 2*c = 0. Which is bigger: c or z?
c
Let v = -33.2 + 33. Do v and -1 have different values?
True
Let w be (1 + (-4)/6)*3. Let d = 20/137 - -4324/411. Let h = d - 11. Which is smaller: w or h?
h
Let l be (-4)/((-8)/(-3))*2. Let y be (l/(-5))/((-24)/(-21)). Let r = y + -1/8. Which is smaller: r or 0.2?
0.2
Let z be 8/(-20) - (3 + (-3754)/1110). Which is smaller: 0 or z?
z
Let o be (-10)/(-4) - 8/(-16). Suppose 4*b = 5*n + 1, o*b = -2*n + 4*n - 1. Are -2/29 and n unequal?
True
Suppose -3*k - 4 + 7 = 0. Which is smaller: k or 1/39?
1/39
Let z(v) = -v**3 + 6*v**2 - v + 8. Let t be z(6). Let n be (t + -1 - 1)/2. Suppose -2*g + 3*g = 0. Do g and n have the same value?
True
Let w be 1 - ((-483)/243 - -3). Let t = w - -89/648. Which is smaller: 1 or t?
t
Let o = 3 - 3. Which is smaller: -1/51 or o?
-1/51
Let c(m) = m**3 + 1. Let s be c(-1). Are s and 0 unequal?
False
Let l be (1/(-2))/(5/(-80)). Let o be (-10)/l*10/25. Suppose 4*i - 7 = -2*a + 15, 5*a + 4*i - 25 = 0. Which is smaller: a or o?
o
Let m = -0.03 + -5.97. Let n = 7 + m. Which is smaller: n or -1?
-1
Let o = 2 + -4. Is -2 less than or equal to o?
True
Suppose 3*h - 16 = 2. Let j(m) = m**2 - 6*m - 2. Let q be j(h). Suppose 5*t = 2*o + 4 - 13, -t + 3*o - 7 = 0. Is q bigger than t?
False
Suppose -k = k + g - 7, 5*g = 5. Let m(r) = -r**3 + 2*r**2 + 5*r - 4. Let x be m(k). Suppose -4*c + 18 = x. Which is greater: 5 or c?
5
Let i(b) = -b + 10. Let s be i(6). Suppose 0 = 3*c - s - 5. Let h = 2 + 1. Is c less than or equal to h?
True
Let j = 9 + 0. Let k(c) = -c**3 + 9*c**2 + c - 10. Let h be k(j). Which is smaller: -4/19 or h?
h
Let i be 4*1 - (-1 - -3). Let q be 2 + i + -3 + 2. Is 3 greater than or equal to q?
True
Let z = -405 - -6887/17. Which is smaller: -1 or z?
-1
Let d = -9 - 18. Are d and -27 equal?
True
Let h = 153 + -153. Let x = -2/25279 + -7558309/1415624. Let j = 45/8 + x. Which is smaller: j or h?
h
Suppose -94 + 24 = -7*n. Is n > 12?
False
Suppose -u - l = 4, 4*u - 3*l + 0*l = 12. Suppose 0*x - 3*x = 3. Let z = u + x. Is -2 at most z?
True
Let m be 8*(1/(-2) - -2). Let w be 2/1*m/24. Is w at least as big as -2/13?
True
Suppose p + 4*p - 35 = 2*w, 0 = -5*p + 5. Which is smaller: -16 or w?
-16
Let j = 56 + -56. Is 7/6 less than j?
False
Suppose 5*u - 3*j = -47, -7*j - 13 = 3*u - 5*j. Is u > -4?
False
Suppose 24 = -4*r + r. Let d be 7 + r - (1 - 2). Which is bigger: d or 1/10?
1/10
Let r = 0.1 + -0.3. Let x = 0.2 + r. Let n = 25 + -25. Is x equal to n?
True
Let u = -0.392 + -0.058. Is 1 at most as big as u?
False
Suppose 0 = 4*n + 4, -n - 3 = -2*j + 4. Let m = j + -8. Suppose q = 3*i - 2, 3*i - 3 = -6. Is q at most as big as m?
True
Suppose 4*s + 8 = 2*l, 4*l = -s - 2*s + 16. Is -5/6 < s?
True
Let y be 2/(-3) + (-3856)/660. Let i = y - -33/5. Which is smaller: i or 2/3?
i
Suppose 2*f = -0*f. Which is smaller: 0.08 or f?
f
Let x be (-16)/(-126) - 6/27. Which is smaller: -1 or x?
-1
Suppose 0*r - 3*r + 18 = 0. Let w = 10 + -17. Let k = w + r. Which is bigger: -2/17 or k?
-2/17
Let c = -1240/657 + -1/657. Is -3 at most as big as c?
True
Let d be (1/3)/(44/(-6372)). Let v = -48 - d. Which is smaller: v or 0?
0
Let t = -21 + 25. Suppose 3 = 4*w - 5, 0 = -3*x - t*w + 17. Do x and 2/7 have the same value?
False
Let o = -4.8 + 6. Let x = -0.2 + o. Let v = -0.2 + -0.8. Which is smaller: x or v?
v
Let j be (-1)/(-6) + (-1629)/54. Let n be 2/2 + 22/j. Is 1 >= n?
True
Let a be 0/(-13) - (-2)/16*-1. Let s = -3 + 5. Suppose -s*v + 1 = 3. Which is bigger: a or v?
a
Suppose -11 = -c + 4*t, c + 2*t - 4*t - 1 = 0. Which is smaller: -7 or c?
c
Let g be 1/(-4) - (-105)/20. Suppose 4*x - 12 = 2*n - n, g*x - 15 = -5*n. Is -1/9 at least n?
False
Suppose 6*o + 4 = 7*o. Which is bigger: o or 2?
o
Let h be (-6)/(-2) - 6/3. Let x = -4275/11 - -389. Is h at least x?
True
Let t = 2 - 4. Is 0 less than t?
False
Let w = 0.04 - 0.04. Is w at most as big as 9?
True
Let c = -95 - -127. Are 32 and c unequal?
False
Let r(k) = -k**2 + 3*k - 3. Let b be r(2). Which is bigger: b or -3/8?
-3/8
Let m be 1*(1 + 0) - 1. Suppose -3*n - 2*n = m. Let k(l) = -l - 16. Let y be k(-17). Which is greater: n or y?
y
Let x(y) = y**2 - 2*y - 4. Let s be x(3). Which is smaller: s or 1?
s
Suppose 4*s + 6 = 22. Let i be 3 + -1 + s/(-6). Which is smaller: i or 1?
1
Let r(m) = -m**2 + 6*m + 13. Let b be r(7). Is b equal to -0.3?
False
Suppose 2*m + 150 = 26. Does -61 = m?
False
Let b(j) = j**3 + 3*j**2 + 2*j + 4. Let d be b(-3). Let o be 32/30 + d/3. Suppose -n + 1 = 3*r, 0 = 4*r + 3*n + 1 + 1. Are o and r unequal?
True
Let o = -22.28 - -0.28. Let m = 22 + o. Are -1/3 and m equal?
False
Let a = 11/24 + -1/8. Suppose m + 0*m = 0. Suppose m = -r - 4*r. Is r less than or equal to a?
True
Let o = 3918 + -15867/4. Let b = o + 49. Suppose 5*d + 15 = -0*d, 0 = 2*l - 2*d - 6. Which is smaller: l or b?
l
Let m = -6.15 - -6. Which is greater: -3 or m?
m
Let p be (4/3 - 1)/(-1). Suppose 24 = 5*j - 16. Which is smaller: j or p?
p
Let h = -4 + 7. Suppose -2*c + 0*c + 7 = 5*w, -4*w + c = -h. Let f = -1/14 - 11/42. Which is smaller: f or w?
f
Suppose -6*z - 4*n - 8 = -2*z, -5*z + 30 = -3*n. Let j = z + 5. Suppose 6*f = 2*f - j. Which is bigger: 2/9 or f?
2/9
Let j(w) be the third derivative of -w**6/120 - w**5/15 + w**4/6 - 7*w**3/6 - 2*w**2. Suppose 5 = 3*x - 4*x. Let p be j(x). Are -2 and p equal?
True
Suppose 5*s = -2*q - 14, -4*q = -q - 3*s - 21. Let i be q + (-64)/13 + 2. Which is smaller: 0 or i?
0
Let o be (1 - (-15)/(-3)) + -1. Suppose -2*w - 2*t = -0 + 2, 17 = -w - 5*t. Suppose 0 = z + w + 1. Which is bigger: z or o?
z
Let o = -14 + 8. Let c be 7/14 + 5/o. Is 0 at least c?
True
Suppose -3*x + 5*k + 7 = -15, x = 5*k + 24. Is -1/47 greater than x?
True
Let m = -0.41 - -0.01. Let l = m + 0.5. Let j be -1*1 + 4/10. Which is smaller: j or l?
j
Let t be (-3)/(-42) + (-1 - -1). Let r = t + 121/70. Which is smaller: r or 2?
r
Let v be (68/(-10))/(20/(-25) + 1). Does v = -0.1?
False
Let u be -16*((-6)/(-4) + -1). Let x = 15 + -22. Are x and u nonequal?
True
Suppose -2*r = 6, -2*r - 8 = 2*x + 32. Which is greater: x or -31/2?
-31/2
Suppose 0 = 2*o - 0*o - 2. Which is bigger: o or -6/13?
o
Suppose 6*s - 3 = 5*s. Which is smaller: 29/7 or s?
s
Suppose 4*g - g - 6 = 0. Suppose 7*p - 3*p = 0. Suppose p = 2*m - 0 - 6. Is g less than m?
True
Let j be 3 - 3/(-1 - 0). Suppose j*b - 9*b + 9 = 0. Is 2 at least b?
False
Let w = -11090/3 - -3737. Let o = 41 - w. Which is greater: o or 2?
2
Let x(w) = -22*w**2 + 6*w + 8. Let m be x(-2). Which is greater: -93 or m?
m
Let k be 23/7 + 4/(-14). Suppose -2*o + k*q = o + 3, 0 = -5*o - 4*q + 4. Is -1 <= o?
True
Suppose 7 = m - 7*p + 3*p, 4*m = -3*p + 28. Let n be (-12)/m + 2 + 0. Let o(b) = -b**3 + b. Let r be o(0). Are n a