c*m - 14 = 11. Is j less than p?
False
Let r = -5 + 6. Suppose c - 1 + 5 = 0. Let s be 6/c*(-4)/(-14). Do s and r have different values?
True
Suppose -3*f - 8 = 2*l, 4*l + f - 20 = 4*f. Which is smaller: l or 0.1?
0.1
Let f be 10/5 - 3/9. Which is bigger: f or 1?
f
Suppose 0 = -2*j + 2*b + 10, 2*j - 4*b + 3 - 15 = 0. Suppose j*n + 0 = 5*r + 12, -r - 6 = n. Let k = -10 + 6. Is r not equal to k?
False
Let g(v) = v**3 + 7*v**2 + 8*v + 8. Let x be g(-6). Suppose 0*l = 3*l + 6. Is l < x?
False
Let v be ((-477)/6)/(-1 - -31). Let n = -12/5 - v. Let w = 0.15 + 3.85. Is n > w?
False
Let i be 20/15 - (-3)/(-9). Is 13 greater than or equal to i?
True
Let x = -29 - -27. Do 7 and x have different values?
True
Let d be (-484)/(-372) + (-12)/9. Is d <= 0?
True
Let w be 2 - (1 - 9) - 2. Let x be (-292)/(-16) + (-2)/w. Let i be 4*(-1)/x*3. Do -2 and i have the same value?
False
Suppose -5*x - 23 = -3*f, 3*x = 3*f - 10 - 5. Suppose 8 = -0*r + 4*r. Which is smaller: r or f?
f
Suppose -6 - 4 = -5*z. Which is smaller: 3 or z?
z
Let y be ((-2)/159)/((-7)/(-21)). Let k = 61/212 + y. Which is greater: k or 2?
2
Let q be (-2 + 2 + 1)*2. Let x be 2/(-22)*q*-1. Is x greater than -1?
True
Let t = -0.927 + -0.133. Let x = -0.06 - t. Is -8 less than or equal to x?
True
Suppose -6 + 2 = -4*r. Which is greater: 3/11 or r?
r
Let b = -6 - -6.8. Let m = -3.8 + b. Let p = 0 + -0.1. Which is smaller: m or p?
m
Let u = 1 - 5. Let l be (10/u)/(-1) + -1. Let y = 2 - -1. Is l greater than or equal to y?
False
Let b = 10 + -5. Let h = b + -4. Suppose 0 = k - 2 + 3. Is k less than h?
True
Suppose y + 5*j - 2 = 4*j, 5*y + 2*j = 4. Is 1/138 at most y?
False
Let n = -10.3 + -0.7. Let s = n + 9.5. Let b = -0.5 - s. Is b bigger than 2?
False
Let p(o) = -o**2 - 9*o - 8. Let d be p(-9). Let t be (2/12)/(d/(-12)). Is -0.08 at most t?
True
Let s(z) = -z**3 + 4*z**2 - 4*z + 4. Let g be (-2)/(-3)*(-18)/(-4). Let m be s(g). Is 1/12 not equal to m?
True
Suppose 0 = u + 5*v + 18 - 5, 2*v = -u - 7. Let j(y) = 3*y. Let b be j(2). Let p = 4 - b. Is u less than p?
True
Let l = 9 - 13. Let n be 30/40 + (-5)/l. Let j = -2.7 + -0.3. Which is smaller: j or n?
j
Suppose 0 = m + 2*m + 87. Let k = m + 20. Let t(r) = r**2 + 8*r - 10. Let y be t(k). Which is bigger: y or -4/5?
-4/5
Let f(m) be the first derivative of -1/4*m**4 + 1 - 2*m**3 + 4*m + 7/2*m**2. Let q be f(-7). Is 1 < q?
True
Let t = 24 + -39. Is -15 equal to t?
True
Let k be ((-16)/(-6))/((-2)/(-9)). Let n be k/54 - 32/(-18). Let z be -1*(-1 + n)*1. Which is smaller: 1/5 or z?
z
Let k = 313957/13850 - 235/277. Let d = k - 948/25. Let f = -16 - d. Which is smaller: f or 1?
f
Let o = -30.9 + 31. Is o at least as big as 3.2?
False
Suppose -3*f + 168 = 4*g, -3*f - 7 - 5 = 0. Let u = g - 721/16. Let l = 1 + -1. Is u smaller than l?
True
Let x(g) = -17*g - 18. Let j be x(-3). Which is greater: j or 32?
j
Let f = -4 + 3.3. Let y = -0.2 + -0.4. Let i = y - f. Is -0.2 != i?
True
Let y be (-3 + (0 - -2))*-13. Let k be -1*(1 - y - -2). Let i be (-2)/(k*(-1)/(-1)). Which is greater: i or 0?
0
Suppose 2*c - 6 = -c. Let a = -36 - -38. Is a != c?
False
Let o be (-5)/1*(-2 + 1). Suppose 0*d + o = d. Suppose d*w - 3 = -2*z, 5*w - 3*z - 3 = 5. Are w and 1/4 equal?
False
Suppose 0 = 2*m + m. Let g = 133 - 232. Let z be 4/g - 18/99. Which is greater: m or z?
m
Let z(s) = 2*s**3 - s + 1. Let p be z(-2). Is -13 != p?
False
Let b = -3 - -1. Let s be 46/4 - (-1)/b. Suppose -h + s = -3*l, 7*h - 3*h + l + 8 = 0. Does -1 = h?
True
Let i be (-3)/(-3) + -2 + -9. Let s be 7/i + (-3)/6. Which is bigger: s or -1?
-1
Let m be 40/(-14) + 8 + -5. Let t(g) = 2*g**2 + 1. Let h be t(1). Suppose -2*q - q + h = 0. Which is smaller: q or m?
m
Suppose x = -2*a + 1 + 8, 3*x - 7 = -a. Let r(t) = t**2 - 8*t - 12. Let n be r(9). Are x and n unequal?
True
Let l be (-376)/760 - (-6)/10. Is l >= -0.2?
True
Let k(f) = -f**2 - 4*f + 3. Let d be k(-5). Are d and 0.3 non-equal?
True
Let w = 4/35 + 97/70. Which is bigger: 15 or w?
15
Suppose 3 = -a + 4. Is a > 5/3?
False
Let u be (-22)/((-4 + 3)/(-1)). Does -22 = u?
True
Let o = -0.14 + 0.05. Let c = 8.91 - o. Which is smaller: c or 0.1?
0.1
Let p = -1.97 + 2. Let t(b) = -b + 11. Let s be t(9). Suppose 5*a = s*d - 6*d + 9, -3*a = d - 4. Is p < d?
True
Let f = 9 - 15. Let o be 1/3 + (-70)/f. Suppose -3*x = -7*x - o. Is x at most as big as -4?
False
Let o be (-3)/1 + 385/125. Is o < 0?
False
Suppose 4*r + 1 = -0*r - g, 0 = -3*g - 15. Let a be 4 + (1 - (r + 1)). Let u = a - 2. Do 2 and u have the same value?
False
Let m = 0.6 + -0.5. Let s = 0 - m. Which is smaller: -0.03 or s?
s
Let b = -4 - -12. Which is greater: b or 7?
b
Suppose 5*k = 3*a - 12, -5*a - 4*k = -5*k - 20. Suppose -3 = -4*h - 5*b - 15, -h - a*b - 14 = 0. Suppose i + 1 = h*i. Which is smaller: 1/5 or i?
1/5
Let b(g) = -g**2 - 1. Let p be b(0). Let t = -1 + 1. Let l = t + p. Which is smaller: l or 2/9?
l
Let y = 19/12 - 3/2. Let r = -38 - -38. Is r at least as big as y?
False
Let j be 0/(-2) - (-4 + 2). Suppose -j*h + 0*h + 4 = 0. Let d(u) = u**3 - 4*u**2 - 5*u + 3. Let s be d(5). Which is bigger: h or s?
s
Let l = -29 - -32. Which is bigger: l or -1?
l
Let u(r) = r**3 - 7*r**2 - 19*r + 7. Let n be u(9). Let c = -36 - -69/2. Which is greater: n or c?
c
Let t = -28 + 28. Is 0.22 bigger than t?
True
Let g = -132 + 124. Suppose 4*t = -v + 3*t - 2, -2*t - 25 = 5*v. Which is smaller: v or g?
g
Let a = -7079/24 - -295. Is a >= -1?
True
Let o(n) = -n + 9. Let i be o(7). Suppose -5*j - 5 = -4*z, i*z - 3*j - 25 = -8*j. Suppose 0 = 4*c, 2*h + 6 = z*h + 3*c. Which is smaller: 3 or h?
h
Let c = -1297 - -45399/35. Is c at least as big as -1?
True
Let l = -4.03 - -0.03. Is -2 <= l?
False
Let h = 62 + -63. Is h greater than or equal to 6/13?
False
Suppose -14 - 33 = -d. Which is greater: 46 or d?
d
Let r be (-1 - 136/5) + (-272)/(-68). Let f = -59 - -84. Let l = f + r. Which is greater: 1 or l?
1
Suppose 4*z + 146 = -26. Let w = z + 31. Let y be w/16 + (-1)/4. Is -2 smaller than y?
True
Let k = -7 - -4. Suppose 4*j + 6 = 2*j. Are j and k equal?
True
Suppose 3*k + 2*k = 110. Let g = k - 12. Let m = -7 + g. Which is bigger: m or -3/4?
m
Let j = -37 - -37.1. Which is smaller: 23/2 or j?
j
Let t(w) = 16*w**2 + 2*w - 1. Let y be t(1). Suppose -r = -3*g + y, -r + 3*r = -4. Suppose i - 4*i = 4*o + g, -5*o + 2 = i. Which is greater: 2/9 or o?
o
Let l be (-1*1)/((-4)/8). Let k be 2*3 + (-1)/1. Suppose k*j + 7 = -2*f - 0*j, 2*j - l = 4*f. Is -1 greater than f?
False
Let y be 2/10 + 112/(-35). Which is bigger: y or -18/11?
-18/11
Let v = 1.629 + 0.071. Which is smaller: v or -1/2?
-1/2
Let i be (2 - 3)*(-2)/(-3). Do i and -0.06 have the same value?
False
Suppose 3*q = q + 16. Suppose 0 = 2*v - v + q. Let m = -7 - v. Does 1 = m?
True
Let j = 188.05 - 193. Let q = -0.05 + j. Do q and 2 have different values?
True
Let i = 50 - 203/4. Let s = -3 + 2. Is i bigger than s?
True
Let x be 36/3*(-4 + 33/6). Which is bigger: x or 21?
21
Let l = -158.9 + 152. Let u = 7 + l. Is u greater than 12?
False
Let j be (5/(-5))/((-2)/4). Let f be 1/j + 6/(-5). Let l = 69/70 + f. Which is greater: l or 0?
l
Let w(a) = a**3 + 9*a**2 + a + 11. Let k be w(-9). Let t = k - 4. Is t >= -4/5?
False
Let w = 1.4 - 1.5. Which is greater: -0.04 or w?
-0.04
Let q = 15 + 33. Let j be 2/(-24)*q/(-30). Is j less than 1?
True
Let y = 23 + -21. Which is smaller: y or 2/3?
2/3
Suppose 0 = 2*x + x - f - 3, -5*f = 3*x - 21. Suppose 2*b = 9*b - 21. Is b at least as big as x?
True
Let s be -2 + 12/5 + 33/(-60). Are s and 1 unequal?
True
Let q(w) = -w**2 + 16*w + 15. Let x be q(17). Let a be -8*45/(-178) + x. Which is smaller: -1 or a?
-1
Let s = -32 + 63/2. Suppose 4*h - 4 = 2*h. Let n be 15/(-9) + h/(-6). Which is smaller: s or n?
n
Suppose -8*k = -5*z - 3*k + 25, -2*z = -k - 6. Does 4/9 = z?
False
Suppose 7 = -z - 0. Which is greater: -8 or z?
z
Suppose 21 = 3*p - 5*s, -3*p - 6*s = -2*s + 6. Suppose -p = -l - 0. Which is bigger: 0 or l?
l
Let t = 49 + -149/3. Is t greater than or equal to -0.1?
False
Let l = 5 - 10. Is -7 at most l?
True
Let f(n) = 89*n + 1. Let q be f(-1). Let x = q - -437/5. Which is greater: -1/4 or x?
-1/4
Let f = -75 + 74.02. Let r = f - -1. Let t = 0.08 + r. Which is smaller: 3 or t?
t
Let b(f) = f**3 - 3*f**2 + 1. Suppose -9 = -