 4*p - 5*h. Which is smaller: p or 23?
p
Let g(l) = 10*l - 17. Let c(y) = -3 + 3*y - 15 + 16*y - 15. Let h(z) = 4*c(z) - 7*g(z). Let i be h(2). Which is smaller: -9/4 or i?
-9/4
Let y be (-56)/(-14) + 269/4. Let a = 853/12 - y. Does 1 = a?
False
Let o be (-2)/((-24)/2498) + (112/(-48) - -2). Are 208 and o equal?
False
Let j be (-14 - 1)/((-23)/828). Let r be -3 - 4/(j/(-395)). Which is smaller: -1 or r?
-1
Suppose 0 = -s + 4*p - 21, -5*s - 2*p = 23 + 16. Let b be s/(-6)*(-4)/3 - -1. Which is smaller: -3/83 or b?
b
Let w be 2*(195/2)/(-15). Let x(k) = -k**2 - 13*k + 5. Let i be x(w). Which is smaller: i or 37/7?
i
Let s be (-6366)/90 - 12/18. Let x = s - -12143/170. Let b = 14 + -13. Which is smaller: x or b?
x
Let c = 2551815/32 + -79736. Which is bigger: 8 or c?
c
Let a = -3 + 3.1. Let w = a + 0.5. Suppose -u = p - 11, 4*p + 8 = 2*p + 4*u. Is w >= p?
False
Let v(x) = -3*x**3 + 3644*x - 3641*x + 4*x**3 + 8 + 0 + 3*x**2 + 0*x**3. Let t be v(-3). Which is smaller: 115 or t?
t
Let u be 0/((-5)/(70/(-28))). Is 4/55 > u?
True
Let c be (-3635)/(-2)*(-24)/10. Which is greater: c or -4361?
-4361
Let r = -3083.405 - -3056. Let s = r - -18.35. Let u = s + 0.055. Is 0.2 at most u?
False
Suppose 12856 + 4424 = 8*w. Suppose -w = -1966*d + 1961*d. Is 433 >= d?
True
Let z = -1433.1 - -1500.1. Is -6 greater than z?
False
Suppose 3 = 3*d, -30*d - 83 = -3*x - 29*d. Suppose x*z - 16 + 44 = 0. Which is greater: 2/553 or z?
2/553
Let x = -219 + 245. Let y = -14 - x. Which is smaller: y or 7?
y
Let n be (-4)/(-5) + 33/(-60). Which is greater: n or -6067?
n
Let y be ((-28)/7 - -10) + -11. Let b be 1 + (272 - (y + 10 + 0)). Which is smaller: b or -0.1?
-0.1
Let p = 3 + 2. Let b(s) be the second derivative of -s**3 + 6*s**2 - 2*s - 112. Let g be b(p). Which is greater: g or -19?
g
Let q = 568/11 - 5024/99. Let g = 3 + -1. Which is bigger: g or q?
g
Let j be 6/4*69344/(-132). Let d = -453 - j. Which is smaller: d or 333?
333
Let u = 5735640 + -5735659. Let q(m) = m**3 + 4*m**2 + 4*m + 2. Let t be q(-3). Let p be 4*-5 - 0/t. Which is bigger: u or p?
u
Let d be 13 + (-1096060)/200 - 3/(-10). Which is smaller: d or -5468?
-5468
Let i(l) = 2*l**2 - 3*l**2 - 23*l + 61*l - 8 - 31*l. Let f be i(6). Let d = 30 + -28.5. Which is greater: f or d?
d
Let o be (-8)/6*1134/(-28). Suppose 1 = 2*g + 5. Is g at least o?
False
Let l = 524 + -520. Suppose -2*w + 10 = 2*t + w, -15 = -3*t - 3*w. Suppose -t*o = 4*i + 1 + 19, l*o = i - 16. Which is greater: -5/6 or i?
i
Let f = 0.26 + -11.96. Let r = -7.7 - f. Which is greater: -0.7 or r?
r
Suppose -r + 10 = 2*m - 4*m, 4*m + 26 = 5*r. Suppose 3*q + 1 = -r*n - 1, 0 = -2*q - 2*n - 2. Which is smaller: q or -5/21?
-5/21
Let m be (635965/(-465))/(2/(-6)). Is 4104 > m?
True
Let w be (-42)/(-4)*19/(-683886)*-72. Is 1 < w?
False
Let q be 21/(-10)*28/105. Let v be (9/(-6))/(3/4). Which is greater: v or q?
q
Let h be 2/(-1) + (1 - 0). Let k be (-2*(-9)/(-138))/(504/48 - 27). Which is smaller: h or k?
h
Let r = 30158 + -30707. Which is smaller: -555 or r?
-555
Let a be (-20)/(-8)*(-24)/(-30). Suppose -a*y + d = -507 - 1, 2 = d. Do y and 255 have different values?
False
Let s(a) = 17*a - 153. Let c be s(9). Suppose -6*q + 31*q + 125 = c. Suppose 2 + 4 = -2*u. Are q and u unequal?
True
Let k be (((-852)/(-9))/4)/(-4 + (-455)/(-117)). Which is bigger: k or -1?
-1
Suppose 8*s - 3*s - 20 = 0. Let a be s/(-2) + (-24)/(-27). Let t be 0/((8 + -8)/11 - 3). Which is smaller: a or t?
a
Let h = -1 + -5. Let r be (-36 + 36)/(-1*(0 + 2)). Suppose 8 = 3*w + 5*i - 2, 2*w - 4*i + 30 = r. Is h at most w?
True
Let v = 64 + -62. Let c be 0*v/(3 + -5). Suppose c = -4*i + 2*i - 2*i. Which is bigger: i or 2?
2
Let o be (-1)/9*3 + (-893)/3. Let t = o + 329. Which is greater: t or 33?
33
Suppose 13*x + 41 = -d + 5*x, 0 = -2*d + 4*x + 18. Which is greater: d or 32/403?
32/403
Let o = -1.46 + 0.63. Let t = o + 1.23. Is -6/11 greater than t?
False
Let y be (-2)/7 + 115/378. Let f be 0*25/900*18. Which is smaller: y or f?
f
Suppose -4*u - u = -45. Suppose -6 = -2*g + 5*f - 25, u = -2*g + 3*f. Let j = 30 - 29. Is j equal to g?
False
Let k be (-214)/(-40) - (-3)/12. Let v(h) = -6*h - 182478 + 182605 + 0*h. Let g be v(20). Is g > k?
True
Let j = -2394.65723 - -2394.7. Is 0.2 smaller than j?
False
Let v be ((-21)/(-6))/((-8)/6). Let s be 744/(-22) + (-5)/((-110)/(-4)). Let o = -38 - s. Which is greater: v or o?
v
Let g = -179951/21 + 59986/7. Let t = -9 - -40. Which is greater: g or t?
t
Let j(r) = -6*r**3 - 7*r + 7. Let w be j(1). Let m be (20/11960)/((-3)/w). Which is smaller: m or 0?
0
Let y = 0 - 3. Let m = y + 3. Let x be (-2)/(-12)*(-52)/(-1014)*91. Which is smaller: m or x?
m
Let o(n) = -3*n + 4. Let h be o(-2). Let l be (3 - 11) + 85/h. Suppose 5*y + x + 15 = 0, 3*x + 0*x = 4*y + 31. Is y <= l?
True
Let l = 2709 + -2682. Which is greater: l or 256/9?
256/9
Let g(c) = -16*c**3 - c - 3. Let r be g(-1). Suppose 110*d - 112*d + r = 0. Is d less than or equal to 3?
False
Suppose -j + 2*u = -221, -3*j + 3*u + 813 = 144. Is -2.3 equal to j?
False
Let p(z) = -z**3 + 4*z**2 - 4*z + 4. Let q be p(4). Let j = q + 12. Let k be 35/(-8) - 120/(-320). Is k at most as big as j?
True
Let l be 2 - (-3)/(-28)*3384/182. Let a = 198/106379 - l. Let s = a - -213/7682. Is 1 >= s?
True
Let x = -27.0451 - -27. Which is greater: 0.1 or x?
0.1
Suppose 0 = 12*s + 1052 + 2752. Which is smaller: s or -0.2?
s
Let p(c) = -2*c**2 + 9*c - 5. Let t be p(4). Suppose r + 2*r = 60. Let u be (r/13)/(-1 - 1). Is t less than or equal to u?
True
Suppose 5*w = 4*g + 51, 3*w - 4*g - g - 41 = 0. Suppose w*v = 2*v + 485. Let n = v + -387/4. Which is smaller: 0 or n?
0
Let g = -84.11 + 458.11. Which is bigger: g or -1?
g
Suppose 12*a - 13*a - 40 = 0. Suppose 16 = -4*m, -4*v + 0*v - 3*m = 168. Does v = a?
False
Let k be -11 + 17 - (20 + -4). Is -243/23 greater than or equal to k?
False
Let q(j) = j**2 - 233*j + 5553. Let a be q(27). Suppose 3*i = 2*i - 9. Is a at least as big as i?
True
Let t be (1*86/(-5))/(32 - (-1216)/(-40)). Is t equal to -12?
False
Suppose -164*t + 118 = -46*t. Is t at most as big as -33/130?
False
Let l be 0 + 4 - ((-30)/50 - 16). Is l greater than 20?
True
Let w be 11 + -130 - (-1 + 9). Let o be ((-21)/28)/(w/80 + 2). Which is smaller: o or -3?
-3
Let m = -1.29 + -151.71. Let g = -140733 - -703667/5. Which is smaller: m or g?
m
Let d = -44597 - -44627. Let s = -11 - -15. Suppose s + 112 = 4*p. Is d not equal to p?
True
Let z = 235147/103 - 2283. Let b(j) = 1341*j - 2682. Let g be b(2). Which is smaller: g or z?
z
Let z = 226.8023 - 226.8. Are z and -2/11 nonequal?
True
Let z be (-1)/(0 - 1) - (-19)/((-1596)/108). Which is bigger: 419.1 or z?
419.1
Let n = -3379/97146 + 7/514. Is n greater than or equal to -1/3?
True
Let z = 52.54807 - -0.05193. Which is bigger: 1 or z?
z
Let f(k) = -k**2 + 26*k - 29. Let j be f(25). Suppose -4*r - 4*s - 92 = 0, -r = 3*r - 4*s + 100. Let u be -14*j/r*-3. Which is greater: u or -0.1?
u
Let b = -14.58 + 15.5. Let k = b - 0.92. Which is smaller: k or -8/5?
-8/5
Let q be ((-3 - -4)/((-2)/(-204)))/2. Let a = q + -44. Is a >= 7?
True
Let s = -1868 - -173719/93. Is s at most as big as 1?
True
Let q be 4/(-1) + -1*(-578)/2. Let m be q*(-10)/15 - -6. Is -185 > m?
False
Let o = -125 + 132. Let u be (o - (-270)/(-35))*2/(-1). Is -3 at least u?
False
Let n = 31837/656352 + -19/387. Let q = n - -25017/1696. Let p = -95 + 110. Is q > p?
False
Let q = 12.47 + -2.72. Let r = q - 1.75. Which is smaller: r or 0.1?
0.1
Let h = -316.6 - 229.9. Let o = h - -546. Is -0.5 > o?
False
Let g = 1/487459 - -2722945963/5362049. Is g equal to 508?
False
Suppose 2*c - 16*i = -11*i, -5*i = -c + 5. Is -58 not equal to c?
True
Let t(g) = -g**3 + 2*g**2 - g + 348. Let q be t(0). Suppose -164*b = -170*b - q. Which is bigger: -59 or b?
b
Let g(m) = 8*m**2 - 15*m - 7. Let l(k) = 23*k**2 - 46*k - 21. Let w(f) = -17*g(f) + 6*l(f). Let n be w(9). Let s = -40 - n. Does s = -11?
False
Suppose -15*q + 2036 = 5*l - 14*q, 4*l = -2*q + 1630. Suppose -106*j = -95*j - l. Is 36 > j?
False
Let s = -3124 - -3120. Is s smaller than -98?
False
Let v = -1.78 + -63.22. Let r = 62.38 + v. Does -1 = r?
False
Let y = -6483 + 7403. Do y and 0.4 have different values?
True
Let z(r) = -2*r**3 + 13*r**2 - 7*r - 2. Let c = -