(4). Which is smaller: p or -15?
-15
Let z be 1/66*(6 - 2). Suppose 145*b = 136*b. Is z < b?
False
Suppose 0 = -0*d - 5*d. Suppose -y + d*y = -12. Do 0 and y have different values?
True
Let y = -24 - -14. Let w = y - -2. Which is smaller: -6 or w?
w
Let h = 1373/20273 - 12/209. Which is smaller: 1 or h?
h
Let i be (-1)/6 + 217/6. Let f be (-4)/14 - i/(-28). Suppose 0 = -s - f. Are 1/3 and s unequal?
True
Suppose 3*f = h - 11, -5*f - 17 = h + 4. Are h and -1 non-equal?
False
Let v(l) = -l**3 - 4*l**2 + 6*l + 5. Let h be v(-5). Let s = h - 0. Let o = 7 - 27/4. Is o at most s?
False
Let x(g) = -2*g - 6. Let y(t) = -3*t - 6. Let b(p) = 4*x(p) - 3*y(p). Let f be b(8). Which is smaller: 1 or f?
1
Suppose 2*l + 0*l = 26. Let p = 18 - l. Is 6 less than or equal to p?
False
Suppose 0*w + 216 = -4*w. Let b = -273/5 - w. Which is bigger: 0 or b?
0
Let c be 4/(-3)*3/(-2). Suppose c + 1 = 3*y. Which is bigger: y or -2/11?
y
Let w = -17 - -16. Suppose 2*u = -2*u. Let x be 0 - u - 3/(-3). Which is smaller: x or w?
w
Let g = 10 + -6. Suppose -3*n - 4*a = 15, -2*n = g*a + 8 + 6. Is n at least as big as -1?
True
Let j = -90 + 53. Which is bigger: -2 or j?
-2
Let x = -3.3 + 5.3. Which is smaller: x or 42/13?
x
Suppose 0*c + 70 = 5*c. Let h = 6 + c. Let s be (-20)/(-8)*6/h. Is 0 greater than s?
False
Let x = -4613/150 - -185/6. Let j = x - -257/225. Let p = j - 8/9. Is -1 > p?
False
Suppose 2*a - 6 = -0*a. Let p(q) = -q**2 + 8*q. Let f be p(8). Which is bigger: f or a?
a
Let v = 24 + -23.92. Which is bigger: 0 or v?
v
Suppose 4*y - 9 = 19. Let w = y + -9. Suppose -5*q - 3 = 2. Which is bigger: w or q?
q
Let q = -7 - -11. Let n = 1 + -1.1. Which is greater: n or q?
q
Let j be 1/(1/(-5)*1). Let h be 1 + (j/4 - -1). Suppose 5*n + i + 5 = 0, n + 0*i = -4*i - 20. Is h at least n?
True
Let k(t) = 2*t**2 - 3*t - 4. Let u = 7 + -10. Let v be k(u). Suppose -3*w = -3*f - 2 - 1, v = -2*w - 3*f. Which is bigger: w or -3?
-3
Suppose -5*l - 7 + 77 = 0. Let w = l - 13. Which is greater: 0 or w?
w
Suppose 0 = 7*r - 2*r + 6*r. Are 59 and r non-equal?
True
Suppose 5*t = -c - 6, -3*t + t - c = 0. Let d be 1/2 - t/4. Let z be d + -2 + (-2)/(-2). Which is bigger: -0.1 or z?
z
Let c = -4 + 3. Let d = -36387 - -292453/8. Let u = -170 + d. Is c >= u?
False
Let p = 6 - 8. Which is smaller: -3 or p?
-3
Let k = -10 + 1. Let h be 6/4*12/k. Which is smaller: -3/5 or h?
h
Let h be 5 + (3 - (-3 + 6)). Let j = h - 1. Which is bigger: j or 5?
5
Let l be 4/(-106)*3/3. Let t = -11368 + 2410061/212. Let q = t - l. Which is bigger: -1 or q?
q
Let v = -1080/7 + 154. Which is bigger: v or -0.1?
-0.1
Let i = -16 - -16.1. Are -1/2 and i equal?
False
Let w(k) = k + 1. Let g(t) = 3*t + 14. Let m(p) = -g(p) + 4*w(p). Let r be m(10). Is r less than 0?
False
Suppose 0*y + 21 = -2*y + 3*c, -5*y + 3*c = 39. Let b be 24/90 - (-2)/y. Which is greater: 1 or b?
1
Suppose -n - 4*f + 5 + 0 = 0, 1 = -2*n + 3*f. Let g be 0*(n/(-2))/(-1). Suppose 5*r - 15 = 5*y, g = 5*y - y + r - 13. Is y equal to 1/2?
False
Let v be -2*(-3 + 2) + -2. Suppose 3*g + g = 8. Let f be -10*g/72*3. Which is smaller: v or f?
f
Let c be ((-52)/65)/(4/(-10)) + -3. Which is smaller: -1/10 or c?
c
Let k be (-84)/(-30) + (-1)/(-5). Suppose t + 7 = k. Let b be (-26)/(-10) - (-1 - t). Is b greater than or equal to 1/2?
False
Let z = -133 + 133. Are -103 and z equal?
False
Let c = -2 + 0. Let t(z) = -z**3 - 3*z**2 + 4*z + 1. Let f be t(-4). Let n be (f/(-2))/(3/12). Is n equal to c?
True
Let b(j) = 2*j**3 + 2*j**2 + 2*j + 1. Suppose 3*o + 6 = -3, 4*c + o + 7 = 0. Let u be b(c). Let m be 2/(-4 - (0 + 3)). Is u < m?
True
Let h = 1.9 + -2. Let m = -1.3 + h. Are m and -0.1 unequal?
True
Let n(o) = -2*o - 2*o**2 + o**2 - 6 + 0*o + 10*o. Let s be n(8). Let y = 4 + -10. Is y less than or equal to s?
True
Suppose -263 = 2*p - 53. Let c = -4/7805 - 822643/7805. Let a = p - c. Is a bigger than -1?
True
Let s be 3/15*10/8. Let k = -1/582 + 1187/13386. Which is bigger: s or k?
s
Suppose -59 = d + 121. Let z be (-14)/(-63) - (-94)/d. Are 0 and z equal?
False
Let p be (2 + -4 - -4)*2. Suppose 8 = -p*y - 4. Let h = y - -5. Which is smaller: 3 or h?
h
Let y = -1.5 + 2. Let o be (-2)/(-10 + 0) + 87/(-145). Is y greater than or equal to o?
True
Let o = 1213/1470 + 2/245. Is 0 < o?
True
Let b = -27 + 26. Let s be 5/(-14) + 2/(-4). Which is smaller: b or s?
b
Let a = -18 + 13. Let s be (6/(-2))/1 - a. Suppose -s*k + k = 1. Is k < -1/3?
True
Let y be 13211/45 + (-10)/75. Let h = y - 293. Is 0.1 != h?
True
Let g be (-4)/((-4)/(-121)) + 5. Are -116 and g equal?
True
Let g be (4/(-30))/(3356/3). Let v = g + 161107/159410. Let y = v + -4/19. Are 0 and y equal?
False
Let s = -0.1 - 0.1. Is s greater than or equal to 1?
False
Suppose 0 = 5*d - 12 - 38. Is d at most as big as 39/4?
False
Let v = 3 + -2. Suppose v = 5*w - 4. Is w < 2?
True
Let n(k) = -k**3 + 6*k**2 - 5*k. Let m be n(5). Suppose 0 = 3*v + 2*v - 260. Let y = v + -207/4. Which is smaller: m or y?
m
Let x be (-1*1)/(20/(-8)). Suppose -q = -3 - 7. Let l(p) = p - 11. Let n be l(q). Which is greater: n or x?
x
Let s(i) = -i**2 - 7*i - 8. Let k be 0 + (-6 + 0 - 1). Let n be s(k). Which is smaller: n or -7?
n
Suppose 4*x - 34 = h, -6*h + 3*h - 2*x - 130 = 0. Which is smaller: -41 or h?
h
Let l = -1 + -4. Is l at least as big as -5?
True
Let d = -1.078 + 0.098. Let m = -1 - d. Let h = 0.02 + m. Are -0.1 and h unequal?
True
Suppose -2*c = 2*p + 3*p - 3, -p - 3*c - 2 = 0. Let s be ((3 - 0) + -4)/p. Is -3 less than s?
True
Suppose 3*v + 8 = 7*v. Which is greater: v or 8/11?
v
Suppose 3*r - 5*r + 214 = -5*x, -2*x = -r + 86. Let y = x - -167/4. Which is bigger: y or -2/5?
y
Let f be 1/6*((-45)/(-33) - 1). Which is smaller: 0 or f?
0
Let n = -647/287 - 13/41. Which is greater: n or -3?
n
Let d be (8/(-24))/((-2)/6). Let p be d - (-2)/18*-5. Is p < 1?
True
Suppose -t + 14 = -5*l, -l + 80 = -5*t - 6*l. Suppose 2*x - 8 = -30. Do x and t have different values?
False
Let a(k) = k**3 - 8*k**2 + 6*k + 10. Suppose 2*u - 2*l - 26 = -2*u, 5*l = -3*u + 26. Let q be a(u). Let j be 2/7 - (-57)/21. Do q and j have the same value?
True
Let r be 2/(-8) + 46/216. Which is bigger: -1 or r?
r
Let n = -39 - -58. Which is greater: 1 or n?
n
Let m = -228 + 228.1. Let f = 2 + -1.9. Is m < f?
False
Let p = 17 - 16. Which is bigger: p or -1/2?
p
Let v = 33/8 - 4. Does -0.1 = v?
False
Suppose -26*m = -25*m. Do m and -2/9 have different values?
True
Let v be -2 - 2*-15 - 1. Let l be v/(-30) - 6/(-15). Let f = 53 + -161/3. Are l and f equal?
False
Suppose 0*n + 2*n = 0. Suppose n = -2*a - a - 9. Let p be a/9 + 1/3. Is p greater than 0?
False
Suppose -3*a - y + 4*y + 21 = 0, 5*a = 2*y + 32. Let c = -77 - -79. Which is smaller: c or a?
c
Let g(k) = k - 1. Let p be g(-2). Let r be (p/(-18))/(1/3). Is r less than 2?
True
Let q = 138 - 256. Which is bigger: q or 0?
0
Let g = 12 - 9. Suppose n = l - g*n - 4, -2*l + 8 = -3*n. Is 5 smaller than l?
False
Let z be -3*4/(-12)*-10. Which is smaller: z or -9?
z
Suppose -4*l = 3*b - 51, 3*b = -3*l + 2*b + 32. Which is smaller: l or 11?
l
Let g = 14.9 + -15. Which is smaller: g or 10?
g
Let h = -64/3 - -21. Let p = 0.3 - 0.2. Is h at most as big as p?
True
Let o = -70.2 + 70. Which is greater: o or 0.38?
0.38
Suppose -2*a = 2*i + 8, 4*i - 8*i = -4*a. Let d = -91 - -269/3. Is i >= d?
False
Let g(l) = 3*l. Let r(h) = -h - 4 - 1 + 2. Let c be r(-2). Let y be g(c). Is y < -2?
True
Suppose -4*d = 26 - 6, -t + d + 14 = 0. Is t > 3?
True
Let f = 1 - 0. Let t be (-4)/3*(-9)/(-6). Let q be 1 + 2/4*t. Is q not equal to f?
True
Let t be -4*(-3)/(-6) + 0. Let p(c) = -c**3 - c**2 - c - 4. Let d be p(0). Which is greater: d or t?
t
Let y = -5 + 6. Let x be (-2)/(y/(12/(-8))). Do x and 0 have the same value?
False
Let z = -4.1 - -2.1. Does 0.09 = z?
False
Let y = 48 - 46. Is y greater than 4?
False
Suppose 4*w + 5*d = 90, -3*w - 84 = -7*w - 2*d. Is -1 at most as big as w?
True
Let l(k) = -2*k + 48. Let p be l(0). Let y be 4/(-26) - p/195. Suppose 2*g - 4*g = -2. Which is smaller: y or g?
y
Let z be ((-21)/6 - -3)/1. Is z at least as big as -1?
True
Let y(w) = w + 10. Let f be y(-9). Is 2 < f?
False
Let k = 1 + -1. Let c be 6/((k - 1) + 3). Which is smaller: 1 or c?
1
Let z = 59 + -62. Which is greater: z or -0.04?
-0.04
Let q = 1