 -15*p + 180 - 60. Let d be -145*p/(-40)*-1. Which is bigger: -28 or d?
-28
Let t = 518 + -526. Suppose -2*i - 58 = -0*i. Let g = t - i. Is 20 < g?
True
Let c be ((-22)/10)/(3 - (-1218)/(-390)). Does 2 = c?
False
Let k(z) = -z**2 - 3*z + 19. Let f be k(-6). Which is smaller: f or -2/19?
-2/19
Suppose 422*m = 404*m. Let h = 360 - 60838/169. Is m less than h?
True
Let z(y) = -14*y**2 + 11*y + 10. Let q be z(-1). Suppose -3*a + 4*c - 45 = 0, 2*a - a + 3*c + 28 = 0. Is a >= q?
False
Let l(v) = v**3 - 3*v**2 - 18*v + 3. Let a be l(6). Suppose 0*r = a*r + r. Suppose r = -z + 4*b, z - 5*z = -4*b. Which is smaller: z or -9/7?
-9/7
Let x be (0 - -9)*(46 - 43). Let y be (4/(-20))/((-5)/(x - 2)). Does 4/29 = y?
False
Suppose -72*u + 108*u - 72*u - 3960 = 0. Is u at least -1206/11?
False
Suppose 5*j - 10 = 0, 4*w + 4*j - 58 = 9*w. Let n(i) = i**2 - 7*i - 168. Let z be n(16). Let p be 30/(0 + -5) - (-116)/z. Is w greater than or equal to p?
True
Let q be 1*(8/(-6))/4. Let l = -125.31 - 0.69. Let x = l + 116. Is x != q?
True
Suppose -i = 2*r - 93, -r - 3*i = -0*i - 59. Suppose d - 141 = -2*t, -t = d - r - 24. Do -0.1 and t have different values?
True
Let y = 2.84 + 193.16. Let q = -196.1 + y. Are 2/247 and q unequal?
True
Let h(u) = 2*u + 16. Let i be h(-8). Let n = -23457/11 - -2131. Is i greater than n?
True
Let o = 8.3 + 2.7. Suppose -54*a - 190 = -73*a + 38. Which is smaller: a or o?
o
Suppose -5*t - 31 = -4*c + 1236, -4*t = -2*c + 626. Let k = -358 + c. Is -182/5 at most k?
True
Let d(s) = -19*s - 5. Let b be d(1). Let u be 1*4/(-16) + (-870)/b. Does 149/4 = u?
False
Suppose -2*h = -0*h - 84. Let q = 41 - h. Is q at least -3/5?
False
Suppose -1417*s = -1432*s + 2325. Which is smaller: 3 or s?
3
Let a = -120 + 121. Let s = 1449/400 - 64/25. Is a <= s?
True
Let q(m) be the first derivative of -15*m**2/2 + 24*m - 136. Let w be q(-2). Is w > 53?
True
Suppose -26*v + 25*v + 644646 = 0. Let m = 3234844/5 - v. Let q = m + -2303. Is 19 at least as big as q?
False
Let p be -9*(14/(-3) - -4). Let u(s) = s**3 - 7*s**2 + 6*s. Let m be u(p). Which is smaller: 5/46 or m?
m
Let r be ((-48)/80 - (-9)/15)*1/2. Which is smaller: 24/1943 or r?
r
Let z(k) = 29*k + 145. Let h be (-80)/(-32)*(-2 + 0). Let m be z(h). Which is greater: m or 2/1045?
2/1045
Suppose -3*r - 156*y = -158*y - 2, 5*y = -5. Are -3/2315 and r non-equal?
True
Let i = -54/739 + 1640/2217. Which is greater: 11/15 or i?
11/15
Suppose 0 = -21*c + 17*c. Let h be (((-551)/399)/29)/(4/(-6)). Is c < h?
True
Let o be 490/105*(2 - (-2)/(-4)). Suppose -124 = -9*t + o*t. Which is smaller: 61 or t?
61
Let r be 0/(((-10)/(-1))/(-5)). Let v be r*((-10)/6)/5. Do v and -0.065 have different values?
True
Let y be (-2 - (-21)/9) + 926/30. Let n = y - 9209/295. Do 1 and n have different values?
True
Let k be (-14)/12*((-243)/(-324))/((-14)/8). Which is greater: -1955 or k?
k
Suppose -s + 6 + 33 = 0. Let x(f) = 2*f + 4 + 7 - s. Let m be x(14). Which is bigger: m or -2/147?
m
Suppose -2*y + 4*g + 62 = -10, 0 = 3*y + 2*g - 132. Let v be 5*y/(-35) - 11. Are 5 and v unequal?
True
Let t = -32 + 70. Let q = 27 - t. Let x = q - -11.4. Is -2/7 not equal to x?
True
Let s(w) = 5*w - 28. Let k be s(6). Let j be 0/(-1 - k - 28/(-7)). Are -4/7 and j nonequal?
True
Let d = -0.0141 - 0.5329. Let z = 0.507 + d. Let s = 0.04 + 0.06. Is s greater than or equal to z?
True
Let d = 152 - 173. Let x = d - -18. Which is smaller: -7 or x?
-7
Let n = -1028.67 + 1025. Is 1 greater than n?
True
Suppose -5*z - 1921 = -j, 0 = -4*z + 2*j - 927 - 611. Let b be (-3 - z/124)*(2 - -4). Is b >= 0?
True
Let l be 0/(182/13) + -1827. Are -1829 and l equal?
False
Let q = -230 - -3679/16. Suppose -12 = -p - 7. Suppose z = 18*s - 13*s - 14, 0 = -p*z - 3*s + 14. Which is bigger: z or q?
z
Let p = -29363 - -24377. Is p greater than -4986?
False
Let l be (700/105)/(412/(-18)). Which is bigger: 1 or l?
1
Let k be (-28)/182 + (19257/(-6396) - 24/(-32)). Is k smaller than -2?
True
Let d = -1.483 - -0.283. Which is smaller: -0.06 or d?
d
Let b be -14 - ((-8)/3 + -12). Is b <= 6403?
True
Let l be -2 + 43003/3045 + 2/(-5). Let z = -49/87 - l. Let r = -5748/469 - z. Which is smaller: 1 or r?
r
Let g = -1 + 1. Let l be ((-256)/4480)/((-30)/14). Which is greater: g or l?
l
Let x(v) = -v**2 + 5*v + 18. Let p be x(7). Let y(l) = -l**2 - 3*l + 1. Let i be y(p). Is i not equal to -29?
True
Let b = 0.78 + 2.22. Which is greater: 1643 or b?
1643
Suppose 4*y + 24 = 96. Suppose -4*m - y = -v - 0*m, -v - 12 = 2*m. Let r be ((-6)/(-8))/(v - 12/32). Is 0 <= r?
False
Let h = 9.279 + 147.501. Let z = h - 157. Is z greater than or equal to 0?
False
Let k(x) = 40*x**2 + 2*x - 4. Let s be k(-3). Suppose 7*f + s = -0*f. Let g = 49 + f. Which is bigger: g or 1/50?
1/50
Let l(w) = 2*w**2 + 21*w + 15. Let f be l(-10). Suppose 25 = -3*m - f*r, -3*r - 12 = 3*m + 3. Which is smaller: m or -3/73?
-3/73
Let h be 4/(-5)*((-1955)/(-119) - 15). Which is smaller: h or -0.006?
h
Let h be (-3 - -8 - 4) + 1. Let s be ((-1)/(-3))/(h/(-3))*-6. Suppose -s*w - 63 = -69. Which is bigger: -1 or w?
w
Suppose 27*f - 46956 = -231*f. Let z = -232 - -415. Is f less than z?
True
Suppose -r - 2*v + 21 = 2*r, 2*v - 11 = -r. Suppose -r*o + 97 + 64 = -u, 5*o - 162 = 2*u. Let b be 8/o - (-30)/8 - 5. Which is bigger: 2/293 or b?
2/293
Let f = -10256.96 + 10257. Is -0.409 at most as big as f?
True
Let p(l) = 16*l - 414. Let j be p(36). Suppose -j*n + 152*n = 0. Let i be 2/(-6) - (-166)/(-6). Which is bigger: n or i?
n
Let n = -184 - -117. Let k = -65 - -14. Let b = n - k. Is -14 at least as big as b?
True
Suppose o + 3*l + 6 = -5, 5*o - 45 = 5*l. Suppose 4*w = -o + 8. Let q be (6/(-3))/w*(8 + 0). Are -18 and q equal?
False
Let d = 1.4716 - -0.5284. Is 563/7 at most as big as d?
False
Let k(c) = -c**2 + 2*c - 1. Let i be k(1). Let f = 224.073 + -224. Let b = 0.033 - f. Which is bigger: i or b?
i
Let d be (4 - 4)/(2/1). Let a = d + 23. Let g(m) = -m**2 - 25*m - 76. Let y be g(-5). Which is greater: a or y?
y
Let i = 4245 - 4246. Is 2618 <= i?
False
Suppose 394 - 419 = 5*i. Let f = 26 - 41. Let l be 6/30 + 93/f. Which is bigger: i or l?
i
Let u = -6760/7 - -964. Let k = 197 - 186. Let b(h) = 4*h - 45. Let a be b(k). Is a at most u?
False
Let g = -4.394 + 4.574. Which is smaller: g or -0.1?
-0.1
Let b = -873 + 877. Let g(x) = -x**2 + 10*x - 8. Let w be g(9). Let d = w + -5/3. Is b at least d?
True
Let h be -2 + 2 - -14 - (1 - -1). Let g(z) = z**3 - 7*z**2 + 3*z + 11. Let x be g(5). Let p be (-20)/h*x/30. Is p equal to 2?
False
Suppose -2*n = 3*g + 2, -3*g + 2*n - 14 + 16 = 0. Suppose 35*p - 29*p - 1938 = g. Is p bigger than 323?
False
Let s = 29254.47 + -29270. Is s smaller than -5?
True
Suppose -4*j + 16*y - 324 = 0, 4*y - 76 - 151 = 3*j. Is j bigger than -1404/19?
True
Let i(h) = 517*h + 1520. Let p be i(4). Which is greater: p or 3589?
3589
Suppose 65*l = 48*l + 17. Is l at most as big as -2/19195?
False
Suppose 2*p = -4*c + 122, -2*c = -5*p + 50591 - 50658. Let i = -5 - -3. Does c = i?
False
Let h = 28.215 - 26.215. Which is bigger: 201.51 or h?
201.51
Suppose 0 = -11*z + 17426 + 3958. Let h = 13641/7 - z. Which is smaller: h or 5?
h
Let j = 8746369/1081 - 8091. Which is smaller: -1 or j?
-1
Let z be 1/(-3) + (-28)/(-21). Let x = 44.8 + -93.8. Are z and x unequal?
True
Suppose -3*j - 174271868 = -2*j. Let g = 8010580683761/45966 + j. Let w = g - -1/282. Is -1 at most as big as w?
True
Suppose 5134 = 2*i + 4*k, -i + 1171 = 5*k - 1390. Is i greater than or equal to 2570?
True
Suppose -147*b = 4*u - 146*b + 60, 0 = -2*b. Which is bigger: 34 or u?
34
Suppose 2*p - 5*p + 15 = 0. Let j = 194 + -186. Let v be j - (4 - (-3 - -2)). Which is bigger: v or p?
p
Let k = -4.6 - -6.35. Let y = -1.25 - k. Do y and -1 have the same value?
False
Let i be (1953459/(-2727))/((-2)/6 - 0). Let k(g) = 14*g**2 + 16*g - 9. Let f be k(-13). Let v = f - i. Which is bigger: -1 or v?
v
Let a = 2.06 + -3.25. Let r = a + 0.19. Which is greater: r or 1/5?
1/5
Suppose -136*f = -138*f + 5*x - 10, 0 = -x + 2. Which is greater: 116/131 or f?
116/131
Let l(b) = b**3 - 83*b**2 + 67*b + 1231. Let h be l(82). Is h at least as big as -1/7140?
True
Let w = 10179/23 + -4029757/9108. Let y = w + -1/18. Suppose -4*r - 4*d = 16, -2*d + 5*d = 4*r - 19. Which is grea