t i?
True
Let h be (-2)/6*-3*6. Let n be 20/h*4/(-8). Let m(x) = -x**3 - 4*x**2 + 5*x - 1. Let c be m(-5). Is c != n?
True
Let g = -22.3 + 21. Do 0 and g have different values?
True
Let i be -2 - (2 - (-20)/(-6)). Suppose -4*s + 3*s - 1 = 0. Which is bigger: i or s?
i
Let m = -0.01 + 0.06. Let p = 0.05 + m. Suppose -j + 0 = 1. Which is smaller: j or p?
j
Let i(o) = -o**3 + 8*o**2 - 7*o + 2. Let k be i(7). Suppose -k*h + 0*h = 6. Suppose 5*u + 3*j = u - 5, -u - 2*j = 0. Do h and u have different values?
True
Let x(q) = 8*q**2 - q - 1. Let v be x(-1). Let d = 4 - v. Let y = d + 6. Is y less than 1?
False
Suppose 2*o = 58 - 18. Is o less than or equal to 20?
True
Let x(n) = -n**2 + 6*n - 2. Let l be x(4). Let b be (-2)/(16/l)*-4. Suppose h = -2*g + 1, 30*g - 7 = 34*g + 5*h. Do g and b have the same value?
False
Suppose -l - 3*l = -12. Let x be 16/(-4)*l/6. Is -1 != x?
True
Let y = 1.44 + -0.04. Let j = -1.2 - -0.2. Let z = y + j. Which is greater: z or 0.1?
z
Let r(l) = 2*l - 17. Let g be r(9). Which is bigger: g or 3/8?
g
Let h = 124295/88 + -1412. Let l = -3/44 + h. Which is smaller: l or 0?
0
Let f = 8/51 + -50/969. Is -1 >= f?
False
Let k = -64703 + 709348/11. Let n = 217 + k. Suppose 0 = s + 2, 5*p + 15 = -7*s + 2*s. Is p less than n?
True
Let j = -22.7 + -7.1. Let t = j - -30. Which is greater: t or 1/3?
1/3
Let d be (37/14 + -3)*12/(-15). Is d != -3?
True
Let u be 18/(-9) + (-2 + 1)*-13. Let i = 1 - -10. Is u less than i?
False
Let i(o) = o**2 - 17*o + 63. Let p be i(18). Which is smaller: 1/2 or p?
1/2
Suppose -4*l + 1 + 20 = x, x = l + 1. Is x > 5?
False
Let z be (-2)/(-9) + (-188)/36. Are z and -4 equal?
False
Suppose -3*h = 2*h - 30. Let d be 1 + 2 + 8 + -3. Let o = h - d. Are o and -5/7 nonequal?
True
Suppose u + x = 6*u - 1, -u - 11 = -3*x. Let s be u/4 + (-11)/(-4). Suppose -j = -4*g - 3 - s, 0 = 5*j - g + 8. Which is greater: -1 or j?
-1
Let q(x) = -x**2 + x + 2. Let i be q(0). Let f be (-14)/(-6) - 2/(-3). Let z = 5 - f. Is i <= z?
True
Let y = 1 - 0.9. Let x = -1.97 - 0.03. Let p = x - -2. Is y greater than p?
True
Suppose 0 = -f - 3*f - 180. Let k = -25 - f. Let a be ((-2)/(-15))/((-2)/k). Which is smaller: a or 0?
a
Let d = -4281/47 + 2383393/26226. Let f = d - 1/62. Let w = 0 - -1. Is f less than w?
True
Let c = 5 + -7. Let z(v) = -v**3 + 3*v**2 + 6*v - 6. Let x be z(4). Suppose 7*l - x*l + 10 = 0. Is l != c?
False
Suppose j - 21 = -7*k + 2*k, 4*j = -3*k + 16. Let q be -4*j*6/(-3). Let z = q - 4. Which is bigger: 2 or z?
z
Suppose -87 - 18 = -3*p. Suppose -2*b + p = 3*b. Is b at least 7?
True
Suppose -z = -3*a, -2*a = -5*a + 3*z. Which is greater: a or -2/5?
a
Let n be ((-6)/(-28))/(8/(-16)). Let i(a) = -2*a**2 - 5 + a**2 + 4. Let d be i(0). Which is smaller: n or d?
d
Suppose 3*g + 4 - 13 = 0. Suppose -21 = g*q + 2*n - 10, 21 = -5*q - 4*n. Which is greater: q or -5/6?
-5/6
Let o = 0.49 + -0.301. Is 1 greater than or equal to o?
True
Suppose 5*f + 38 - 8 = 0. Let r be ((-3)/12)/(f/8). Let a = -202/3 + 68. Which is greater: r or a?
a
Suppose 3*x + 1 = -5. Let z be (-2)/(x/3) - 2. Which is smaller: z or 1/5?
1/5
Let h(v) = -v + 2. Let n be h(8). Let i be 6/(-9)*99/n. Is 0.1 >= i?
False
Let r be 2/(-6)*(-10)/(-25). Is -1 at most r?
True
Let l = -2 - -1. Let n be (-1 - -2)*l/1. Which is smaller: n or -4?
-4
Suppose j - 3*j - 8 = 0. Let q be (-4 - (-7 + 5)) + 2. Which is smaller: j or q?
j
Let q = -6 + 8. Let f(v) = v**3 + 5*v**2 - 7*v - 3. Let o be f(-6). Suppose 4*g = 5*a - 40, -3*a - o = q*g + g. Which is bigger: a or 1?
a
Let w be (3/2)/(6/224). Let x be ((-9)/6)/((-6)/w). Suppose 5*n - 1 = x. Is -2/9 <= n?
True
Let w be 10/24 + 2/8. Is w at least 1?
False
Let o be (3 - 501/81) + 4. Let u = o + -172/189. Which is greater: -1 or u?
u
Let q = 21 - 22. Is q at least as big as 3/7?
False
Let w be (-10)/(-3)*(-72)/(-10). Is 2/3 not equal to w?
True
Let q = -2 - -3. Let i = 32 + -33. Is q > i?
True
Let h be 0 - (1 + (2 - 28)). Let p = -173/7 + h. Suppose 0 = -10*x + 10 - 0. Is x less than p?
False
Suppose -4*s = -2*s - 6. Let z be (s/(-9))/(3/(-9)). Which is smaller: 2 or z?
z
Let t(f) = -f**2 - 15*f - 8. Let z be t(-14). Do z and 7 have different values?
True
Let y be (1 + -3)*3/6. Let z(k) = -2*k + 8. Let h be z(-8). Let d = -119/5 + h. Is d smaller than y?
False
Let w = 0.02 + -0.06. Let i = 13.76 + -11.8. Let o = i - w. Which is smaller: o or 1?
1
Let q = 16 - 16. Which is greater: q or 2/15?
2/15
Let q be 1 - 2 - (-174)/186. Is q less than or equal to -1?
False
Let o be (-5)/(105/(-54)) + -3. Suppose h + 0 = -1. Is o greater than h?
True
Let a = 7.03 + -7. Let y = a - 0. Let t = 0.07 + y. Is t <= 2/29?
False
Let k = -1 - -3. Suppose 5*h = k*g - 2 + 5, 0 = -4*g + 5*h + 9. Which is bigger: g or 7?
7
Suppose -2*f = 5*i - 20, -i + 30 = 4*i + 4*f. Suppose 0 = 3*g - 2*g - i. Do 5/4 and g have the same value?
False
Suppose -20 + 4 = -4*j. Suppose 0 = 3*v - 15, -9*m = -j*m - 4*v + 40. Which is smaller: m or -3?
m
Suppose 5*u = 36 + 19. Let i = 124 + -112. Which is greater: i or u?
i
Suppose -8 = 5*m + 32. Let k be (3 - 3 - m)/1. Which is bigger: 9 or k?
9
Let q be ((-520)/(-84))/(-2) + 3. Which is smaller: 1 or q?
q
Let k(s) = s**2 - 10*s - 14. Let x be k(10). Is x != -14?
False
Let h = -9 + 8. Which is smaller: h or -2/3?
h
Let x = -32 - -23. Let t = -14.1 - -14.1. Which is smaller: t or x?
x
Let n be -1*6/((-18)/51). Which is greater: 19 or n?
19
Suppose 3*q - 30 = 9*q. Do -3 and q have different values?
True
Suppose 0 = 2*i, -33 = 2*m + 2*i + 3. Let w = m + 35/2. Is -2 at most as big as w?
True
Let p = 0 - 2. Let k = -0.8 - 0.2. Let u = k - p. Is u greater than or equal to 0?
True
Let h(i) = 21*i - 3. Let f be h(3). Suppose w + f = 3*w - 4*j, 2*w - 54 = 2*j. Suppose 5 = 3*z + 2*k, 3*z + z - 5*k = -w. Is z smaller than -4?
False
Let c be 28/16*(-50)/(-7). Is c > 13?
False
Suppose -7*m + 1204 = -21*m. Is -87 less than m?
True
Let d = 24 + -23.79. Let b = d - 0.01. Is 2/5 < b?
False
Let g be 2 + 114/(-65) + (-10)/(-65). Do -0.02 and g have different values?
True
Let r = 10.62 - 10.5749. Let x = r - 3.0751. Let c = x + 0.03. Are 0.2 and c nonequal?
True
Suppose -2*c = -5*k - 530, -c = 2*k + 2*k - 239. Let i = 1789/7 - c. Let f = -1 + 0. Which is smaller: i or f?
f
Let n = 5 + -2. Is n at most as big as 9/5?
False
Suppose -q + 2*p = 12, -5*q - 41 = -4*p - 11. Let a = q - -2. Which is smaller: 1 or a?
a
Suppose 3*y + 3*y = 42. Let s be (-4)/(-2) + (0 - -1). Suppose -t + z = -0*z, s*t = -4*z + y. Which is smaller: 1/7 or t?
1/7
Let s(f) = -f**2 - 7*f. Let z be s(-7). Suppose 3*j - 1 - 2 = 0. Which is smaller: j or z?
z
Let i = 1 + -1. Let c be (-6)/(-10) - 21/35. Let w = i - c. Does 1 = w?
False
Let k = 3377/15 - 225. Which is smaller: -1 or k?
-1
Suppose o = -3*o - 4*p + 12, -o - 1 = 5*p. Which is smaller: o or 8?
o
Suppose -2*r - 66 = 36. Is -51 at least r?
True
Let g = -58 + 233/4. Suppose 1 = q - 4. Suppose y + 5 = 2*l, q*l + 2*y = -2*y - 20. Which is bigger: l or g?
g
Let u = -8/5 + 6/5. Which is bigger: -10/21 or u?
u
Suppose 3*j = -2*j - 20. Let z be 6/j*(-4)/(-6). Is z greater than 0.3?
False
Suppose 4*h + 0*h + 8 = 4*g, -2*h = 0. Let i be g - -4*1/(-2). Is -1/2 bigger than i?
False
Suppose -8*g + 13*g = 0. Let z = 2/187 + 551/935. Are g and z equal?
False
Let q be (10/(-25))/((-2)/5). Which is smaller: q or 2/57?
2/57
Let s = 805 + -28169/35. Which is greater: 1 or s?
1
Suppose 5*d + 14 = 3*k, -k - 2*d + 1 = -0*k. Let l = 104 - 102. Suppose -k*o = -4*o - l. Is o at most -2?
True
Let p be (6 - 4)*937/(-12). Let d = 157 + p. Which is greater: d or 1?
1
Let b be (0 + 0 - -2)/2. Which is smaller: b or 1/9?
1/9
Let b(g) = g**2 - 6*g + 2. Let p = 4 + 1. Let h be b(p). Is -3 > h?
False
Let j = -24108199/52673660 - 1/405182. Let s = 3/52 + j. Let t = 0.23 + 0.07. Which is smaller: s or t?
s
Let c = 10.6 - 9.6. Is 0.66 <= c?
True
Let z(f) be the first derivative of -f**3/3 - 3*f**2 - f + 1. Let y be z(-6). Let m = -1 - y. Which is bigger: 2/19 or m?
2/19
Let i be 10/(-56) - (-3)/(-12). Which is smaller: -0.1 or i?
i
Let j be ((-2)/2)/(-4 + -11). Which is smaller: 0 or j?
0
Suppose q + 18 = -q - 5*h, 14 = -3*q - h. Let a be ((-7)/2)/(2/q). Let u = a - 6. Are u and 0 unequal?
True
Let z be (-6)/(-16)*(5 - 64/13). Which is bigger: 0 or z?