2 + 2*k - 1. Let m be p(1). Do u and m have different values?
True
Let f = 2/5 + 11/10. Which is greater: 2/3 or f?
f
Suppose -27 = -i + 4*i. Let q be 6/i - 0/2. Is q equal to -2/3?
True
Suppose 0 = -x - 4*n + 25, -4*x = -0*n + 4*n - 40. Suppose i = x*i. Let r be 3/(-8) + 0 + 0. Is i > r?
True
Suppose -2*n = -6*n + 16. Let l = -1 + n. Suppose 0 = -u + g - 6, -5*g = -l*u + 3 - 29. Are u and -2 non-equal?
False
Let h = -3 + 4. Let b(c) = c**3 + c**2 - c + 1. Let v be b(h). Suppose -5*t - 20 = -v*i, 3*i - 2*t - 8 = 2*i. Which is smaller: i or -1?
-1
Suppose 17 = 3*h + 2. Suppose h*y + 7 + 3 = 0. Let r(d) = d**2 - 6*d + 3. Let s be r(5). Is y not equal to s?
False
Suppose 0 = 3*v, w - 6 = -2*w - 3*v. Let f be (4/5)/(w/5). Let x = 8 - 5. Is x at least as big as f?
True
Let t = 9 - -1. Suppose 15 + t = 5*h. Suppose -f + 6*f = -h. Is 0 >= f?
True
Let t(f) = 7*f**3 + 1. Let o be t(1). Suppose -o*b = -4*b - 1304. Let y = b + -14672/45. Which is bigger: y or -1?
y
Let x = 71/12 + -25/4. Let s = -0.09 + 0.39. Is s smaller than x?
False
Let j = -25 - -39. Suppose 4*x + j = 5*l, 0*x - 3*l + 4 = 2*x. Is x != 3/8?
True
Suppose -i = -3*w - 17, -4*w - i - 7 = -w. Let t(q) = q**3 - 18*q**2 + q - 21. Let a be t(18). Is w greater than a?
False
Let h be ((-334)/(-10) - -1) + 12/20. Is -0.1 < h?
True
Suppose -4*a + 2 + 30 = 0. Is 7 smaller than a?
True
Let h = -18 + 12. Let a = 4 + h. Let f = -279/5 + 56. Which is greater: a or f?
f
Let o(r) = -3*r - 24. Let h be o(-7). Is 5 at least as big as h?
True
Let u be (-312)/(-54) + 2/9. Let i be ((-1)/u)/((-9)/6). Is -1 > i?
False
Let b be (1/(-6))/(-1)*(39 + -1). Which is smaller: 6 or b?
6
Let m = 22 + -12. Let h = 0.14 - 0.04. Which is greater: h or m?
m
Let w be (0 - 3) + 1050/348. Which is smaller: -1 or w?
-1
Let k(w) = w**3 + 5*w**2 - 7*w - 5. Let z be k(-6). Which is smaller: 3/37 or z?
3/37
Let s = 103/1271 - 1/31. Is s less than -1?
False
Let k = -58/825 + 1/25. Is 1 not equal to k?
True
Suppose 6*o + o + 28 = 0. Do -4 and o have different values?
False
Let h(j) = -j**2 + 2*j + 7. Let x be h(4). Suppose -i = 2 - 0. Is x greater than or equal to i?
True
Let k be 2 - -1 - (1 - 1). Let t be (-2)/k + 32/84. Is t > 3?
False
Let k(j) = j**3 - 8*j**2 - 8*j. Let m be k(9). Is m at least as big as 8?
True
Let s = 124/3 + -40. Let o be (0/(-1 + 2))/1. Is s < o?
False
Suppose 0 = 4*m - 20, -o + 4*m - 11 = 3*m. Let r be 4/o + (-22)/(-6). Suppose r*i - 4*i + 2 = 0. Which is greater: i or 1?
i
Let o = -26 - 88. Let l = o + 461/4. Let k = 30 + -29. Is l at most k?
False
Let w = -163931691643/5833 - -28104181. Let r = -12395326/6620455 - w. Let i = 2/227 + r. Is i > -2?
True
Suppose 0*b + 4 = 4*b. Is 3/35 smaller than b?
True
Let t(i) = -i**2 - 6*i - 3. Let a be t(-2). Suppose 2 = c + 4*k - 18, a = k. Let f = -1 + c. Which is greater: f or 0?
0
Suppose -3 = -2*j - 1, -2*k = j + 1. Let a be (k - (1 - 2))/(-2). Is a smaller than 0?
False
Let y be -1 + 1 + 0 + -1. Let k be (-48)/(-6) - (1 + 1). Let s = k - 11. Which is greater: y or s?
y
Let u = 14/3 - 37/8. Suppose 0 = -10*r + 2*r + 8. Are r and u unequal?
True
Suppose 3*s = 2*u - 0*s + 207, 2*u = -3*s - 237. Let n = -773/7 - u. Let p(h) = -h**2 + 1. Let c be p(1). Are c and n nonequal?
True
Let f = -93 + 559/6. Let g = -1.9 - 0.1. Is g > f?
False
Let p = 1.08 - 0.08. Which is greater: 6 or p?
6
Let s be -3 - 6/(-4 + 2). Which is smaller: s or 6?
s
Suppose 2*l - 5*l + 3 = 0. Let c(h) = -h**3 + 10*h**2 - 8*h - 7. Suppose 3*b = -2*v - 2 + 37, 0 = b + 3*v - 21. Let o be c(b). Which is bigger: l or o?
o
Let n be (1 + 0)/(-44)*(-56)/35. Is 1 less than n?
False
Let t = 2/9397 - 14452604/84573. Let l = t - -93872/549. Let s = l + -332/2135. Is s not equal to -1?
True
Let d = -2.47 + 5.41. Let y = 0.06 + d. Let b = y - 2.9. Is -2/9 > b?
False
Let o = -0.25 + 0.18. Let b = o + 0.17. Let d be 5/(-3) - (-2)/3. Which is greater: d or b?
b
Let r be 3 + 1/(-1) - 17. Let w be 6/4*r/(-9). Let g = 21 + -19. Which is smaller: w or g?
g
Let h(p) = 2*p - 1. Let v be h(9). Is 17 less than or equal to v?
True
Suppose 4*j - 2*j = 3*i + 34, -j = 4*i - 6. Let x = j - 21. Is x at least -7?
True
Let j be 4/(-10) - 856/(-40). Let z = j - 13. Is 8 > z?
False
Suppose -c + 1 = -5*k, -4*k + 4*c + 2 = 6. Let x = k + 0. Suppose u + 4 - 5 = x. Which is greater: u or -2/5?
u
Let c = -34 + 13. Let t = 18 + c. Which is smaller: t or 1?
t
Let m be 7/4 + (-6)/8. Suppose 1 = -2*y - m. Let b = -1/7 + -4/21. Is b at most y?
False
Let s be (-2)/9 - 2/(-9). Let u be 36/(-45) - 9/(-5). Let m be (-3 + s + 3)/u. Is m greater than 0?
False
Suppose -4*w - 14 = 2*t, 3*t + 14 + 3 = -2*w. Do -4 and w have different values?
True
Let k = -48/1289 - 653283/6445. Let q = k - -207/2. Let c = q + -127/70. Which is bigger: -2/7 or c?
c
Let v be 7/(-2)*(-4)/(-6)*-3. Suppose 0*z + 3*z = 27. Is z equal to v?
False
Let o = -0.084 - 0.216. Is 13 at least o?
True
Suppose 0 = 3*n - n - 28. Let y = n + -8. Suppose -3*s - 3*a = -24, 2*s - 27 + 5 = -4*a. Which is smaller: s or y?
s
Let c = -3.9 - -0.9. Which is greater: c or -1/5?
-1/5
Let d = 1.22 + -1.17. Is 0 at most d?
True
Suppose 0*s = -2*s - 4. Is s < -3?
False
Suppose 0 = -2*r - 1 - 1. Let j(s) = 2*s**3 - s**2. Let d be j(1). Which is smaller: d or r?
r
Suppose 3*m = k + 23 + 14, -4*m + 51 = -k. Is m at least 15?
False
Let u be (2/(-28))/((-12)/(-48)). Is u greater than 0.36?
False
Suppose 0 = -d - 4*k + 7, -2*d - k - 2*k + 14 = 0. Is 4 at most d?
True
Let n(r) = 6*r - 4*r - 2 + 1 + r**2 - 1. Let s be n(-3). Which is greater: s or -2/13?
s
Let r = 2.66 + 23.44. Let w = r - 28. Let t = -2 - w. Which is smaller: -2/5 or t?
-2/5
Let g = -33.7 + 32. Let l = -2 - g. Let v = 1 - 0. Which is smaller: l or v?
l
Let d be (-160)/(-50) - 3/((-2)/(-2)). Is 0.8 greater than or equal to d?
True
Let t be 8/(-6)*102/(-4). Let m be t/66 + (8 - 9). Let z = m - -562/1023. Which is smaller: 0 or z?
0
Suppose 5*t + 33 = 2*i - 0*t, -4*t = 20. Let n be (-1)/(i/12 - 0). Is -4 at least n?
False
Let z be -3 + 4 - (-116)/3. Let x = 40 - z. Which is greater: 0.3 or x?
x
Let c = -2.16 - -0.16. Which is greater: 4 or c?
4
Let d(n) = n**3 - 5*n**2 + 5*n - 3. Let x be d(4). Which is bigger: -2/151 or x?
x
Let p be 123/(-254) - (-3)/6. Does -1 = p?
False
Suppose 0 = -i - h + 6, -7 = -i - 3*h + 7. Suppose -4*o + 22 = -i*s, -o - o + 2*s = -14. Let m = o - 3. Which is smaller: m or 0?
0
Let f = 11 - 4. Let c = -4 + f. Let b = 21/4 + -15/4. Is c less than or equal to b?
False
Suppose 4 = 3*m + 1. Let v = -10 + 5. Let y = v + 7. Which is greater: y or m?
y
Let m = 23 + -25. Which is greater: m or -4?
m
Let p = 42.2 - 47. Let n = 5 + p. Do n and 3/8 have the same value?
False
Let p be (3/(-3))/(-3 - -2). Is p at least as big as -2/33?
True
Let y = -7 + 12. Let a = 3 - y. Is -2 at most a?
True
Let u = 23 - 23.03. Is 1 greater than or equal to u?
True
Suppose 7*i - 3*i = -4*z - 8, 2*z = -3*i - 11. Let y be 1/i - (-8)/(-42). Which is smaller: y or 0?
y
Suppose 1539 = -3*b + 3*a, 0 = 3*b - 5*a - 157 + 1694. Let v = -6679/13 - b. Does -1 = v?
False
Let w(b) = -b**2 + 8*b - 2. Let r be w(6). Is r >= 10?
True
Let z = -0.1 + 0.1. Let t = -6 - -6. Let b = t + z. Is b < 2?
True
Suppose -28 - 5 = 3*j. Is j < -19/2?
True
Let o = -9 - -30. Is 2/7 bigger than o?
False
Let r = 12 + -11.17. Let k = 0.17 + r. Which is greater: k or -0.3?
k
Let c = 2396 - 265958/111. Which is smaller: c or 1?
c
Suppose 4*r = 2*r + 24. Let c = 18 - r. Let w be (1 + 1)/(2 + c). Which is smaller: 1 or w?
w
Let z = -53 - -54. Which is bigger: z or -4/27?
z
Suppose -5*p - 4953 - 6007 = 0. Let f be (2 - p/(-882))*3. Let l = -6/49 - f. Which is bigger: 0 or l?
l
Let c = -413/130 - -40/13. Which is greater: c or -3/2?
c
Let k be 0 - -1 - (-208)/(-176). Which is bigger: 0 or k?
0
Let d be (-27)/45 - (-47)/95. Is d equal to 0?
False
Let g = 0.02 - -0.03. Let x = -0.05 - g. Is x < 0?
True
Suppose -3*c = 5*f + 27 - 2, 3*f + 47 = -5*c. Which is smaller: c or -3?
c
Let j = 13.7 - 14. Let t = 1/12 + 7/12. Are t and j unequal?
True
Let x be 20/3 - 16/24. Suppose 0*j = -x*j + 6. Is 6/13 at least as big as j?
False
Let v be (30/(-35))/(2/14). Let b(f) = f**3 - 5*f**2 - 7*f. Let n be b(6). Does n = v?
True
Let f(b) = -2*b + 6. Let g be f(3). Which is bigger: -2/55 or g?
g
Let 