 5*u + 6 - 29 = 4*v. Let p(d) = d**3 + d**2 + 3. Let x be p(v). Do 7/23 and x have different values?
True
Let w be (4/66)/((-3)/(-9)) - 1190/11. Is -80 equal to w?
False
Let i be 1 - ((-20)/70 + 150/(-14)). Suppose -i + 8 = 4*m. Is m at least -6/109?
False
Let b be 2*-3*2/12 + 4. Let s be 3/(b/(-4))*(-61)/2. Suppose 0 = 3*o - 4*j + 107, 4*o + 5*j + s = -0. Is o != -34?
True
Let f = 0 + -0.034. Let i = f - -0.014. Let c = -45.02 - i. Which is smaller: c or -1?
c
Suppose 0 = 65*s - 63*s - 64. Suppose -s*p - 336 = -30*p. Are p and -168 equal?
True
Let k = -26 + 29. Let y be 2 + 21*k/(-36). Which is smaller: y or 1/7?
1/7
Let r be 4 + ((-5 + 4)*20)/(-1). Do 24 and r have different values?
False
Let b = 285.046 - 285. Are -4/15 and b unequal?
True
Suppose -114 + 15 = -33*l. Suppose -2*y - 5*t = -493, -7*y - l*t + 499 = -5*y. Which is smaller: 1/4 or y?
1/4
Let s(u) = -95*u + 382. Let r be s(-6). Which is greater: 953 or r?
953
Let u be (-76)/3*(-5 - 1). Are u and 458/3 equal?
False
Let o be 15/20 - 82/(-8). Let k = 0.615 + -1.215. Which is greater: k or o?
o
Suppose -26*k + 9808 - 7039 = -17459. Which is smaller: k or 779?
k
Let i = -361 - -396. Let v = i - 44. Is v at least as big as 0.1?
False
Let i = 173 + -187. Let l be (-1 + (-2)/i)/((-3)/(-2)). Is -13 at least as big as l?
False
Let o be 0/((16/2)/(-2)). Suppose 4*k + 20 = o, 3*q - 4*k - 224 = -q. Let r = -41 + q. Is 10 greater than r?
False
Suppose w + 97 = -3*k, 4*k - 2*w + 142 = 3*w. Let z = -32 - k. Let v be ((-1 - (z + -1)) + -1)/2. Is 4/29 less than or equal to v?
False
Let r = -67490/983 + 31786729/678270. Let z = r - -109/5. Which is greater: z or -1?
z
Suppose b = 2 + 3, -3*s = -b - 121. Is -12 at most s?
True
Let j(o) = o**3 + 7*o**2 - 5*o + 8. Let h be j(-6). Suppose -5*m - 2*z + 8 + 18 = 0, 0 = 3*z + 6. Suppose -m*w = -289 - 149. Is w < h?
True
Let u(d) = 73*d + 16. Let o be u(3). Suppose 234*h - 141 = o*h. Is -141 <= h?
True
Let w be (-388)/291 - 1/(-3). Is -3/1961 at least w?
True
Suppose 2*b - 7 = -3*d, -5*b + 4*d = -d + 20. Let i be 2*b/(-4)*6 + -5. Let r be i*2/(-4)*-34. Which is smaller: r or -33?
r
Let f = 3473 + -3432. Which is smaller: -1/34 or f?
-1/34
Suppose 8*g = -8 + 16 + 24. Suppose 2 = a - z + 7, -a + 4*z - 14 = 0. Let n = 1 + a. Is g at most as big as n?
False
Suppose 0 = 8*r - 205 + 29. Let j be (29 + -30)/(r/(-20)). Is j less than 1?
True
Let z = -87 + 177. Let o = z - 62. Suppose 4*i - 2*f + 12 = -f, -5*f = -4*i - o. Which is smaller: i or -14/13?
i
Let v be -3*38*(-3)/18. Let u = -9 + v. Let o = 1824 - 1814. Is u at least as big as o?
True
Suppose -2*d + 416 = -3*c + 107, -3*d + 196 = -2*c. Which is bigger: -94 or c?
-94
Let w = 2 + 0. Let v = 0.038 - -29.962. Let h = -30 + v. Which is smaller: h or w?
h
Let p be 3 + -2 + (-10)/5. Let m be (7 - 3338/478)/(1*-6). Which is smaller: m or p?
p
Suppose 0 = -6*z + 204 + 102. Let k = z + -55. Let d be (k - 1) + (0 - -4). Which is smaller: -26/11 or d?
-26/11
Let i be (-4)/4*1 + 2. Let z = 22 + i. Suppose -h = l + 5, -l = -3*h - 2*h + z. Is -10 greater than l?
False
Let g be ((-13)/15 - -1)/((117/90)/(-13)). Which is greater: g or 1/45?
1/45
Let o be (-3)/(-6)*0/(-2). Let f = -152 + 1669/11. Which is smaller: o or f?
f
Let b = 19 - 13. Let i be (-16 + 1)*b/18. Let g = 61 + -67. Are i and g nonequal?
True
Let y = 2611 - 2570. Let j(k) be the third derivative of 11*k**5/60 + k**4/12 + k**2. Let f be j(-2). Which is bigger: y or f?
y
Suppose -3*b + 2 = -4. Let j be -2 + 40/15 - (-4220)/(-6312). Let i = j + 132/263. Is b less than i?
False
Let j be (-174)/21 - -8 - (-102)/14. Let o = -2 - -5. Suppose j*n = o*n - 8. Is -1 less than or equal to n?
False
Suppose -2*d - 18 = 2*m, -2*m - 8 = -d - 2*d. Suppose -4*k = -1 - 7. Let q be 1 + (-174)/21 - k/(-7). Is q at least m?
True
Let i = -47422013/49577 - 468/4507. Let j = i + 955. Which is smaller: -3 or j?
-3
Let t = 4332 + -4331. Which is smaller: 396 or t?
t
Let k(m) = -16*m - 2993. Let v be k(-50). Which is smaller: v or -2194?
-2194
Let v be (-32)/55 - 660/(-3630). Which is greater: 14541 or v?
14541
Let f = 3/1037 - -3099/4148. Let y(i) = -i**3 + 13*i**2 - 24*i + 21. Let v be y(11). Is v greater than f?
False
Let v = -4.237 + 0.817. Which is bigger: 3 or v?
3
Let x = -1349673 + 92534930555/68561. Is x at most 1?
True
Let q = -4889 - -4845. Which is greater: -121 or q?
q
Let f be (1 - 1) + 51/45 + 270/(-2025). Which is bigger: -2/87 or f?
f
Suppose -4*k - 2*t - 8 = 0, -14 = -k + 5*k + 5*t. Let f be 10/4 - 4/(-8). Let q be 4 + f + -3 + (k - 2). Is 1 not equal to q?
False
Let i(n) = -18*n - 55. Suppose -5*h - 68 = j - 23, -49 = 3*h + 5*j. Let s be i(h). Does 88 = s?
False
Let f = -29.8 - -24.5. Let s = -3.3 - f. Which is smaller: s or 2/33?
2/33
Let h = -3052 - -2985. Which is smaller: h or -77?
-77
Let s = 38501/33 + 9390/11. Is 2021 greater than or equal to s?
True
Let g be 1*-6*(-3)/6. Suppose -3*d + 9 - g = 0. Suppose 5*w - d*z + 1 = 0, 3*z - z = -5*w + 11. Which is greater: 1/106 or w?
w
Suppose 54*v = -46*v - 2800. Which is smaller: -18 or v?
v
Suppose -2 = 7*i - 51. Suppose -1967 = -i*v + 847. Let u = v + -7640/19. Is 0 at least u?
True
Suppose -10*i + 102 - 152 = 0. Let z(f) = -f**3 - 6*f**2 + 5*f - 17. Let x be z(-7). Let c be (-45)/(-30)*22/x. Is c at least as big as i?
False
Let a be (-1 - 3) + ((-867)/3 - 2). Let p = a - -295. Which is smaller: 1/28 or p?
p
Let t = 38/7 + -159/28. Let x be (2/12)/((-28)/(-24) + -1). Is t at least as big as x?
False
Let v = -16 + 20. Suppose -2*g = -i + 1, -i - 12 = -v*g - 11. Are -3 and g non-equal?
True
Let n(p) = p**3 + 5*p**2 - p - 17. Let j be n(-4). Let o(u) = 6*u**2 - 12*u + 7. Let q be o(j). Is 22 greater than q?
False
Let y be (-2)/3 - (-660)/18. Let k be y/(-2)*(-34)/(-51). Let g = k - -11. Which is smaller: -1/21 or g?
g
Suppose -60 = 10*f - 9*f + 4*m, 3*f + 5*m + 159 = 0. Let v be 2 - ((-584)/f + -5). Which is bigger: v or -5?
-5
Let x(z) = z**3 + 118*z**2 - 125*z - 713. Let r be x(-119). Is r <= -31/91?
False
Suppose 0 = -28*w - 298 + 2650. Suppose 0 = -0*p + p + 18. Let t = p + w. Which is bigger: 67 or t?
67
Suppose 25563*s - 3*w = 25568*s + 49, -s = w + 13. Let x = -10885/3002 - 109/158. Which is bigger: x or s?
x
Let c = -52 + 47. Let f be (-26)/(-6) - (c + 11 + -3). Suppose -4*z - 3*i - 12 = 0, -z = i + 5 - 1. Is z equal to f?
False
Let r be (55/(-165))/((4/(-6))/(-2)). Do r and -1/3459 have the same value?
False
Suppose -16 = -4*d, 2*d = -3*w + 7 - 2. Which is smaller: w or 23615?
w
Suppose 38 - 146 = 18*t. Which is bigger: -182/29 or t?
t
Let p = -1/7416 + -14827/37080. Let h = -144 + 27. Which is smaller: h or p?
h
Let u be ((-75100)/(-4175) - 18)*(-1)/10. Do u and 1 have different values?
True
Let x = 114.093 - 113.23. Which is smaller: x or -2/15?
-2/15
Let r be ((-17)/((-714)/(-174)) - -4)*0/2. Is r smaller than 14/529?
True
Let z be 71/45 - (-4)/18. Suppose 4*v + 7 = -5. Let l be v*1/1*-1. Which is bigger: l or z?
l
Let t(f) = -9*f - 102. Let d be t(-17). Let z be (-555)/d - ((-45)/51 - -1). Which is smaller: -14 or z?
-14
Suppose -118*x = -108*x + 60. Suppose -4*z + 3 = -z + i, -i - 13 = -5*z. Is x greater than z?
False
Let j = 2796 - 2800. Is j less than 0.2?
True
Suppose -2*k + 6 = 0, -5*k + 331 = 3*h - 125. Suppose -49*q = 3*q - 7800. Which is bigger: q or h?
q
Let y be 23851/10 - 45/30. Let x = -2395 + y. Are x and -11 equal?
False
Let a(r) = 76*r - 86. Let t be a(5). Let x be 9 - t/30 - 1/5. Which is greater: 0.003 or x?
0.003
Suppose -5*s - 2*y = -0*s - 26, y = s - 1. Suppose 0 = -g - s*x + 100, 0 = -3*g + 8*g + x - 443. Which is smaller: g or 87?
87
Let i = -436 + 1202. Which is smaller: i or 765?
765
Suppose -5*u + 448 - 4078 = 0. Let p be 4/6 - (-2926)/u - -3. Let z be ((-2)/3)/((-2)/3). Which is greater: p or z?
z
Let d = -125.2 + 5.2. Let t = -120.04 - d. Which is smaller: t or 13?
t
Let r(s) = -s**2 + 75*s + 9. Let x be r(19). Let l = -6463/6 + x. Is l at most as big as -3?
True
Let i be 4/22 + (-833)/(-77) + -5. Let k be (-1)/(2/i) - -4. Let p be (-110)/(-162) + (-4)/6. Which is greater: p or k?
k
Let p be ((-29)/56347)/(-2 + 22/4). Which is smaller: -1 or p?
-1
Let a be 87/((-15)/10*3 - -3). Let f = a + 72. Is -1 at least f?
False
Let v = 13 - 8. Let b(m) = -407*m - 4063. Let o be b(-10