 is smaller: p or -2/3?
-2/3
Suppose -5*m + z = 10, -m - m + 14 = -4*z. Suppose u + 5*f = 19, -5*u - f = 8 + 17. Let g(w) = 2*w + 9. Let v be g(u). Do v and m have the same value?
True
Let z = 551 - 551.87. Let n = 18.87 - 19. Let t = n + z. Are t and -0.07 unequal?
True
Let n(c) = c**2 - 49*c + 116. Let y be n(47). Which is smaller: y or 21?
21
Let r be (-5 - -3) + 3936799182/(-3210). Let y = r + 1226420. Let a = y - 1/107. Which is bigger: a or 1?
1
Let s be (-11 - -17)/((-5)/(10/(-4))). Suppose s*x - 192 = -12. Is 60 at least as big as x?
True
Suppose 3*j - 3*x - 27 = 0, -4*j + 3*x - 2*x = -21. Suppose 5*r + 4*d = 0, -4*d = j*r - 6*d - 26. Is 4 equal to r?
True
Let q = 1639/3 - 4919/9. Suppose o + 0 = t - 1, 0 = -5*t. Let h be -2*26/(-44) + o. Is h at least q?
True
Let k = -4.4 - -11.4. Let z = -3 + 9. Let f = k - z. Is f less than or equal to 1/11?
False
Let i = 0.03 - 0.33. Let t be (1074/(-716))/((-263)/20 + (-2)/(-5)). Which is bigger: t or i?
t
Let z be 2 + 0 + -9 + 18321/3152. Which is bigger: -1 or z?
-1
Let l(v) = -8*v**2 - 233*v - 25. Let k be l(-29). Let m be (-34)/(-10)*(-2)/(-2). Is m bigger than k?
False
Let i be 2/(-20)*(-90)/12. Which is bigger: 29 or i?
29
Suppose 3*v - 40 = -5*g, 3*g + 0*g = 5*v - 10. Suppose -x + 15 + 66 = 3*k, 135 = 5*k - g*x. Is k != 28?
True
Suppose -3*d + 2 = -4*c, 5*d - 12 = -3*c + 1. Suppose 5*y + 25 = 0, 5 + 6 = d*j - y. Suppose 4*l - n = -0*n, 2*n + j = 5*l. Is -2/3 at most l?
False
Let b(z) = -z**3 - 5*z**2 - z + 2. Let m(l) = 5 - 4 - l + 0. Let x be m(3). Let f be b(x). Are f and -7 equal?
False
Suppose 0*t - 2*y + 60 = -5*t, -12 = t + 5*y. Let w(s) = -s + 3. Let r be w(-11). Suppose k = -d - r, 0*k = -d + 2*k - 2. Which is smaller: t or d?
t
Suppose 5*l - 205 = 245. Is l < 90?
False
Let d = 3.17 + 0.83. Does d = -0.9?
False
Suppose 3*l + 6 = -24. Let g be l/5 + (-1 - -1). Is g less than -11/6?
True
Let q(c) = -c**2 + 14*c - 48. Let m be q(5). Is m smaller than 8?
True
Let m be (-1)/(-18)*126/(-336). Let p be 2*(6/(-4) + 1). Which is smaller: m or p?
p
Let w(z) = -z**2 + 7*z - 9. Let a be w(0). Which is bigger: -17 or a?
a
Let z = 15 + -10. Suppose 0 = -25*n + 8*n - 85. Let d be n - (-5 - (-10)/(-25)). Which is bigger: z or d?
z
Let c(i) = i**3 - 68*i**2 + 317*i - 132. Let p be c(63). Let x be 2/(-6)*(14 + 0). Which is greater: p or x?
x
Let a = 36475790/63 - 579012. Let d = 286/9 + a. Is -3 less than d?
True
Let q = -3642339112207/1912109096150 - -1/365953894. Let p = q - 2/475. Is p >= -2?
True
Let w(q) = q**2 - 15*q + 34. Let y be w(13). Let z be (1 + 3)*y/32. Which is smaller: 1/24 or z?
1/24
Let q = -21.5 - 2.6. Let h = q + 24. Which is bigger: h or 0.08?
0.08
Let w be 6/(-57) - (-168)/513. Which is bigger: w or -51?
w
Suppose u = -3, -5*u = 3*a - 0*u + 66. Suppose 0 = 40*i - 30*i + 160. Which is smaller: i or a?
a
Let v = 299 - 299. Let m = -61 + 63.9. Is m at most as big as v?
False
Let l = -2/131 + -23179/524. Which is smaller: -45 or l?
-45
Let j be (-6)/186*(-1)/6. Let w = j - 2609/930. Let o = 65 - 68. Are w and o unequal?
True
Let y = -1/201 + -391/2211. Let m(z) be the third derivative of z**5/30 - z**4/24 - 5*z**2. Let o be m(1). Is o not equal to y?
True
Let v = -0.081 + -3.819. Let o = v - -3.9. Is o equal to -3?
False
Let d be (-20)/15*((-5)/2 + 1). Let v be d/4 - 141/(-774)*-3. Which is smaller: -1 or v?
-1
Suppose 2*a = a + 4. Suppose 2*q - a*t + 34 = 0, 0*q + q + t + 5 = 0. Let m = 1183 - 1183.1. Which is smaller: q or m?
q
Let d = 0.394 - 0.154. Is d greater than or equal to 8/7?
False
Let t be ((-20)/30 - -1)*0. Is t smaller than -4/249?
False
Let g = -87.061 - 0.939. Which is smaller: 0.1 or g?
g
Let t = 3.86 - 4.3. Let a = 0.04 + t. Which is bigger: 3 or a?
3
Let k be (-6)/(-9) - 11291/21. Does k = -537?
True
Let w(c) = c**3 + c**2 - 3*c - 1. Let u be w(-2). Suppose 0 = 21*l + 3*l. Which is smaller: l or u?
l
Let u(i) = i**3 + i**2 - 34*i - 13. Let c be u(6). Which is smaller: c or 10?
10
Let y = 6 - 5. Suppose 4*i = 6*i - 3*z + y, 0 = 5*i + 5*z + 40. Let j = 48 + -53. Is j less than or equal to i?
True
Let g(s) = s + 1. Let t be g(0). Let v be (-3 + 2)*(-1)/t. Let p = -563 + 562.5. Does p = v?
False
Suppose -5*z - 5*h = 279 + 66, -4*h = -12. Let j = 358/5 + z. Suppose -3*r - 5 = 2*r. Which is smaller: j or r?
r
Let g be (-51)/85 - ((-236)/10 + 2). Let m(l) = 21*l**2 - 2*l - 3. Let o be m(-1). Is g greater than or equal to o?
True
Let a(l) = 2*l**2 - 4*l + 4. Let r be a(2). Let s(y) = -y**2 + 4*y + 4. Let z be s(r). Suppose -z = -2*c + 8. Are 6 and c equal?
True
Let c = -106 - -150. Let j = c - 43.9. Is j >= 4?
False
Let v = -191.96 - -199. Let y = -7 + v. Let m = 0.1 + -0.2. Which is bigger: m or y?
y
Let w = 22 - 22.16. Let h = w + 0.11. Suppose 2 = -2*o - 0*o. Is h at most as big as o?
False
Let i = 4 - 6. Let p = 540483/5 - 108527. Let q = p + 429. Which is smaller: i or q?
i
Let q(d) be the second derivative of -d**5/2 + d**4/12 + 3*d. Let f be q(-1). Let t = f - 11. Are 0.1 and t unequal?
True
Let r = 1096 - 1289. Is r smaller than -192?
True
Let n = -5.4 - -9. Let c = 71/316 + 2/79. Is n bigger than c?
True
Suppose -10*r = -8*r + 2. Let u = 805 + -11275/14. Which is smaller: u or r?
r
Suppose -2*f = f - 39. Is f greater than -1/2?
True
Suppose -3*y = 2*h - h + 9, -y - 3*h + 5 = 0. Let o be (2 - 6 - y) + 0. Let n be o - 1/1 - 6. Is -7 >= n?
True
Suppose -3*t + 4 = t. Let j be (-6)/(-4)*(1 + 0)*2. Do j and t have the same value?
False
Let m be 40/(-45)*(-2)/8. Suppose 2*d + 22 = -2. Is m at least as big as d?
True
Suppose 2*t + 28 + 32 = 0. Suppose -p - n - 42 = -8, -4*p - 5*n - 139 = 0. Which is smaller: t or p?
p
Let d = 0 - -1. Suppose y + 0 = -d. Let k be y + -4*3/(-6). Are 2/9 and k unequal?
True
Let m be (4/(-4) - (-28)/26)*-40. Is m at least as big as -1/4?
False
Suppose 7*z - 3*z = 8. Suppose 2*h + 0*h = -z. Does h = -3/17?
False
Let p = -155487/55 + 2827. Let x = -1 - -2. Which is bigger: p or x?
x
Let j be (-110)/(-35)*153/(-34). Is j >= -13?
False
Let l = 2 - 2. Let x(o) = o**3 + 4*o**2 + 5*o + 8. Let u be x(-3). Let n be (39/(-104))/(3/u). Is l less than n?
False
Let l = -93 - -93.09. Which is greater: l or 0.08?
l
Let x = 619 + -618.9. Let m = 0.5 - 0. Let d = 0.1 - m. Which is greater: x or d?
x
Let u = 7 + -5. Let y = 1 - u. Suppose -3*h - 8 = 3*i + 1, 2*h = 5*i - 13. Which is smaller: i or y?
y
Let i = 0.12 + -18.12. Let z(x) = -x - 19. Let y be z(-22). Let b be ((-2)/y)/(((-176)/(-6))/(-11)). Which is greater: b or i?
b
Suppose 2*d + 46 = 10. Suppose -3*i = -8*t + 3*t - 170, -t + 2*i - 27 = 0. Let u = 18 + t. Which is bigger: d or u?
d
Let b = 17112/43 - 398. Let s(g) = -g**2 + g + 2. Let z be s(2). Is b smaller than z?
True
Let m(q) = 2*q**2 - q + 2. Let j be m(1). Are j and 28 equal?
False
Let f(p) = -2*p**2 + 31*p - 39. Let u be f(-9). Is -481 != u?
True
Let x = 1099 + -1280. Which is smaller: x or -179?
x
Let x be (-38)/3 + (-1)/(-12)*8. Let q be ((-5)/(-3))/(2/(-12)). Is x greater than or equal to q?
False
Let g = -70 - -561/8. Let x = 19/24 - g. Which is smaller: x or 2?
x
Suppose -11*w = -14*w + 102. Let x = w + -31. Suppose 12 - 3 = 3*t. Is x greater than or equal to t?
True
Let v(i) = i**2 - 14 + 9 - 4 - 4*i. Let g be v(5). Is -4 at most g?
True
Let n be (1 + (-34)/33)*-4. Let o(d) = 77*d - 461. Let b be o(6). Which is smaller: b or n?
n
Let z be -5 - (-4 - 14/18). Let q = 0.06 + -3.06. Is q >= z?
False
Suppose -3*z + 3*l - 113 = -23, 2*z = 5*l - 63. Let n = z - -27. Is -14/3 less than n?
True
Let h = 5 + -3. Suppose -2*a = h*a. Suppose a = -4*z - 7 + 39. Which is bigger: 7 or z?
z
Suppose -t + 3*t = 0. Suppose 3*x - 2*x = t. Suppose x = 3*b - 5*n + 2 - 29, b = -3*n - 5. Is b at least 4?
True
Let j = -1086841/2364 + 1839/4. Do 0 and j have different values?
True
Let c = 81 + -89. Suppose -2*g - 1 = -3, 2*g - 9 = d. Is c greater than or equal to d?
False
Let g(m) = -m + 2. Let b be g(2). Which is smaller: -3/712 or b?
-3/712
Suppose -n - 238 = 56. Let x be ((-27)/n)/((-6)/(-7)). Is -1 bigger than x?
False
Let l = 33 + -18. Let v be l + 0 + -3 + 3. Let f be 6/v + (-72)/330. Which is smaller: 0 or f?
0
Let q(r) = -r**3 + 4*r**2 - 5*r + 3. Let u be q(3). Let n(d) = d - 3. Let v be n(-6). Let z = v - -5. Is u > z?
True
Let s = 17 - 5. Let t b