: p or h?
p
Let x = -76 - -42. Let n = x - -57. Let l = n + -32. Is l bigger than -9?
False
Let x = 0 + 1. Let l = 44 - 70. Let n = l + 22. Which is smaller: x or n?
n
Let f = -0.054 - 0.546. Let y be (3 + 2)*4/(-5). Let z be (y/(-10))/((-8)/10). Is f at least z?
False
Let q = 0.069 - 29.069. Let x = -29.1703 + 0.0703. Let h = x - q. Which is smaller: h or 31?
h
Suppose -4*y - 2*b = 446, b - 51 = 3*y + 296. Which is greater: -229/2 or y?
y
Suppose -4*l = -7 - 9. Suppose -4*a + l = 4*p, -2*p + 5*p = 3*a - 27. Which is greater: a or 4?
a
Suppose -3491 - 8193 = 46*n. Is -255 < n?
True
Let b = -0.046 + -31.954. Which is bigger: b or -1/7?
-1/7
Let m(v) = -v**2 + 6*v - 8. Let y = 1 + 17. Let f = -11 + y. Let c be m(f). Which is bigger: c or -1/4?
-1/4
Let r(h) = 5*h**3 - 2*h**2 + 3*h + 4. Let q be r(-2). Let d be (-30)/q*22/6. Which is greater: d or 3?
3
Let k = -287 - -288. Is 1/61 <= k?
True
Let d(n) = n**3 - n + 1. Let m(r) = -7*r**3 + 15*r**2 + 21*r + 10. Let g(k) = -6*d(k) - m(k). Let s be g(16). Is 0.009 at most s?
False
Let q = 347/28 - 92/7. Let y = 73.3 - 81.3. Is q greater than or equal to y?
True
Suppose -2 = 6*w - 14. Suppose 0 = -n - w*n + 111. Which is greater: n or -1?
n
Let t(a) = -13*a + 3. Let f be t(2). Let m = f - -21. Let k = 12 - 13. Which is smaller: k or m?
m
Let o(r) = 3*r**2 - 6*r - 13. Let v be o(10). Is v at most as big as 227?
True
Let x be (-44)/(-36) - (-4)/(-18). Let l = 0 - -1. Let g(k) = 3*k**3 - 2*k + 1. Let f be g(l). Is f at most x?
False
Suppose 48 - 48 = -5*n. Which is smaller: 3/7 or n?
n
Suppose 2*g - 9 = g - 5*m, 6 = 2*m. Let a = -1 - g. Suppose a*n = 1 + 9. Are 5/2 and n unequal?
True
Let n(c) = -c**2 - 3*c + 1. Let w be n(-4). Suppose 0 = q - 2*j - 6, -5*q + 0*q = -j + 6. Does q = w?
False
Let v(j) = 15*j - 6. Let c be v(-3). Let l = c + 96. Is l greater than or equal to 46?
False
Suppose m = -5 + 9, 4*s - 2*m = -988. Let r be 2/(-52)*4 + s/13. Suppose -76 = 2*o + 2*o. Is o at least as big as r?
True
Let y = 0.29 - -14.71. Let m = -27 + y. Let d = m - -13. Which is bigger: d or -4?
d
Let x = 1218 + -1223. Is x <= 3/38?
True
Let q = 194.83 - 195. Which is smaller: -0.02 or q?
q
Let j = 0.063 + 7.937. Let z = j - 7.75. Does -0.1 = z?
False
Suppose -1 - 9 = -5*k. Suppose -2 = k*u + 4*s, -4*u + 6*u - 1 = -s. Which is bigger: 3/5 or u?
u
Let t(q) = -q**3 + 9*q**2 - 6*q + 10. Let s be t(7). Let j be -2 + 4 - 60/s. Let b = -16/55 + j. Is 0 at most as big as b?
True
Let s = 623 + -804. Are -184 and s non-equal?
True
Suppose 1208 = 3*k - 2*j, 2*k + 5*j = 188 + 611. Is k greater than or equal to 402?
True
Suppose -16 = -4*c, 0 = 5*d - 0*c - 3*c + 27. Let o be 0/2 + 34/(-8). Is d at least o?
True
Let z = 2.63 - -7.37. Let q = -2 + 3. Let l = q + -1. Which is smaller: l or z?
l
Let a be (-6)/2*1/(-27). Let l(z) = z - 11. Let m be l(7). Let v = -4 - m. Which is smaller: a or v?
v
Let h be 3 - -1 - (-10900)/(-2720). Which is smaller: 1 or h?
h
Let i = -286 + 6007/21. Let m be (-27)/(-18)*(-4)/6. Is i greater than m?
True
Let i = -264 + 265. Which is bigger: i or 2/67?
i
Let i = -1020 + 428. Which is bigger: i or -0.1?
-0.1
Let m(u) be the second derivative of u**3/6 - u**2/2 - 17*u. Let v be m(3). Suppose -12 = -5*t - 0*x + x, -4*x = -4*t. Which is greater: t or v?
t
Let s(j) = -j**2 + 22. Let o be s(-8). Suppose -2*z = 78 + 4. Do z and o have the same value?
False
Let k be 0/2 + 3 + (-32 - 63). Let f = 1/2617 - 2651032/28787. Let h = f - k. Which is smaller: h or -1?
-1
Let p = 6.875 - -0.025. Let m = 18 - 18.9. Let d = p + m. Which is smaller: 0 or d?
0
Let b = 516 + -517.83. Is 0.1 less than or equal to b?
False
Let c = 1/600 - -1121/47400. Let i = c - -25/2133. Which is greater: i or 0?
i
Suppose 0 = -3*f - 4*v - 15, -v - 5 + 0 = f. Suppose 4*c - 5*o + 0 = 21, -2*o - 18 = -4*c. Let y(g) = -2*g + 4. Let a be y(c). Which is bigger: f or a?
a
Let i be 4*6/8*(-4 + 1). Let a be i + 12 - 38/14. Do a and 0 have the same value?
False
Let d(a) = -11*a**2 - a. Let l be d(-1). Let s = -8 - l. Suppose 0 = v + s*v, m + v - 8 = 0. Is m equal to 8?
True
Let w = -3 + 2. Let c = -0.072 + 39.072. Let a = -39.03 + c. Which is smaller: w or a?
w
Let i(h) = h - 19. Let j(o) = -12*o - 5. Let y = -6 - -4. Let p be j(y). Let q be i(p). Which is greater: 2/69 or q?
2/69
Let l(h) = -h**3 - 14*h**2 - 13*h. Let n be l(-13). Let r be (-60)/(-260) + 0/2. Which is smaller: n or r?
n
Let a = 25/96 - 643/32. Which is smaller: -19 or a?
a
Suppose -s - 2*b + 1739 = 0, 2*b + 5257 = 3*s - 2*b. Is -0.1 greater than s?
False
Let u(j) = j**3 + 3*j**2 + j - 2. Let i = 1 + -3. Let c be u(i). Suppose -32918*n + 30 = -32903*n. Is c less than n?
True
Let b = 83452009/372 + -224333. Let s = 3/124 - b. Suppose 5*k + 5*p + 45 = 0, 14 = -4*k + 2*p - 4. Is k less than or equal to s?
True
Let r(j) = 257*j**3 + 3*j**2 + 3*j + 1. Let o be r(-1). Let k be -2 - (o/(-36))/(-4). Is -3 greater than k?
False
Let h(s) = -s**3 - 5*s**2 - 2*s - 4. Let u be h(-5). Let t = 1 - u. Let r(m) = -2*m - 5. Let a be r(t). Which is smaller: a or 13/3?
13/3
Let j be (-26 - -15 - -14) + 13/(-4). Which is smaller: j or -1?
-1
Let s(l) = l**3 + 12*l**2 + 9*l - 5. Let u be s(-11). Let q = -10 + u. Which is smaller: -2/5 or q?
-2/5
Let b = 22/9 + -151/36. Is b less than or equal to -2?
False
Suppose 2*k = 3*n - 0*k + 2, -4*k = n - 4. Suppose w + n*c + 2*c - 13 = 0, -4*w + c = -70. Suppose 0 = -4*t - f + 8, -5*f + w = t - f. Is 3 <= t?
False
Let r(x) = -73*x - 59. Let v be r(-1). Let w(u) = u**3 - 2*u**2 - 4*u - 1. Let k be w(4). Is k equal to v?
False
Let h(j) = j**3 + 7*j**2 - 6*j - 41. Let c be h(-8). Is c greater than -57?
False
Suppose -a + 2*w = -19, w = 2*a - 0*w - 38. Which is smaller: a or 18?
18
Suppose -6*a - 1855 = -a. Let r = a + 1834/5. Suppose 0 = -2*f - f - 9. Which is smaller: f or r?
r
Let x = 713 - 714. Do x and -2/71 have the same value?
False
Let y be 4*-3 - (-14664)/1170. Which is greater: -0.03 or y?
y
Let g = -12 - 6. Let o = g + 17.93. Let r = o + 1.07. Which is smaller: r or -3/5?
-3/5
Let v = -157 + 3296/21. Is v less than or equal to 2/15?
True
Suppose -4*m + 7*m = 33. Suppose 0 = 13*h - m*h - 4. Suppose -11 = -h*c - 13. Is 0 at most c?
False
Let h be ((-2)/5*-227)/(4294/10). Let p be ((-27)/(-339))/(6/(-8)). Let u = h + p. Which is bigger: 1 or u?
1
Suppose -3*t = 2*x - 8*t - 98, -2*x = 4*t - 80. Let r = -33 + x. Do r and 0.3 have the same value?
False
Let n(q) = 3*q**3 - 2*q**2 - 2*q - 1. Let v be n(-1). Let r(t) = -t - 1. Let c be r(v). Let h be (1 - 2)/(c - 2). Which is smaller: 1 or h?
h
Let v = 13 + -19. Let d be (-2)/20*(-5 - (-1 + v)). Is -1 <= d?
True
Let u = 29 - 23. Suppose -36 = u*x - 10*x. Is 13 greater than x?
True
Suppose 5*p = 4*g - 6, -2*g + 5 + 3 = -5*p. Let r be p - (1 + (-4 - -1)). Suppose 0 = -2*w - 4*x + 18, 28*x - 30*x = -10. Which is bigger: r or w?
r
Let p = 0.342 - -0.048. Let r = p - -0.91. Is r less than -2?
False
Let q(m) = m**2. Let w be q(0). Let d be -1*(w - -3) + -1. Which is smaller: -0.1 or d?
d
Let u be (3/(-15))/(30/50). Which is smaller: u or -79/2?
-79/2
Let f = -13 - -22. Let j(w) = -52*w + 372. Let p be j(7). Which is smaller: f or p?
p
Let v = -196/3 + 64. Let u(g) = -4*g**2 + 10*g**2 + 1 - g**3 + g - 2*g + 4. Let t be u(6). Which is bigger: v or t?
t
Let z be (-2695)/105 - (-8)/3. Are 6 and z non-equal?
True
Let l = 320 - 686. Let i = l + 11348/31. Suppose t + 3 - 4 = 0. Is i < t?
True
Let l = -13.2 + 25.142. Let v = l + 0.058. Is 0.1 >= v?
False
Let s be (-2520)/576*8/(-14). Let q = 7 + -4. Which is smaller: s or q?
s
Let h = -318.7 - -319. Let m = -40 - -39.94. Is m at least h?
False
Let c = 0.4 - 3.4. Let k = -86 + 59. Let u = 26 + k. Does u = c?
False
Let h = -17 + 19. Let o(w) = 3*w**2 - 6*w + 1. Let q be o(h). Let x be 7/3 - q/3. Which is smaller: x or 1/2?
1/2
Let h be (-2)/(-6) + (-11)/15. Let k = 11/204 + -689/1428. Is h greater than k?
True
Let m = -21 - -33. Suppose x = -m + 14. Which is smaller: 8/3 or x?
x
Let z = -435 - -576. Is z != 2/7?
True
Let w be (-39)/117*(-3)/2*7. Let r = 5 - w. Are 2 and r non-equal?
True
Let x be -4 + (-4)/(-2) + -3 + 4. Which is greater: x or 4/7?
4/7
Let a be ((-128)/640)/(0 - 2/230). Is 16 less than or equal to a?
True
Let l = 82 + -81. Let k = -7 + 9. Suppose 0*w - 3*w = -4