y
Let x be (-2)/(-4) - 1/2. Suppose x*p - 2*p + 2 = 0. Are p and 3 unequal?
True
Suppose -8*y + 180 = 52. Suppose 6*b = 10*b - y. Suppose -7 = -4*c + 1. Is c less than b?
True
Let h(f) = f**3 + 4*f**2 - f - 2. Let z be h(-3). Let y(v) = -3*v - 3. Let a be y(-4). Which is smaller: a or z?
a
Let k be ((-22)/10 - -2)/1. Which is greater: 0 or k?
0
Suppose q - k = 2, 2*q - q + 2*k - 2 = 0. Let d = 5/6 - 1/3. Is q != d?
True
Let c(u) = -u**3 + 7*u**2 + 2. Suppose -z + 2*z - 2 = 0. Suppose 5*l + 0 = y + 3, -3*y + z*l = -17. Let j be c(y). Is j less than or equal to 1?
False
Let q = -1.1 - -1.3. Which is bigger: q or -4?
q
Let c be (10/(-175))/(2/(-10)). Let x = 3 - 1. Which is smaller: x or c?
c
Let n(l) = l + 5. Let q be (6/(-3))/(2/8). Let j be n(q). Is 0 less than or equal to j?
False
Let d = -10/61 - 2146/305. Which is smaller: d or -7?
d
Let m(q) = q - 6. Let x be m(5). Let s = x + 2. Let p = 1/28 + 3/14. Which is smaller: s or p?
p
Let r be (-140)/174 - 6*(-7)/63. Is 1 < r?
False
Let k be 2/7 - 305/(-35). Suppose 5*j + 50 = 2*i, -j - 4*j = 4*i + 20. Let n = k + j. Is n smaller than 5?
True
Let f be ((-15)/50)/((-12)/(-10)). Let k = -8 - -2. Let t(l) = l**2 + 5*l - 6. Let z be t(k). Which is greater: z or f?
z
Suppose 4*o - 18 = -a + 2, -5*a = 0. Is o equal to 8?
False
Let y = 2.27 - 2. Let f = y + -0.07. Is 0.3 bigger than f?
True
Let l = -1 + -1. Let s(r) = -r**2 - 4*r - 3. Let x be s(-4). Let g = -3 - x. Which is smaller: l or g?
l
Let z(f) = f. Let y be z(-2). Suppose 3*d - 4 = -5*c + 14, d + 22 = 3*c. Suppose 0*q - c = 4*o + 2*q, 45 = -5*o + 5*q. Which is bigger: o or y?
y
Let x = 0.02 + 8.98. Let z = 8 - x. Let y = z - -1.3. Is 1 less than y?
False
Let n = 0.138 + 0.002. Which is greater: n or 1?
1
Let q = 0.217 + 17.983. Let t = 18 - q. Let l = -2.8 - -3. Which is smaller: l or t?
t
Let d be (-610)/7 + (-4)/168*-6. Which is smaller: d or 0?
d
Let m = -7/30 - -89/60. Let w(d) = -1 - 2*d**2 - 8*d**2 + 13*d**2. Let n be w(1). Which is smaller: n or m?
m
Let n(o) = -o**3 - 10*o**2 - 8*o + 12. Let p be n(-9). Suppose p*q - q = 0. Is q <= 0?
True
Let x = 6.98 + 0.02. Let s = -6 + x. Are -2 and s nonequal?
True
Let o be -1 + 1 - (-4)/10. Let y(g) = -8*g + 24. Let w be y(3). Is o greater than w?
True
Let v be ((-1)/(-42))/((-3)/(-2922)). Let w = 70/3 - v. Let r(f) = -f**3 - 3*f**2 + 3*f - 5. Let k be r(-4). Which is smaller: k or w?
k
Let d = -2 - -1. Suppose -i + 4*f - 18 = 0, -4*f + 13 = 2*i - 11. Suppose 0 = -4*o + i*v - 16, 0 = 3*o - 0*v - v + 11. Which is smaller: o or d?
o
Let d(w) = -w - 12. Let k be d(-14). Suppose 0 = -k*x - 5*u + 8, 3*x + u + 3 = -2*x. Which is smaller: x or 0?
x
Suppose -3*r = 0, 2*d + 2*d = 5*r - 24. Suppose -3*i = -7 + 28. Is i < d?
True
Let t = 119.8 + -120. Is -0.01 > t?
True
Let d(b) = -b**3 + b**2 + b + 3. Let i be d(-2). Is 13 >= i?
True
Let n(h) = h**2 + 3*h. Let l be n(-4). Let y be (0 - l) + 42/9. Suppose -5*z + 2 = -3. Which is smaller: z or y?
y
Let b be ((-54)/21)/(3/(-14)). Which is greater: 11 or b?
b
Let d = -0.5 - 6.5. Let u = 0.1 + -0.1. Which is smaller: d or u?
d
Let t(u) = -u + 5. Let h be t(5). Let y(c) = 2*c - 4. Let x be y(3). Suppose -x*i = -a, 2*i + 4*a = 4*i - 6. Which is smaller: h or i?
i
Suppose -2*j + 28 = o + 2*j, -2*o + 21 = j. Suppose 118 + 82 = 25*r. Are o and r equal?
True
Suppose 4*m = 2*w + 3*w - 12, 5*w = 20. Suppose 3*k + 18 = -0*k - 5*n, m*k + n = -5. Let t = 2/507 - 2038/2535. Is t < k?
False
Let a = -0.21 + -7.79. Let u = a + 8.1. Which is greater: 0.07 or u?
u
Let v = 8 - 11. Let u be 6*(v/2)/3. Is -4 < u?
True
Let a = 73 - 153/2. Is a greater than -5?
True
Let p = -342 - -8207/24. Let g = p + -11/24. Let k = -2 + 4. Is g bigger than k?
False
Let z = -3/10 + -6/5. Which is bigger: z or -2?
z
Let j = -0.24 + 0.14. Which is greater: -9 or j?
j
Suppose l = 4*l + 3. Let g = 2 + l. Which is bigger: -2 or g?
g
Let p be (-1)/(-2) + (-5)/(-6). Is p less than 0?
False
Suppose 0 = 4*z - 5*k + 2, z - 3*k = 5*z + 18. Which is smaller: 1 or z?
z
Let k = 75 + -75.1. Do k and 29 have different values?
True
Let w be 6/1 - (-6 - -6). Let v = w - 5. Is v less than or equal to 1?
True
Let g = 7 + -10. Do -1 and g have different values?
True
Let j = 6 - 5.7. Let p = 0.2 - j. Let v be 0 - ((-45)/12)/(-5). Is p less than v?
False
Let c = -13 + 22. Does c = 0?
False
Let n(o) = o**2 + 8*o + 12. Let z be n(-5). Let h = z + 4. Let d(m) = m**3 + 5*m**2 - 7*m - 6. Let q be d(-6). Which is greater: h or q?
h
Let a = -43 + 42.6. Let r = 3 + -2. Let u = 1.1 - r. Which is greater: a or u?
u
Let u = -6 + 1. Let x = -4.9 - u. Do x and -2 have the same value?
False
Let k(o) = -o**2 + 6*o - 4. Let b be k(7). Are -12 and b nonequal?
True
Let b = -685/924 + -2/231. Let s = -4 - -6. Suppose -2 + 0 = -s*v. Is b greater than or equal to v?
False
Suppose -5*b - 20 = -5*a, 5*a + 8 = 2*b + 34. Is a greater than or equal to 6?
True
Suppose 5*x = -q - 16, 0*x + 4 = -q - 2*x. Which is smaller: 2 or q?
2
Suppose -6*a + 3*a = -6. Suppose -n + a = n. Let y be 1/(-2)*n/4. Which is smaller: 0.1 or y?
y
Let i = 1.6 - 3.8. Let n = i - -2.1. Which is bigger: n or -6?
n
Let g be 0/(-1) - (-2 + 2). Let r be (-2)/(-12) + (-185)/(-42). Let b = r + -5. Which is smaller: g or b?
b
Let c = 2/91 - -20/273. Let l = -1 - -1. Which is greater: c or l?
c
Let p be (-23)/(-7) + 2/(-7). Suppose 2*z + 74 = 3*a, -5*a - z + 101 + 5 = 0. Suppose -4*n = p*x - a - 1, n - 1 = 4*x. Which is bigger: x or 2?
2
Let x = 3137/11 - 285. Which is smaller: -1/3 or x?
-1/3
Let p(t) = t - 2. Let b be p(3). Suppose -3*d - b = 3*s - 4, 5*d - 10 = 0. Which is smaller: s or 2/9?
s
Suppose -17*p + 15*p + 30 = 0. Do p and 13 have different values?
True
Let y = -2 + 1. Suppose 0 = z + 3*z. Suppose -25 = -3*i - z*i + 5*t, -20 = 2*i + 4*t. Which is bigger: i or y?
i
Suppose -15 = -37*o + 34*o. Let b = o - 4. Is b <= -2/73?
False
Let u = -30 + 29. Is u bigger than 2/63?
False
Suppose 0 = g + j, -2*g - 1 = -3*g - 2*j. Which is smaller: 4/9 or g?
g
Suppose h - 5*u = -25, 7*h - 4*u = 4*h - 20. Let q be 13*87/15 - 1. Let o = q + -74. Is o at least h?
True
Let j = 393471 + -162503407/413. Let a be 1 - 2 - (-822)/826. Let f = a - j. Is f at least 1?
False
Let s = 44.1 + -63. Let r = s + 19. Which is greater: -0.16 or r?
r
Let r be -2 + 8/10*2. Let l = -1 + 3. Let v be 3*(5/3 - l). Is v <= r?
True
Let o be 5/(-40)*(-4)/2. Which is smaller: o or 5/7?
o
Let j(i) = i**2 + i. Let a be (-3 + (1 - -3))*1. Let h be (1/a - 0)*0. Let m be j(h). Is m greater than -1?
True
Let q = 0.21 + 0.69. Let n = q + 0.1. Let j = n - 1.2. Are 1/4 and j equal?
False
Suppose 3 = -2*w + 15. Suppose 3*o - 9 = 3*f, -2*o + 2*f - f + w = 0. Which is bigger: 2 or o?
o
Let c = -11 + 16. Suppose c - 1 = -2*n + 2*k, 5*k - 5 = 0. Let w be (0 - (n + 2))/(-1). Is 1 less than w?
False
Let w = 9 + 4. Let o = -6 + w. Is 7 greater than o?
False
Let b = -1 - -0.9. Let o = 2 - 4. Let n = 2.2 + o. Is n < b?
False
Let d(b) = -b**2 - b. Let z be d(-1). Which is smaller: z or 2/15?
z
Let u = -7.99 - -8. Which is smaller: 1 or u?
u
Suppose -4 = 5*l - l. Let m be 0 + (0 - 2/(-10)). Is l less than m?
True
Let c be 21/18 - (-2)/(-12). Are c and 3/38 equal?
False
Let v = 108 + -78. Is v <= 0?
False
Suppose 0 = -h - 0*h + 3. Let x = -5 + 6. Which is smaller: h or x?
x
Let i = 4 - 9. Let n = -3 - i. Is n >= 0.1?
True
Let k be -2*5/(-2 + 12). Which is greater: k or 0?
0
Let s = -10 + 5. Let n be (s/(-2))/((-3)/6). Let v = 6 + n. Which is greater: v or 2?
2
Let j = -8 + -6. Is -14 smaller than j?
False
Let g = -59/3 - -25. Is 4 less than or equal to g?
True
Let p be (-33)/(-27) + (-8)/36. Let j = 0 + -2. Is j greater than p?
False
Let h = 0.1 + 0.1. Let r = -2 + 1.9. Let j = h - r. Which is smaller: -2 or j?
-2
Let n(w) = -w**2 + w - 5. Let v be n(0). Let j be 10/(-25) + (-2)/v. Let u = -2 + j. Do u and -6/5 have the same value?
False
Suppose 0 = 4*x - 2*d - 24, -x - 5*d - 20 = -3*x. Do 3 and x have the same value?
False
Let r = 579/1924 - -1/148. Which is greater: r or -1?
r
Let j be -2 - 0 - 128/(-62). Is j <= -1?
False
Let q = 3 + -2. Let u = 2/35 - 12/35. Is q smaller than u?
False
Suppose 2*m - 48 = -16. Suppose 4*r = 2*p + 2*p - 4, -4*p + 40 = 5*r. Let h be r/(-6) - m/(-18). Which is bigger: h or -1?
h
Let g = 65 - 63. Le