l to p?
False
Let b = 10 + -7. Suppose 0 = -4*g + 2*y + 2, -3*y + b = -4*g - 6*y. Let j be g/((-4 - -7) + -1). Is j less than 3?
True
Let a = -25 + -32. Let x = 99 + a. Is x bigger than 42?
False
Let k = -145/11514 + -1/202. Is k > 1?
False
Let h be (-10 + 3)/(2/6). Let t be (0/(-1))/(5 - 4). Suppose -4*q + 7*q = t. Do q and h have the same value?
False
Let c be (-12)/3*3/(-12). Let z be c/1 + -44 + 2. Let o = z - -58. Is o > 18?
False
Suppose 5*y - 4*y = 2*q - 5, -4*y = 5*q - 19. Let h = 5 - 207. Let m = 208 + h. Are m and q unequal?
True
Suppose -759 = -5*c + 16*c. Which is smaller: -60 or c?
c
Let y = 7.11 - -20.85. Let d = y - 28. Which is greater: -0.06 or d?
d
Let i be -3*1 + -9 + 5. Let b be (4/(-6))/(28/6 - 3). Is b smaller than i?
False
Suppose -2*o + 1 = k, -2*o + 0*o - 5*k = -5. Are o and 1/102 non-equal?
True
Let f = 11615/2799 + -12/311. Is 3 less than f?
True
Let c = 273 - 272. Are c and 2 unequal?
True
Let k = -335.7 + 350. Let x = 17.3 - k. Is -4/7 bigger than x?
False
Let i = 26 + -26. Let r = 2499 + -197428/79. Let y = r + -655/632. Is i < y?
False
Suppose -3*o + 2*w = 808, 5*o - 3*w + 1347 = -0*w. Let r be 2/15 + 144/o. Which is smaller: r or -14?
-14
Let n be ((-44)/(-14))/(5/35). Let x be n/(-55)*(-2 - -1). Suppose 1 + 3 = 4*c. Which is greater: x or c?
c
Suppose -5*w + x = -1 - 1, 4*x = w - 8. Is -3/163 bigger than w?
False
Let a be 13 + (-544)/40 + (-42)/5. Is a >= -2/5?
False
Let o = -20347/16 - -5113/4. Are 8 and o equal?
False
Let j = 27/2 + -83/6. Is -3/2 bigger than j?
False
Let z = -20 + 32. Suppose 2*q = 2*a + 28, -2*a + q - 3*q = z. Is -43/5 greater than or equal to a?
True
Let t = -14.4 + 9.4. Let l = 0.04 + 0. Let r = l - 0.14. Which is smaller: r or t?
t
Suppose -2*c = -1 + 3. Let f be c*(6 + 54) + (1 - -1). Is f less than or equal to -59?
False
Let q be (-1)/(((-21)/9)/(-7)). Let g be (90/4)/q - 1. Is -9 < g?
True
Let w be 9 + ((-2)/(-144) - 9). Suppose 0*r = -r. Do r and w have different values?
True
Let p = -5.7 + 4.7. Let t = p + 1.2. Which is smaller: -1/7 or t?
-1/7
Let l = 108.4 + -100.5. Which is smaller: 0 or l?
0
Let o = -143/6 + 1565/66. Let j = 922 - 921. Is o > j?
False
Let a be (2 - 5)/((-6)/24*249). Let q be 0/(-1)*(-3 - -2). Is q greater than a?
False
Let s = 8 - 9. Let f(c) = -16*c**3 - 2*c**2 - 2*c - 1. Let n be f(s). Let o = 31/2 - n. Is -1.1 at most as big as o?
True
Let q = 11 + -9. Suppose -5*s = q*g - 13, 31 = -2*g + g + 5*s. Let y be -2 - (2 + 28/g). Which is smaller: 0 or y?
0
Let p be -3 - -1*(-5 + 6). Is p < -35/12?
False
Let d be (10/(-125)*-40)/(4/10). Let h = -22 - -27. Is h greater than or equal to d?
False
Let q be (10/2 - 3) + 2 + -29. Let n be (q/(-20))/(7 + 0). Is 1 bigger than n?
True
Let f = -55/3 - -19. Let o = -63 - -57.1. Let u = -5.8 - o. Is f >= u?
True
Let h be (-48)/21 + (-243)/(-189). Which is bigger: -3/346 or h?
-3/346
Let n = 22 - 16. Suppose -2*f - n = -2. Let z be f/(-58)*(-2)/(-2). Is z at most -1?
False
Let b = 157/5 + -2026/65. Is -1 greater than or equal to b?
False
Let o = 66 - -91. Let k = -1408/9 + o. Is k at least 0?
True
Suppose -11*g + 800 = -6*g. Let k be ((-6)/(-5))/(6/g). Let w be k/(-20) - (0 + -2). Which is smaller: w or 7?
w
Let f(c) = -13*c + 83. Let h be f(6). Let y = -1/7 + 51/14. Do h and y have different values?
True
Let y = -22.46 + 22.5. Which is smaller: y or 2/7?
y
Suppose -72*t = -78*t. Suppose 5*s - 45 = -5*y, -5*s + 2*s - 45 = -3*y. Let b be (1/3)/(22/y). Which is greater: t or b?
b
Suppose 0 = 15*k - 82 - 38. Let i be 4 + (-36)/8 - 620/k. Is -78 bigger than i?
False
Let g = 19.9 + 105.1. Let c = 132 - g. Does -9 = c?
False
Let p be (6/28 + 10/35)*16. Suppose 14*s - p*s = 66. Is 11 at most as big as s?
True
Suppose 0 = -2*j - 1 - 3. Let u(v) = 2*v**3 - v**2 - 5*v - 2. Let a(o) = -2*o**3 + 2*o**2 + 6*o + 2. Let b(g) = 4*a(g) + 5*u(g). Let s be b(j). Is s < -4?
False
Suppose 3*o = 2*y - 1, y = 5*y + 4. Which is smaller: o or -2/653?
o
Let x = -62.998 - -63. Let u = x + 6.998. Which is bigger: -0.2 or u?
u
Let p be (1 - 143)/(44/66). Which is smaller: -1061/5 or p?
p
Let d = 693 - -3. Let y be d/(-32) - (-1)/(-4). Let o be (-60)/(-18) - (-3)/(9/(-12)). Which is bigger: o or y?
o
Suppose 11 = 5*c - 4, -2*v - 4*c = 4. Are -9 and v equal?
False
Let g = -7.74 - -8. Let y = g - 0.17. Let c = -1.09 + y. Is c at most as big as 10?
True
Suppose -66 = -6*p - 6. Let c be (8/250)/(-5 - (-54)/p). Suppose 0 = -f + r - 4*r + 10, -4*f + 3*r - 5 = 0. Which is bigger: c or f?
f
Let y = 14 + -44/3. Suppose 0 = 7*f - 14*f - 12*f. Is f greater than y?
True
Let h(d) = d**2 - d. Let m be h(7). Let b be 24/(-8) - 147 - 6/3. Let f be b/m - (-4)/14. Which is smaller: f or -2?
f
Let d = -0.2 - 0. Let o = -1.83 + -0.07. Let f = -2.1 + o. Which is smaller: f or d?
f
Let r be (0/(-6))/5 + 2. Let w = 7 + -4. Let b be (1 - w)*(-2)/(-4). Which is bigger: r or b?
r
Let b = -2/69309505 + 34280482419/43179821615. Let s = b + -27/35. Which is smaller: s or -2?
-2
Let t(k) = -k**3 - 12*k**2 - 12*k - 9. Suppose z = -2*x - 25, x + 1 = 2*z - 4. Let p be t(x). Is p bigger than 4/3?
True
Let d(s) = -2*s**2 - 3*s - 7. Let w be d(-3). Let i = w + 15. Is -2/85 smaller than i?
False
Let i be (-12)/(-21) + (-21)/(-49) + -1. Let a = -13/14 - -241/350. Are i and a nonequal?
True
Suppose -2 = -2*g + 5*c - 0, -g = -c - 4. Suppose -6*a = -8*a + 14. Which is bigger: g or a?
a
Let n be 4/(-8) - (-6)/12. Suppose 4*t + 12 - 16 = n. Is -2/25 equal to t?
False
Let l be (2 + (-7)/2)*(-200)/15. Let d be 70/(-4)*(-24)/l. Are 19 and d non-equal?
True
Let j(w) = w - 4. Suppose 2*k - 26 = -4*r, -3*r - 2*k + 23 - 3 = 0. Let z be j(r). Let c be 91/378 - z/12. Is c at most 1?
True
Let s(a) be the first derivative of -2*a + 1/2*a**2 + 1. Let l be s(4). Which is greater: l or -2?
l
Let f = 4.904 + -5. Let c = 0.476 + f. Is c at least 2?
False
Let x = -334 + 70141/210. Which is bigger: 0 or x?
x
Let r = 1350/4823 - 16/53. Is r smaller than -1?
False
Let i = 74 + -178. Let q = i + 97. Is q at least as big as -9?
True
Suppose 5*x - 540 = -495. Is x at least 26?
False
Suppose 0 = 4*d + 20, -4*s + 2*d + 15 + 3 = 0. Let p(x) = -11 + 10 - x**3 - x + 3*x**s - 6 - 10*x**2. Let i be p(-7). Which is smaller: i or 1/5?
i
Let a = 592 - 607. Let n(k) = k**2 - 2*k + 8. Let m be n(6). Suppose -c - m = c. Is c > a?
False
Let l(h) = -h**3 + 12*h**2 + h + 2. Let v be l(12). Suppose 5*o - 49 = 4*w, 4*w = 3*o - v - 25. Let b be (12/(-9))/((-2)/(-6)). Which is smaller: w or b?
w
Let u = 648 - 705.8. Is 1 smaller than u?
False
Let t = -943.6 + 949. Which is smaller: 6 or t?
t
Let p be 6/(-2799)*(-6 - 0). Which is smaller: p or 1?
p
Let q = 0.431 + -2.331. Let k = -1.1 - -2.9. Let u = q + k. Which is smaller: -0.04 or u?
u
Let h = -2.342 + 3.342. Let b = 19.9 + 0.1. Which is greater: h or b?
b
Let s = 395 + -351. Which is greater: s or -2?
s
Let r = -28 - -45. Let z be (165/220)/((-1)/(-24)). Which is greater: r or z?
z
Let j(h) be the first derivative of 7*h**2/2 + 2*h + 7. Let x be j(-1). Which is smaller: 0.3 or x?
x
Let m be -5 + 0 + (-16)/(-200)*55. Let o be 0/(6/9*-3). Which is bigger: o or m?
o
Let r = 107 + -65. Let i = -42 + r. Is -1/14 > i?
False
Suppose 0 = 3*z - 0*z. Suppose h + 4 = -z*h, 36 = 4*w + 5*h. Which is bigger: w or 16?
16
Suppose -1 = -s + 5*j - 0, 4*s - 4*j - 20 = 0. Suppose 0 = 2*x - 0*x - s. Suppose -2*d - 6 = -x*a, 3*a - 2*d = 4*a - 2. Is 2 < a?
False
Let p be 0 - (0 + (-24)/51). Let y = 10 - 9. Which is smaller: p or y?
p
Let p = 124.1 - 125.1. Which is smaller: p or -19?
-19
Let l = 10/323 - -291316/969. Which is bigger: l or 300?
l
Let g = 96 - 41. Suppose t - g = 3*j, 5*j + 2*t + t + 115 = 0. Which is smaller: j or -19?
j
Suppose 2*h = 2*d - 2, 0 = 2*h - 3*h + 1. Suppose -c = d - 3. Is c < 2/37?
False
Let p(m) = m + 45. Let o be p(-44). Which is greater: 2/4247 or o?
o
Let g be (-7 - 0) + 7 + -3 + 0. Let w be (-3)/(-2)*50/(-15). Are w and g equal?
False
Let j be 117/(-195) + 2/(-5). Let l be 47/(-30) - 6/(-9). Which is smaller: l or j?
j
Let q(i) = 118*i + 131. Let w be q(-1). Is 13 smaller than w?
False
Let n be 3/(-5) - (2258/(-170) + -2). Let b = n + -74/5. Is b <= -0.3?
False
Suppose 3*l = 57 - 249. Let n = l + 257/4. Are -30 and n unequal?
True
Suppose 6*z = -3*z + 288. Suppose z*k = 35*