. Which is smaller: p or 48?
p
Suppose 17 = 5*i - 78. Are i and 19 equal?
True
Let u = 0.3 + -0.28. Let t = 3.68 + -3.9. Let d = u + t. Is 1 != d?
True
Let f = 49041325/369 + -132903. Let n = f - 4/41. Which is smaller: 1 or n?
n
Let p be ((-3)/(-9))/((-2)/(-18)). Suppose -5*a + 4 = 4*z - 3*z, -3*a = -p*z + 12. Is a less than or equal to -1?
False
Let k be ((-64)/9)/4 - -2. Let o(r) = -r**2 + r. Let a be o(0). Let u = 1 - a. Is k < u?
True
Let x = 0.2 - -0.2. Let u = -0.27 - -0.87. Let g = x + u. Which is smaller: g or 0.2?
0.2
Suppose n + 43 = 3*j - 0*j, 5*n = 5*j - 65. Suppose 4*o + j = -5*x, o - 6*x = -x - 35. Let k be -1 + (-3)/(18/o). Is 2 < k?
False
Let s = 10 + -9. Which is smaller: 8/5 or s?
s
Let y = 21 + -20. Is -2/53 greater than or equal to y?
False
Let j(q) = -57*q - 3. Let o be j(-3). Let x = -669/4 + o. Is 0 smaller than x?
True
Let g = 134/415 - 108546/269335. Let h = g + -6/59. Is h equal to -1?
False
Let c be (-16)/2*(-8)/16. Suppose -c*s = -s. Is s <= -5/9?
False
Let n = -2 + -1. Let o = 3 - -2. Let u = o + n. Is 2 at most as big as u?
True
Let a = -10 - -7. Let h = 0 + a. Let m be (-26)/6 - h/9. Are m and -2 nonequal?
True
Let h = -0.07 - 0.53. Let q = -0.7 - h. Let v = 0.05 + 0.05. Is v smaller than q?
False
Let k = 14 - 9. Let c = 6.3 - 1.4. Let z = c - k. Which is bigger: z or 0.3?
0.3
Let o(q) be the first derivative of q**2/2 + 7*q + 4. Let u be o(-5). Which is smaller: 4/5 or u?
4/5
Let l = 0.1 + 0.7. Let v = l - 1. Let i = v + 0.3. Is 1 at least i?
True
Suppose 0 = 9*n - 6 - 12. Let a = -1.97 - 1.01. Let q = a + -0.02. Which is bigger: n or q?
n
Suppose 14 + 26 = 4*a. Is a less than or equal to -1?
False
Suppose -6 = -3*b - 30. Let d be (-2 - -3) + 6/b. Which is greater: -1 or d?
d
Let x = -677 - -7453/11. Is x < 1?
True
Let x(j) = j - 21. Let b be x(16). Let p(v) = -v**3 - 5*v**2. Let a be p(b). Which is smaller: a or 1/3?
a
Let o be -1 - -2 - (8 + 1). Do o and -7 have the same value?
False
Let a = 6 + -3. Let h(l) = l**2 + 5*l - 1. Let p be h(-6). Is a less than p?
True
Let b = 1 - 0. Which is bigger: b or 3?
3
Let o = 1/55 - -19/165. Suppose c - 15 = -4*c - 4*b, -3*c + 4*b - 23 = 0. Is o at least as big as c?
True
Let d = 41.1 - 41. Let a = 31 + -16. Are a and d nonequal?
True
Suppose 11*i = 227 + 906. Is 104 less than or equal to i?
False
Let i = 0 + 0. Suppose w = 5*f - 17, i*w - 2 = -2*f + 2*w. Let n(j) = -j + 7. Let s be n(6). Is f at most s?
False
Let v = -7 - -13. Let b be (2 + (-15)/v)*0. Is -1/18 at least b?
False
Let k = 35 - 34.09. Let u = k - 1. Let m = u + -0.01. Is m at least 1/3?
False
Let r be (3/186)/(2/8). Which is bigger: -1 or r?
r
Let j = -12.2 - -12. Let w = 0.8 - j. Is 0.03 less than w?
True
Let r(m) = m**3 + 9*m**2 + 17*m + 21. Let h be r(-7). Which is bigger: 1/68 or h?
1/68
Let o be 800/402 + (-4)/2. Let t be (-209)/(-536)*8/(-12). Let m = o - t. Is m equal to -1/5?
False
Suppose -10*c - 34 = -134. Does 46/5 = c?
False
Let r be 4/(-24) + 290/12. Let q be (r/(-42))/(1/2). Is 0 < q?
False
Let v = 0.792 - 0.052. Let y = -0.26 - v. Which is smaller: -6/5 or y?
-6/5
Let p(s) = -s**2 + 2*s + 3. Let f be p(4). Which is smaller: f or -4?
f
Suppose 0*l - 9 = 3*l. Which is smaller: l or -13/4?
-13/4
Let b = -3.6 - -6.4. Let l = 0.2 + b. Let d be 2/5 + (-3)/(-5). Do d and l have the same value?
False
Let x(s) = s**3 - 5*s**2 + 2. Let b be x(5). Let n = 5 + -1. Let r be -3*1*n/(-6). Is r at least as big as b?
True
Let p = 19 + -16. Suppose 0 - 3 = -p*s. Let c = -4 - -7. Which is smaller: c or s?
s
Let a(v) be the first derivative of -v**4/4 - 7*v**3/3 - 3*v**2 - v - 2. Let z be 1*((-8 - -3) + -1). Let j be a(z). Is -1/4 != j?
True
Let a = 3.5 + -3.6. Let r be 4/(-15) + (-2)/5. Which is smaller: a or r?
r
Let y be 1/(-1) + 1 - (-25 + 31). Which is greater: y or -4?
-4
Let j be 24/(-35) - 14/(-35). Which is smaller: j or 3/4?
j
Let c = 2 - 1. Let a be 0 + (-2 - c) - -1. Let d = -0.02 + -0.18. Are d and a equal?
False
Let x be 238/330*(3 - 2). Let i = x + -3/55. Let v be 16/10 + 6/(-10). Is v less than i?
False
Let h = -9.3 + -6.7. Which is smaller: 1/4 or h?
h
Suppose 0 = q - 4*l - 8, 0*l = 2*q + l + 20. Are q and -2 equal?
False
Let z(h) = 3*h - 52. Let f be z(18). Which is smaller: 9 or f?
f
Let z = -643/390 + 31/30. Which is greater: z or -1?
z
Let u = 1 + 0. Let m = -84/85 + 10/17. Do m and u have different values?
True
Let a = -107/20 - -23/5. Is a less than or equal to -1?
False
Let b(p) = p**3 - 10*p**2 + 10*p - 14. Let o be b(7). Let w be (-26)/o + (-6)/(-28). Which is bigger: w or 1?
1
Let v(d) = d**3 - 10*d**2 + 9*d + 9. Let y be v(9). Let i be (3/y - 0)*12. Suppose -5*k + k + i = 0. Is k > 1?
False
Let u = -10/7 - -36/35. Let t = -0.2 - -0.4. Is t at most as big as u?
False
Let n = 68 - 67.97. Let r = 1907.97 + -1899. Let a = n + r. Which is greater: 1 or a?
a
Let b = 7673/3 - 2590. Let j = b - -32. Which is smaller: 1 or j?
j
Let s = -6 - -10. Suppose s*h = -h + 45. Let n be 9/(-16)*(-12)/h. Which is smaller: n or -0.1?
-0.1
Let y = -6 + 5.4. Let h = y - -2.6. Let i be 1 + -2 + (-10)/(-15). Are i and h equal?
False
Suppose y - 16 = -4. Suppose -y = 2*a - 4*a. Let d be (4/a)/(4/(-6)). Is 1/6 not equal to d?
True
Let l(w) = -w**3 + 13*w**2 + 14*w - 1. Let m be l(14). Which is smaller: m or 2?
m
Let m(s) = s**2 - 4*s - 1. Let i be m(2). Is 2/7 < i?
False
Let w(c) = -c**2 + 8*c - 10. Let z be w(5). Suppose 4*i + 3*s + 10 = 0, z*s + 5 = 3*i + 2*i. Is 1/10 bigger than i?
True
Suppose x = -0 + 5. Suppose x*o = -5*f + 15, 5*f + 3*o - 2*o - 3 = 0. Is f less than -1/5?
False
Let n = -11.2 - -1.2. Which is greater: -1 or n?
-1
Let y be 3 - ((-24)/140 - -3). Let f = y - 4/7. Is 1 equal to f?
False
Let u be 5/((-25)/(-390))*(-2)/(-6). Does 26 = u?
True
Let t = -45684/53 - -862. Is t less than or equal to 2/5?
True
Suppose 2*a - 6*a = -40. Suppose -5*n + a = -0. Which is greater: n or 1?
n
Suppose -23 - 9 = 4*y. Which is greater: y or -1?
-1
Let v(f) = f**2 - 14*f + 18. Let n be v(12). Which is smaller: n or -3?
n
Let k(p) = 40*p + 1. Let h be k(-1). Let q be -2 - (h/7 + 3). Suppose 3*u + 2 = -5*f, 3*f + u = 2*f - 2. Which is greater: q or f?
f
Let p be (-2)/4*0 - -3. Which is smaller: 5/3 or p?
5/3
Let c = -2.9 + 2. Let t = 1 + c. Let h = 0.8 + -5.8. Which is greater: h or t?
t
Let g = -0.3 - -0.1. Do g and 1/5 have the same value?
False
Let o = 6/19 + -92/171. Let v(j) = j**2 + 6*j + 7. Let t be v(-4). Is o at least t?
True
Let s = -1.1 + 1.34. Let a = s - 0.04. Let v = -0.1 + 0. Is a <= v?
False
Let t = -88/3 - -262/9. Let o = 29 - 28.8. Is o at most as big as t?
False
Let p = 0 + 0.3. Let g = -1.3 + p. Let r = g - -2. Is -2 less than r?
True
Suppose -1 - 3 = 4*p. Let y be (245/115 - 2)/(6/4). Which is greater: p or y?
y
Let x(m) = -m**3 + 3*m**2 + 5*m. Let h be x(4). Suppose -4*y + 2*n - 4 = 0, 0 = y + y - h*n + 2. Are y and -6 unequal?
True
Let m be (21/(-17) + 1)/(-2). Let f be (4/6)/((-2)/12). Let l be 1/(f + (-12)/(-4)). Which is greater: m or l?
m
Suppose 0 = -w, 0*w = c - w + 145. Let r = -1449/10 - c. Let o = 17/30 + r. Are o and 0 nonequal?
True
Suppose 12*y - 16*y = 0. Let q be (-2)/(-7) + 8/21. Is q at least as big as y?
True
Let u = -15 + 8. Let w = u + 12. Suppose 4*b = -5*m - 5, 3*m = 3*b - 2*m - w. Which is smaller: 1 or b?
b
Let q(o) = -o + 10. Let g be q(12). Let u be -1*1*(g + 1). Is -1 <= u?
True
Let a = -21.22 + 21. Let l = a + 0.2. Which is bigger: 1/3 or l?
1/3
Let i = 0.22 + -0.14. Let l = i - -0.12. Which is bigger: l or -0.8?
l
Let j = 5.8 + -6.8. Does 8 = j?
False
Suppose 0 = 6*k - 1 - 5. Which is smaller: 12/11 or k?
k
Let x be 4/8*-2*7. Which is smaller: x or -4?
x
Let x be (2/1)/((-12)/(-18)). Let k be x/6*(-206)/60. Let t = -19/12 - k. Which is smaller: t or 1?
t
Let k = -19 - -39/2. Which is bigger: 2 or k?
2
Let w = -357 + 358. Let o(b) = -b**2 - 6*b + 2. Let n be o(-6). Is n at most w?
False
Suppose -4 = c - 2. Let n = -2 - -1. Is n less than or equal to c?
False
Let a(q) = q - 3. Let x be a(-5). Is -10 != x?
True
Let f = 227/68 - -7/17. Let a = f - 7/2. Is a bigger than -1?
True
Let w(n) = 3*n**2 + n. Let z be w(1). Suppose -4*f - z = -2*f. Do f and 0 have the same value?
False
Let d(t) = -t**3 + 5*t**2 - 4*t + 1. Let r be d(4). Suppose s - 163 = -5*u - 0*s, u + 5