is bigger: p or 1?
1
Let y = -13292/1077 + 3/359. Let u(h) = -h**3 - 26*h**2 + 28*h + 14. Let l be 1/(1/2*(-10)/135). Let i be u(l). Is i != y?
True
Suppose 5*x + 11*x = 336. Let r be (-1)/2 + (-273)/(-14). Which is bigger: x or r?
x
Let u be -55 + 54 + (-1278)/(-10) + 10 + -10. Which is smaller: 126 or u?
126
Let l = -13.82 + 15.1. Let v = l + -1.35. Which is greater: 5 or v?
5
Suppose 2*f + 4*l = 7*f - 20, -f - 2 = -2*l. Let a = -325 + 307. Let i be (a/8)/(36/(-96)). Which is smaller: i or f?
i
Let v = -0.368 + 0.068. Let t = -0.7 + v. Do t and 2/11 have the same value?
False
Let b = -6.284 - -6.2. Let d = 19.084 + b. Do 5 and d have the same value?
False
Let o = -2024.546 - -2022. Let r = -0.054 + o. Let p = r - -2.8. Which is greater: 8 or p?
8
Suppose -13*t + 31301 = 127033. Let p = t + 59041/8. Is p less than or equal to 17?
True
Let g = -0.029 - -16.029. Let k = -16.02 + g. Let h = 0 - -5. Which is smaller: k or h?
k
Let m be (1 + 3/(-5))/((-52)/(-260)). Which is smaller: m or 6/5?
6/5
Suppose -5*t = -5*x - 6980, -t = -3*x + x - 1394. Is t > 1397?
True
Let u = -476267/1967 - -277/281. Which is bigger: -240 or u?
-240
Let f be (1/7)/((-1)/4*(-1040)/455). Is f bigger than -0.77?
True
Let b be (2 - (-8)/4) + -7. Let j be b*(-20)/(-12) - -1. Let g be j + 33 - 12/3. Is 25 >= g?
True
Let w be (-13)/13*0/(-4) + -184. Which is bigger: w or -188?
w
Let x = 0.04 - 2.04. Let l = 11003.83 - 11004. Do l and x have different values?
True
Suppose 24 = g - 6. Suppose -6*n = g - 6. Is n less than or equal to -7?
False
Let t = -200.5 + 221. Let g = 19.81 - t. Is g bigger than 2/9?
False
Let i = 38830/7 + -5535. Which is bigger: 1/2 or i?
i
Suppose 1418*k - 1512*k = -34498. Is 2941/8 less than k?
False
Let b = 36.64 - -2.36. Let u = b - 43. Are u and -23 non-equal?
True
Let l = 1412 - 1311. Which is smaller: l or 100?
100
Suppose 0 = 5*v, -15 = 28*t - 23*t - 4*v. Suppose 14 = -2*l - 2*n, -13 + 40 = -3*l - 5*n. Let k be -3 - (0 - (-2)/l). Is t >= k?
False
Let z = 346.1 + -337. Let c be 15/20 - (-143)/(-4). Let f = 69/2 + c. Which is smaller: z or f?
f
Let l = -19000 - -19898. Is 2/15 at most l?
True
Let u be ((-3)/(-4))/(5/(-10)). Suppose 0 = 3*p + 3*i - 48 + 12, -p + 6 = -5*i. Let n = 8 - p. Is u at least n?
True
Let u(d) = 129*d + 514. Let k be u(-4). Let n be (-1)/(-2) + 22/(-4) + -6. Is k at most n?
False
Let x(p) = p**3 - 3*p**2 - 39*p - 238. Let k be x(-9). Which is smaller: k or -854?
k
Let x(r) = r**3 + 11*r**2 + 10*r - 1. Let g be x(-9). Let w be 432/20*(-23 - (-632)/24). Is w less than g?
False
Let f(x) = 3*x**2 + 18*x + 15. Suppose -21 - 15 = 6*b. Let d be f(b). Which is bigger: d or 19?
19
Let k be (-1125)/360 + ((-9)/(-8) - 1). Let t be (-8)/k - (-65)/(-39). Is 3/208 < t?
True
Let p(j) be the first derivative of -j**3/3 + 5*j**2 - j + 9. Let r be p(12). Let a be r/35 + 2/(-7). Is -2 >= a?
False
Let m = 311 + -353. Let u be 21 - 18 - m/(-10). Which is smaller: -2 or u?
-2
Let r = -12.3 - 0.5. Let y = r - -11.8. Let a = -40 + 48. Which is smaller: a or y?
y
Suppose -2*k + c + 14729 = -31547, 5*k - 2*c - 115689 = 0. Which is smaller: 23136 or k?
23136
Let v = -11.432 - -21.432. Is 537 < v?
False
Let y(v) = -7*v**2 - 169*v + 57. Let g be y(-29). Let o = -980 - g. Suppose 2*f + 0*f - 270 = 5*i, -3*i = 5*f + 131. Which is smaller: o or i?
i
Let z = -75 + 80. Suppose -2*y - 8 = -o, 5*o - 22 = z*y + 18. Suppose w + o = -1. Which is greater: -8 or w?
-8
Let x = 4/2073 + -9643/342045. Which is greater: x or 1?
1
Let l be 138*(7 + (-91)/14). Let r = l + -68. Is r at least 12/55?
True
Let x = -1723 - -2018. Do 1479/5 and x have the same value?
False
Suppose 4*u - 56 = 288. Let j = 54 - u. Is j less than -33?
False
Let r = -1 + 0. Let a = -567/148 - -77/37. Is a <= r?
True
Let u be (-10 + 14 - 4)/(-1). Is u less than -11/45?
False
Let k be 108/24*((-224)/6)/(-2). Let p = -73 + k. Which is smaller: 10 or p?
10
Let o = 1.665 + -2.16. Let z = -1.695 - o. Let i be (4/16)/(6/(-8)). Is z > i?
False
Let f = 0.3 - 0.5. Let m = 309 - 534. Let c = m + 225. Do c and f have the same value?
False
Let y be 2/6*(0 + 36). Suppose y = v - 2*g, 5*v = -10*g + 8*g + 60. Is 8 > v?
False
Let a = -2821 + 3041. Are a and 220 equal?
True
Let b be (-16 - -29) + (-32)/2. Is -187 less than b?
True
Let o be 20/(-60) - (-2)/(-3). Let z be (-264)/(-1218) - (o + 9/7). Let v = z - 23/87. Is 1 at least as big as v?
True
Let s(g) = g**2 - 6*g - 1. Let q be s(6). Let m be ((-2)/(-6))/(q/(-27)). Let k be 4 + m + (3 - 4). Is 14 at most as big as k?
False
Let c = 4547/73852 + -15/1996. Let b be (8/6)/((-2)/6). Let x be (b + 1)/(-3)*-1. Which is smaller: x or c?
x
Suppose -7*r - 3611 = -5*g - 10954, -3*g - 4377 = 3*r. Is -1464 <= g?
True
Let g be (-67076)/(-698271) + 4/(-42). Which is smaller: -1 or g?
-1
Let h = 437.2 - 438.467. Is h less than 2/5?
True
Let s be (-128)/1712*(-2)/(-4). Which is smaller: s or -4?
-4
Let z = -2790 + 19569/7. Let l = z + -1263/91. Is l at most -8?
True
Suppose 5 + 9 = 14*z. Let n be 15*(11/33)/z. Let r be (-1)/2*-1*10. Is n equal to r?
True
Let d(k) = 331*k**3 + k**2 + 298*k + 584. Let p be d(-2). Is -2656 less than p?
False
Let u be (36/27 - 1) + (-1)/(-3). Is 0.405 != u?
True
Suppose 2*q + 144 = -3*s, -s - 73 = -205*q + 206*q. Is q greater than or equal to -73?
False
Suppose 31 - 7 = 8*z. Suppose 0 = -5*s + 4*s + z. Let b = 2513/6 + -417. Which is smaller: s or b?
b
Suppose 5*f = 6*f + 6. Let n be 25/(-30)*f + 18. Which is smaller: n or 19?
19
Let x = -461917/4435 + -42/887. Is -104 at most as big as x?
False
Let f be ((-21)/(-196)*2)/(135525/52). Is f less than or equal to -1?
False
Let d(g) = -2*g**2 - 10*g. Let r be d(-6). Let l be (-6)/(-12) + r/(-8). Which is smaller: l or 30/11?
l
Let g be 6/238*(-3)/(-96)*8. Is 1 > g?
True
Suppose 8*i - 3210 = 422. Let k = 263 - i. Which is bigger: k or -192?
k
Let x(a) = 2*a**2 + 48*a + 32. Let i be x(-23). Let p be 428/i - (-12)/(-28). Let z = p - -1799/58. Which is smaller: z or -1?
-1
Let t = -3309 - -3085. Which is greater: -222 or t?
-222
Let q(h) be the first derivative of -h**4/2 - 23*h**3 - 35*h**2/2 - 35*h + 167. Let x be q(-34). Is x at most as big as -12/5?
False
Let t(m) = -m**3 + 6*m**2 - 3*m - 14. Let q be t(5). Let s be 0 + (3 - (-7 - -4)). Suppose -5*h + s = h. Which is bigger: h or q?
h
Let l(i) = -i**3 + i + 3. Let j be l(0). Suppose 2 = j*a - a. Let c = -1575268/5655 - -8078/29. Is a smaller than c?
False
Suppose 5*m = 11 + 9. Suppose 0 = 3*a + 6, -5*a = 2*t - m*a + 148. Is -73 at least t?
True
Let c = -29 + 43. Let x = c - -72. Let h be 18/(-24)*(-10 - (-26)/3). Is x smaller than h?
False
Let s be (-36)/5*8/(-462). Let b = -1/55 - s. Suppose -72*i = 382*i - 81*i + 373. Which is bigger: b or i?
b
Let h = 56 - -21. Let s = -71 + h. Let o be 15/s - (-259)/(-106). Which is bigger: 1 or o?
1
Let w be (5/9 - (-12)/27)*1. Is w smaller than 171?
True
Suppose 14*t - 15*t + 2444 = -15*q, -4810 = -2*t + 4*q. Which is smaller: t or 2401?
t
Let a = -113488448/41 + 2768421. Let f = -410 + a. Suppose -3*j + 6 = k, k - 4*j + 8 = -k. Which is smaller: k or f?
k
Let u = 632 + -632. Which is smaller: u or -28/419?
-28/419
Let i be (-10794)/10 - 304/190. Is -1082 smaller than i?
True
Let j be 1/3 + (-5)/6. Let p = 13796 - 13802.681. Let h = -0.319 + p. Which is bigger: j or h?
j
Let c = -62 + 64. Let q be 3 + -7 + 6 + 164/(-28). Which is bigger: q or c?
c
Let n = 453801057/28988 - 291/7247. Let m = n - 15756. Which is smaller: m or -102?
-102
Let g = -52/425 - -17378/37825. Let z be 165/110*((-23)/30 + (-9)/(-90)). Is g equal to z?
False
Suppose -192*i + 288*i - 96 = 0. Which is bigger: -1/22815 or i?
i
Let x be (-41266)/(-752) + 45/40. Which is greater: 50 or x?
x
Let g be (-35)/21*(2/((-70)/181) - -5). Which is greater: -13737 or g?
g
Let g = -2331.964 + 2332. Which is greater: -0.2 or g?
g
Let r = -0.347 + 0.206. Let q = r + 0.01. Let f = q - -0.371. Is f at most as big as 1?
True
Let t = 0.10674 + -0.30674. Which is bigger: t or 28/61?
28/61
Let g(x) = x**2 - 23*x + 97. Let k be g(5). Let d be k/(70/44)*(-60)/24. Are d and -26 non-equal?
True
Let x = 57 - 55. Suppose x*z - 59 = q, -2*z = 5*q - 9 - 32. Let d be ((-4)/(-14))/((-108)/z + 4). Do 10/9 and d have different values?
True
Suppose 49*z + 5029 - 34772 = 0. 