5
Suppose 32*p + 20 = 22*p. Which is greater: p or 0?
0
Let u = 38 - 20. Let q = u + -14. Is 0.1 equal to q?
False
Let f(t) = -t - 5. Let h be f(-6). Let j be 2/12*1/h. Which is smaller: j or 0?
0
Let w = -1 - -4. Let k = w + -1. Which is greater: k or 1/2?
k
Let p(v) = v**3 + 8*v**2 + 5*v + 4. Let f be p(-7). Do 18 and f have different values?
False
Let b be ((-4)/(-10))/(14/(-40)). Which is smaller: -2 or b?
-2
Let j = -2.9 - -5.9. Which is smaller: j or 2?
2
Suppose 4*o + 2 - 86 = 0. Let g = o - 23. Does g = -9/5?
False
Let t = 10/13 - -22/39. Let o = -5 + 7. Which is smaller: t or o?
t
Let s = 41 + -29. Let u = 18 - 7. Which is smaller: u or s?
u
Let x be (3/(52 - 1))/(-1). Which is smaller: x or 0?
x
Suppose -5*n = 4*h - 0*n + 36, 4*n = 3*h + 58. Is -14 greater than h?
False
Let u be (21/(-35))/(2/(-30)). Which is smaller: u or 10?
u
Let i(t) = 405*t**3 + t - 1. Let a be i(1). Let c = a + -7697/19. Is 0 > c?
True
Let d(h) = h**3 - 3*h**2 - 7*h - 1. Let b be d(5). Let s = b + -13. Which is smaller: 9/7 or s?
s
Let f be (-21)/42*(-1 + 3*1). Let o = 5 - 4. Is o at most as big as f?
False
Let n = 98225/107 + -918. Which is bigger: 1 or n?
1
Let j = -12.5 - -12.573. Is 0 less than or equal to j?
True
Let h be 1/(-2 + 27/12). Let v = h - 7. Let w = 1459/4 + -367. Is w at most as big as v?
False
Let r = -6 - -5.9. Let b = 13 + -9. Is r at most as big as b?
True
Let m = 0 - 1. Let c(s) = -s. Let y be c(7). Let h = y - -8. Which is bigger: h or m?
h
Let g(d) = -d**2 - 9*d + 4. Let y be g(-9). Let o(j) = -2*j - 3. Let b be o(-3). Do b and y have the same value?
False
Let r be ((-33)/9 + 3)*42. Is r less than or equal to -27?
True
Suppose 2*n + 1 = 3*n. Let l = 1 - n. Let s be 2/4 + 2 + (-93)/30. Which is bigger: s or l?
l
Let q = 0.4 + -0.8. Let x be 0/(-1) + -3 + (0 - -4). Is x greater than q?
True
Let q = 49 + -33. Let d = 13 - q. Is 0.1 smaller than d?
False
Suppose 3*q = -3*m + 15, 2*m + 12 = 2*q + 3*m. Suppose -2 = s - q. Which is smaller: s or 19/5?
19/5
Let f be 2/(-8) - (-63)/12. Suppose -d = -f*d. Which is greater: 1 or d?
1
Let w = 2 + -6. Let l = w - -4. Let z = l + 0.1. Which is greater: -1 or z?
z
Let i(p) = p - 3. Let h be i(5). Suppose h*r + r = 0. Let k = r - 3. Is k greater than -4?
True
Let d = -0.06 + 12.06. Let r = 5 - d. Is -2/3 <= r?
False
Suppose r + 5*q = 6, -q - 1 - 3 = -5*r. Is r less than or equal to 2/33?
False
Let q = 5 - 13. Which is smaller: q or -6?
q
Let h(c) = -c**2 - 4*c - 1. Let x be h(-3). Let u be (2 - 5/x)*8. Let t be (-1 + 1)/(u - -5). Is t less than or equal to 0?
True
Suppose -2 + 7 = -5*k. Let d = -13 + 15. Are d and k equal?
False
Suppose 2*y + 4 = 0, 0 = -2*t - 5*y - 0*y - 8. Is t greater than 2/203?
True
Let a = -5 + 6. Let x be (-1)/a*0/(-1). Let f be (-6)/8 - (0 - x). Which is greater: -1 or f?
f
Let n = 14945/3 + -163213/33. Suppose 0 = 2*a - 69 - 3. Let o = n - a. Which is smaller: o or 0?
o
Suppose 130 = -m + 6*m. Let l = 31 - m. Is l at least as big as 1?
True
Let b = 139 + -122. Which is greater: b or 18?
18
Suppose -14*g = -19*g. Suppose -5*u + 0*f - f + 10 = g, 0 = -3*u + 5*f - 22. Is 4/11 smaller than u?
True
Let r(m) = m + 4. Let i be r(-4). Let o be 21/27 - 1 - i. Is 1 at most o?
False
Let v = -13/4 - -25/8. Does 0.2 = v?
False
Suppose 0 = 10*s - 5*s - 20. Suppose -o = -2*o + s. Let p be (-8)/10 + o/10. Which is bigger: 0.2 or p?
0.2
Let b = -10.7 + 4.7. Is b >= -0.1?
False
Let g be 189/18 + 1/(-2). Let t = 11 - g. Let h be (-1)/3*6/(-4). Which is bigger: t or h?
t
Let n(o) = -3*o. Let u be n(-1). Let y = u - -7. Is 10 at most y?
True
Let l(m) = m**2 - 9*m + 10. Let y be l(8). Let w be 0 + (-2)/y*-1. Which is smaller: w or 2?
w
Suppose -4*w = s + 4, 5*w - s + 5 = -9. Suppose -3*p + 2*x = 23, 0 = -0*p + 2*p - 3*x + 22. Let l = p - -3. Is w at most l?
True
Let o(u) = 12 + 2*u - u - 9. Let x be o(-4). Which is smaller: x or -1/5?
x
Let r(f) = f**3 + f**2 + f + 1. Let y be r(3). Let n be (-38)/y + (-2)/8. Which is greater: -2 or n?
n
Suppose -4*y + x = -85, 15 = 5*y - 3*x - 93. Let g be (-3)/y*(-4)/(-2). Let s = 1 + -0.9. Which is smaller: g or s?
g
Let x(l) = 2*l**2 + 42*l - 21. Let n be x(-21). Which is smaller: -20 or n?
n
Let j be (-26)/(-38) - (-4)/(-6). Do j and 0 have different values?
True
Suppose 0*m = -2*m. Suppose 3*y - 3*k - 15 = m, -y + 5*k = -4*y - 17. Let u = 80 - 238/3. Is y greater than u?
True
Let z = 4 - -9. Which is bigger: z or 12?
z
Let n be 0/(1/3 - 16/(-24)). Is n <= 7?
True
Let x = -287/72 + 46/9. Which is greater: 2 or x?
2
Suppose -3*b - 4*a + 8 = -9*a, -2*a + 1 = 3*b. Let n = 107 - 2249/21. Which is bigger: b or n?
b
Let k = -6 - -10. Let p be (-1)/k - 117/(-324). Which is smaller: p or 0?
0
Suppose 2*g - g = 1. Let b be (g - -9)/(-2 - 0). Which is greater: -7 or b?
b
Suppose -5*q + 24 - 6 = b, q - 4*b - 12 = 0. Let j(z) = -z + 4. Let g be j(q). Let y be ((g/(-3))/3)/(-1). Which is bigger: y or -0.1?
y
Let y = -0.3 - -1.3. Let s = 2 - 2.3. Let k = s + 0.2. Is k not equal to y?
True
Let l be -3*1 + 2 - (-11 + 12). Which is smaller: l or 1?
l
Suppose -c - 6 + 1 = 0. Let t be ((-4)/c)/((-1)/(-5)). Suppose 0 = -0*k - t*k. Is k != 3/8?
True
Let u = 3 + -3. Suppose -f - 4*f = u. Let z = -3 + f. Is z at least -3?
True
Let i be (1/6)/(1/(-2)). Let z be ((-2)/(-6))/(1/6). Let c be (z + -1)*(-2 + 2). Which is smaller: c or i?
i
Let v(h) = -h**3 + 9*h**2 - 8*h + 3. Let x be v(8). Suppose -30 = 5*c - 3*g + g, 0 = -x*c - 4*g + 8. Is c equal to -5?
False
Let i be -2*(1 - 9/6). Is 1 bigger than i?
False
Let v(a) = a**3 + 4*a**2 + 2*a + 5. Let w be v(-4). Let t = w + 2. Which is bigger: t or 1?
1
Suppose 4*x + 5*b - 121 = 0, 2*x + 3*b - 36 = 25. Which is smaller: x or 30?
x
Let g be 8/(-5) - (-6 - -5). Are g and -3 unequal?
True
Suppose 5 = -3*v + 2. Let x be (46/9)/(-2) - -1. Is v at least x?
True
Suppose -5*q = -3*q - 6. Suppose -i = q*i + 16. Let c be 4*(2/8 - 1). Is c < i?
False
Suppose -4*i - 3*r = -110 + 434, 0 = -2*i + 5*r - 188. Let k = -165/2 - i. Which is bigger: 3 or k?
3
Let g = 3.86 + 0.14. Let m = -5 + g. Let t = 0.11 + -4.11. Which is smaller: m or t?
t
Suppose 0 = -7*x + 3*x + 8. Suppose 6 = m + x*m. Do m and 1/2 have different values?
True
Let q(m) = m**2 - 7*m + 4. Let n be q(6). Let k be -2 + 4*n/(-4). Let x(v) = -v. Let t be x(1). Are k and t nonequal?
True
Let x be 26/(-39) + (-56)/(-66). Let r be 3/2 + (-1)/2. Which is smaller: r or x?
x
Let f be (3/(-2))/(9/12). Let q = -1 - -4. Let p = q + -2. Which is bigger: f or p?
p
Let m = -0.01 + -0.21. Is m > 1/3?
False
Suppose -2*a - 18 = 5*w, -5*a - 5*w - 19 = -4. Which is smaller: 1/26 or a?
1/26
Suppose -2*i + 5*i + 57 = 0. Which is smaller: -20 or i?
-20
Suppose -4 = -2*f - 5*p + 4, 3*p - 10 = 4*f. Let q = 0.061 - -0.139. Which is smaller: q or f?
f
Let y be (-23)/60 + (2 - 21/12). Which is greater: y or 1?
1
Let n = -41 + 48. Let y be (-38)/(-6) + (-2)/(-3). Are n and y nonequal?
False
Let a(y) = y**2 + 16*y. Let s be a(-16). Suppose 0*i + i - 54 = 2*f, 27 = -f - 2*i. Let x = f - -133/5. Is s not equal to x?
True
Let b(t) = 7*t**3 - t**2 + 1. Let o be b(-1). Which is smaller: -8 or o?
-8
Let m = -9 - -25/3. Which is smaller: m or 10?
m
Let z = 26 + -26. Is z at least 0?
True
Let b be 324/(-10) + (-18)/30. Let p be -2 - 2*b/36. Which is greater: 0 or p?
0
Suppose 3*w + 115 + 2 = 3*l, 2*w = -2*l - 62. Is -34 not equal to w?
True
Let s = -6 - -5.9. Let t = -6.02 + 0.02. Is t greater than or equal to s?
False
Suppose -2*l + 0 = 2. Let v(j) = -j**2 - 6*j + 7. Let p be 81/(-12) + (-1)/4. Let c be v(p). Is c at most as big as l?
False
Let d = -0.02 + 5.02. Let f = 4.9 - d. Let k = 9.1 - 9. Which is bigger: k or f?
k
Suppose 5*p - 12 = -2. Let y(m) = -m - 8. Let r be y(-8). Which is smaller: p or r?
r
Let q be 2/((-6)/(-45)*3). Suppose 2*c - 24 = q*c. Is -8 > c?
False
Let q = 35 + -23. Let l be (2/16)/(2/q). Suppose 4*f - 16 = 8*m - 4*m, 0 = -5*f - 3*m - 4. Which is bigger: f or l?
f
Let r = 54 - 54. Is -1/36 smaller than r?
True
Let z = -10 + 15. Suppose z*i + 19 = 4*l - 0, -5*l - 4*i = 7. Which is bigger: 2/13 or l?
l
Let u be 2/7 - -376*(-8)/(-56). Does 54 = u?
True
Suppose 0*a = 5*a. Which is bigger: a or 2/13?
2/13
Suppose -3*k - 441 = -3*b, k + 4*b = 4*k + 438. Let q = -597/4 - k. Is q greater than -1?
True
Let