) = -82*d**2 + 163*d + 7. Let r be a(2). Do -0.26 and r have the same value?
False
Let v be ((-2)/10)/((-6)/(-15)) - (-572)/1144. Let p = 48664/31 - 1570. Is v <= p?
False
Let p = 23 + 126. Let w = p + -2532/17. Let m = 106/3 - 36. Which is smaller: m or w?
m
Let s be ((1/(-3))/(8/24))/(-1). Let w be (-45)/(-20)*((-38)/(-42) - s). Suppose 0 = -3*j - 12, -n = 4*n + 5*j + 25. Is n at least w?
False
Suppose 87 = 3*y - 2*i, 3*y + 0*i - 5*i - 87 = 0. Suppose -5*r + 3*w = 20, 2*w - y = 2*r + 5*w. Are r and -41/7 unequal?
True
Let c = 1.626 + -1.73. Let r = c + 0.204. Is 0.081 greater than r?
False
Suppose 3 = 3*o - 0, 4*k + 5*o = -71. Let y be ((-3)/k)/(5 + (-294)/60). Is y bigger than -2?
True
Let s = 22.8 + -23. Let t = s - -7.2. Let p = 160 + -158. Is p less than t?
True
Let n(r) = -r**3 + 9*r**2 + 16*r + 31. Let s be n(9). Let z = 186 - s. Which is bigger: z or 4?
z
Let x = 42/629 + -10442/5661. Is 37 at most x?
False
Suppose -2*o - 2*c + 7*c - 93 = 0, -122 = 3*o - 4*c. Let f be (o/51)/(4/6). Which is bigger: 1 or f?
1
Let z = 23 - 113/5. Let p = -5221/11 - -475. Let q = z - p. Is -1 smaller than q?
True
Suppose -4*a - 4 + 8 = 0, 0 = 4*v - 4*a + 4. Suppose v = 17*u - 13*u - 4. Is 10/39 != u?
True
Let d be 945/1215*(-6)/(-14). Which is smaller: d or 2/2345?
2/2345
Let i = 73 - 70. Suppose 3*j + i*o + 11 = j, 5*j + 2*o + 11 = 0. Let l be ((-156)/(-26))/(j/1 - 1). Does -1 = l?
False
Let z = 156071/5485830 - -3/12110. Which is smaller: 1 or z?
z
Let s be (14/(-4) - 2)*60/(-55). Let w = 22 + -13. Suppose w*r = s*r. Do r and 2/33 have different values?
True
Suppose 1 = 24*k + 1. Let g(w) = -w + 21. Let c be g(k). Is 19 less than c?
True
Suppose t = 5*q - 32, t + 18 = -q + 4. Let z = t - -69/4. Let k be -4 + (-1 - -2) + 4. Which is bigger: z or k?
k
Suppose 0*n + 3*n - 36 = 0. Suppose -3*w + i = 217, -3*i = 3*w - 2*w + 59. Let x be (n/18)/(w/3). Which is bigger: -1 or x?
x
Suppose 12*r - 22 = 14*r - 4*u, 0 = -5*u + 5. Let x = -19 + 27. Let t be (-1284)/144 + 2/x. Are r and t nonequal?
True
Let o = -101.3 + 1545.3. Is o at least as big as -1/4?
True
Let c = 666.7 - 665. Let b = -1.605 + c. Does b = -4?
False
Let a(o) = -3*o**3 - 2*o**2 - o + 7. Let i be a(6). Let l = i - -501. Are -218 and l non-equal?
False
Let n = 28.962 + 0.038. Suppose 787 = -4*z - 4*l + l, 2*z = 4*l - 388. Let h be 4/(-21)*42/z*7. Do n and h have different values?
True
Suppose -47*b = -54*b + 35. Suppose -2*w = v - 5*w - b, -2*v - 4*w = 0. Is v equal to 7/5?
False
Let s be (-27131)/(-26)*3/4465. Let k = -1/893 + s. Is k less than or equal to 2?
True
Suppose 8*l = 24364 + 5020 + 30544. Is 7492 less than l?
False
Let y be -5*(3 + 42/(-10)). Let d = y + -17. Suppose 4*u + 52 = -4*a, -10*a + 5*a + 5*u = 25. Do d and a have the same value?
False
Let d be 9 + (-238)/26 - 5*(-153)/(-13). Do d and -878/15 have the same value?
False
Let u = 390.0585 - 390. Let f = u + 0.0415. Is 19 smaller than f?
False
Let s = 0.063 + -0.07. Let p = -0.107 - s. Let d = -0.37 + -1.93. Which is smaller: p or d?
d
Suppose -2*v + w - 14 = -2*w, -5*v - 24 = -2*w. Let j be 6 + v/(2380/3521). Which is smaller: j or -1?
-1
Let b = 142 + 46. Suppose -2*h - 80 = 2*t + b, -238 = 2*h - 4*t. Let a = 178 + h. Which is smaller: a or 48?
48
Suppose -3*q - 4*f - 14 = 0, -17*q = -15*q - 2*f. Is -39/2 at least as big as q?
False
Suppose 6*b = 5*b + 80. Let k be (-1 - 2)*(-2 + b/12). Is -17 at least k?
False
Let y(f) = f**3 - 9*f**2 - 7*f + 64. Let k be y(9). Is k at least -4.09?
True
Let g = 35.6 - 36. Let k = 21 - 21. Let b = -7 + k. Which is smaller: g or b?
b
Let p = 3066/11 - 2707300/9713. Is 0 > p?
True
Let m = 172 - 289. Let k = -117.09 - m. Let b = 1/22 - 6/11. Which is smaller: k or b?
b
Let m be -1 + 2 + -7 + (-64)/(-10). Let c = -47 - -34. Let n = c + 15. Which is bigger: m or n?
n
Let j be 6488/2730*(-1)/(-76). Let i = -2/741 + j. Which is bigger: -1/4 or i?
i
Suppose -4*y + 10 = -14. Let d = 184 + -214. Let b be (-4)/d*-4 - (-2)/y. Is b != 0?
True
Let k(s) = -10*s + 585. Let p be k(62). Is 0 less than p?
False
Suppose 3*u + 1467 = -2967. Let h = 8963/6 + u. Is h not equal to 15?
True
Let p(x) = -x**3. Let b be p(0). Let c be b/(-3*1/3). Suppose 0*v - 6*v = c. Are v and -1 nonequal?
True
Let h = 14 - 4. Let a be -3 + 7/5 - (25 - 45166/1210). Which is smaller: a or h?
h
Let d = 1/16 - -25/368. Let o be 9/(-114)*136/138. Let z = d + o. Do z and -1 have the same value?
False
Let t = 317 + -479. Let v be ((-6)/t)/(-4*2/(-48)). Which is smaller: v or -2?
-2
Let o = -414.35 + -98.65. Which is smaller: o or -1?
o
Let f = 5.4 - 4.8. Let b = f + -9.7. Let y = 14 + b. Is 0 != y?
True
Let z(r) = -4*r - 8. Let d(s) = -s**3 + 15*s**2 - 14*s - 3. Let j be d(14). Let t be z(j). Let i be t/(-54)*((-39)/(-48) - 1). Which is bigger: 0 or i?
i
Suppose -71*g + 4342 = -84*g. Let t = g + 333. Which is greater: -2/143 or t?
-2/143
Let s be 1 + (-1 - 0)*(-105)/(-84). Is 2/2215 != s?
True
Let f = -120 - -806. Suppose -2*c = -2*z - f, -z + 5*z = c - 1369. Let j be 1854/z + 10/2. Do j and 1 have different values?
True
Let a(s) = -13*s**3 + 6*s**2 - 9*s + 7. Let w be a(2). Is w < 15?
True
Suppose -6*x - 238 = 1676. Let c be 2/(-6) - (x/99 - -4). Are -6 and c non-equal?
True
Suppose 0 = -c + 3*c - 2*r + 14, -5*r = -15. Let l be -3*1 - (-68)/((-48)/(-12)). Which is smaller: l or c?
c
Let g = 45/758 + 76419/91718. Which is bigger: g or 0?
g
Let l be 2142/(-204) - 33/(-3). Which is greater: l or -94.66?
l
Let o be (810 + -809)/(((-1)/(-10))/((-3)/(-60606))). Is o less than 1?
True
Suppose 30*a - 20 = 26*a. Suppose -4*g + a*o = -422, 7 = -5*g + 4*o + 530. Is g greater than or equal to 104?
False
Let y be (-3)/((-156)/(-42965)*10/(-4)). Is y equal to 332?
False
Let x be 0 + (-5 + -1 - -5). Let u(q) = q**2 - q + 1. Let o be u(-5). Let k be 20 - o - (1 - 1). Which is smaller: x or k?
k
Let k = 249 - 135. Let w = k - 115. Let l = -51 + 29. Which is greater: w or l?
w
Let a = -3.406 - -3.706. Is -817 >= a?
False
Let c = -14 + 30. Let g be (-21)/(-1) + 435/(-29). Is g at most as big as c?
True
Let k = 633/5 - 126. Let b = k - 76/135. Let c = -19/27 + b. Is 0.7 at most as big as c?
False
Let x be (-16)/4*-3 + (-3 - -3). Suppose 234 = -18*i + x*i. Which is greater: i or -42?
i
Let r = 1797833/5 + -358411. Which is smaller: r or 1156?
r
Suppose y - 138 = j + 4*y, j - y + 142 = 0. Let n = j + 137. Are -0.36 and n non-equal?
True
Let q = 718 + -838. Let o be -3 + 9 + -4 + 234/q. Suppose 3*x - 8 = 3*f + 4, 0 = -3*f - 12. Which is smaller: o or x?
x
Suppose 308*q + 12 = 314*q. Suppose 2*s - 9 = -r, 3*s + 4 = q*r - 0*s. Which is greater: r or 8?
8
Let l = -32 - -351. Let m = -318.9 + l. Is -216 less than m?
True
Let m = 3346 + -3277. Which is smaller: -4/11 or m?
-4/11
Let j be 3/(-2) + 817/38. Suppose -n - j = -56*o + 61*o, -5*o = 3*n + 20. Is -2/59 > n?
False
Suppose -4*p - u + 3*u + 130 = 0, 0 = 3*p - 2*u - 95. Let t(r) = -629*r + 2513. Let z be t(4). Are p and z equal?
False
Let y be (-1626)/5085*9/28. Let u = y - -10/113. Let b(p) = 5*p - 21. Let o be b(4). Which is smaller: u or o?
o
Let j(z) = -10*z + 245. Suppose -46 = -70*l + 68*l. Let g be j(l). Which is smaller: 41 or g?
g
Let j(c) = 2*c**3 - 30*c**2 + 55*c - 34. Let y be j(13). Let g be (-1 + 5/10)*y/(-100). Is 0 < g?
True
Let p = 1109 + -1098. Let h(m) = -m**2 + 8*m - 2. Let z = 21 + -15. Let i be h(z). Which is greater: p or i?
p
Let h be (0 - (-354)/(-14))/(-1). Let x = 25 - h. Which is greater: 13 or x?
13
Let s be 60/25 + 4/(-10). Let t(n) = -14*n**2 + n + 3. Let l be t(s). Is -50 equal to l?
False
Let b = 65934/5 + -171172/15. Let q = -1805 + b. Which is smaller: q or -31?
-31
Let z = 115096/11 + -10458. Do 6 and z have different values?
True
Let m(b) = -b**3 + 38*b**2 - 696*b + 26452. Let q be m(38). Suppose -2*o + 7*l = 4*l - 10, -2*o = -4*l - 12. Is q less than o?
False
Suppose 3 = -2*a - 3. Let j(y) = -4*y + y**3 - 1 + 456*y**2 - 1366*y**2 + 449*y**2 + 462*y**2. Let b be j(a). Is b >= -9?
True
Let s(z) = 4*z**2 - 109*z + 28. Let l be s(27). Let y be 455/52*1/65. Which is smaller: l or y?
y
Let p be 60*3 - (-96)/16. Let b = p + -237. Is -51 at least b?
True
Suppose -5*g - 34 + 129 = 0. Suppose -g*d + d = -18. Let p = 0 - -4. Do p and d have the same value?
False
Suppose 4*n + 1 = 13, 