pose -3*t + 15 = -3*d, 17 = -5*d + 12*t - 9*t. Is r smaller than d?
True
Let k = -11.82919 + -0.17081. Let n = 0.2 + 0.8. Do n and k have different values?
True
Suppose i + w + 519 + 1677 = 0, 5*w = -i - 2188. Let c = 41746/19 + i. Do -1 and c have the same value?
False
Let j(h) = h + 23. Let a = 17 + -33. Let d be j(a). Suppose 0 = -2*i + 3*i - 3*q + d, -2*i + q + 11 = 0. Does 10 = i?
False
Let t be 21*(10 - 270/21). Is t >= -53?
False
Let l be (-3)/(-12)*72*(-10)/1180. Let m be 2/(-3)*(-6)/4. Is m >= l?
True
Let o = 52.6 - 52. Let a = -1 + o. Let p(h) = h**3 + 9*h**2 + 7*h - 9. Let f be p(-8). Is f not equal to a?
True
Let i = 6.515 - 0.64. Let f = i + -16.959. Let h = f + 0.084. Which is greater: -1 or h?
-1
Let m be (9/93)/((-10)/67). Let k be -2*-4*6/(-992). Let b = k - m. Are -1/5 and b unequal?
True
Let d(a) = -3*a**2 + a - 1. Let t be d(4). Let v = -40 - t. Suppose -w = -v*w - w. Is w != -4/37?
True
Let x = 1.2 + -0.2. Let h = -194143/36 + 5392. Let y = -7/36 - h. Which is bigger: y or x?
x
Suppose 2*q = 4*q + 5*z + 47, 4*q + 3*z = -73. Suppose 0 = -762*i + 771*i + 144. Are q and i nonequal?
False
Let p(i) = -i**2 + 15*i - 60. Let c(q) = -8*q**2 - 20*q - 4. Let f be c(-2). Let l be p(f). Is l >= -10?
False
Let h(d) = -2*d**2 + 12*d + 1. Suppose 10*y - 15 = 7*y. Let m be h(y). Let c = m + 1. Is 13 at most as big as c?
False
Let u(l) = l**2 - 33*l - 49. Let f be 6/(-8)*(-2856)/63. Let i be u(f). Is i <= -35?
False
Suppose -2*v + 94 = -v + 4*s, -4 = -2*s. Suppose 0 = -8*a + v - 182. Are -8 and a non-equal?
True
Let h = 4520/17 + -3430646/12903. Is -1 smaller than h?
True
Let m = -218184 + 1527292/7. Let j = 7.12 + -0.12. Which is bigger: m or j?
j
Let z(u) be the third derivative of -u**6/30 - 11*u**4/24 - u**3/3 - u**2 - 5. Let a be z(3). Which is smaller: -142 or a?
a
Let o = -21 + 25. Let l be (o/8)/(1/(-97)). Is l <= -50?
False
Let w = -31.1 - -0.1. Let a = -5505 - -5505.1. Which is bigger: w or a?
a
Suppose -12*p = -30 + 6. Suppose -12 = -p*h + h. Are 12 and h non-equal?
False
Let u = -372 - -376. Suppose -3*v - 9 = -3*h, -6*h = -u*v - 10*h - 36. Let g be (12/(-35))/(2/42). Which is smaller: v or g?
g
Suppose -2342 = -4*y - 2350. Which is greater: -1083 or y?
y
Let h be (833/(-72429))/(9/(-87)) + (-2)/18. Which is greater: 0 or h?
h
Let w(j) = -j**3 - 61*j**2 + 27*j - 161. Let n be w(-62). Do 2011 and n have the same value?
False
Let o = 22202039/43 + -516369. Which is smaller: o or -43?
-43
Let w = 1760 - 953. Which is smaller: 806 or w?
806
Let r = -6/3799 + 15250/34191. Suppose 2 = -2*u + 12. Suppose u*t - 4 = 1. Is t greater than r?
True
Suppose -58*f + 379 = 707 - 386. Is f < -174/535?
False
Suppose -5*o - 4 = -34. Let i = -5002 - -5009. Which is bigger: o or i?
i
Let n(r) = 2*r + 22. Let b be n(-9). Let t be -10*4*b/32. Which is smaller: 15 or t?
t
Let g = 105 + -132. Let j(a) = -a**2 - 26*a + 27. Let i be j(g). Which is bigger: i or -2/777?
i
Let y be 76350/750 - 21/(-5). Which is smaller: 144 or y?
y
Suppose 7*r - 192 = -17*r. Let p be 407/33 - r/(-12). Is 5 greater than p?
False
Let s = -198774739996/11577 - -17169797. Let w = 44010721/3762525 + s. Let y = w - 154/13. Is 0.1 less than or equal to y?
False
Suppose 4*v + 7 = 15. Let f be 2 + -3 - (v + 208). Are -212 and f unequal?
True
Let s = 28.7 + -15.6. Let f = 11.9 + s. Which is smaller: f or -2/3?
-2/3
Let i = 528 - 761. Let y = -113 - i. Let o be 1/(-3)*y/8. Are -5 and o non-equal?
False
Let r = 1189/66 - 107/6. Let b = 4808 + -4738. Is b at most r?
False
Suppose -3 - 22 = -x. Let j be ((-204)/459 + (-452)/(-126))*7. Is j at least as big as x?
False
Suppose 2*n + 26 = 3*y, n = y + 6*n - 3. Let t be 19957/24990 + y/(-10). Is t less than or equal to 0?
True
Let y be 3/2*(-120)/(-135). Let t(p) = 2*p + 4. Let u be t(-3). Let q be 20/30*(-1)/u. Which is greater: y or q?
y
Let k(m) = -m**3 - 17*m**2 - 17*m - 16. Let s be k(-16). Let d be s/(2*(12/(-3) + 3)). Is -0.052 equal to d?
False
Suppose 9*r - 7 + 25 = 0. Let k be (-4 + 77/21)/(r/(-60)). Let t = -0.1 + 0.2. Is t < k?
False
Suppose 0*z = -3*y + 3*z - 21, -2*z = 4*y + 46. Let j(b) = -b**2 + 5*b. Let k be j(5). Suppose k = -o - o - 18. Which is smaller: o or y?
y
Suppose -4*a - 3*o + 45 = 0, -a = -3*o + 4*o - 11. Let f be (92/30)/((-8)/a). Do -5 and f have the same value?
False
Let l be (-22235)/17283 + (-297)/(-231). Is 0 less than l?
False
Let s(g) = 80*g**3 - g**2 + g - 1. Let i be s(1). Suppose 2*o + 3*p - 174 = 0, -4*p = -2*o - 6*p + 168. Let t = i - o. Is 3 > t?
True
Let z(s) = 64*s - 1553. Let u be z(23). Suppose 0 = -3*d - 261 + 12. Is u equal to d?
False
Let a = 60677 - 14259118/235. Which is smaller: 1 or a?
a
Let t = 1149011/217 - 5295. Suppose 4*s + 15 = 3*l, 3*s = -5*l + 38 - 13. Do s and t have the same value?
False
Let q be 1 + 22/(-16) - ((-36804625)/600)/(-71). Which is smaller: q or -865?
-865
Let l(u) = 698*u - 459. Let j be l(2). Is j at least 937?
True
Let i = -881969.042 - -880743. Let b = i + 1228. Let m = b + 0.042. Is m bigger than -0.9?
True
Suppose 2*a - 4*y - 7316 = -a, 5*y + 12185 = 5*a. Suppose 45*s = 7*s - a. Is s at least 2/9?
False
Suppose 11*o - 2104 = 1262. Let x be 1 + (-6 - o/2). Is -158 equal to x?
True
Let t = 217.57 - 219.57. Which is smaller: -0.0521 or t?
t
Let h = 33/83 + -436508/1097675. Which is bigger: h or -1?
h
Suppose 0 = 16*x - 106*x - 100 + 6580. Is x >= 29?
True
Let w be ((-2061)/(-72))/(7/(-2)). Let u = w - -66/7. Let h be 3/(-9) - (-66)/90. Which is greater: u or h?
u
Suppose z = 5*g - 3149, 772*z - 771*z = -g + 637. Is 622 >= g?
False
Let c = 312620/545679 + -49609343089/87120380745. Let f = -2/4315 + c. Which is bigger: f or -1?
f
Let k(j) = -13*j**2 - 128*j + 54*j + 62*j - j**3. Let q be k(-12). Let u = 11429/78 + -293/2. Which is bigger: q or u?
u
Let v = 305/2983 + 17/157. Is -5/4 < v?
True
Let m = -18935 - -5977. Which is smaller: 2 or m?
m
Suppose 0 = 663*k - 668*k - 30. Let n be (-4)/(-1 + 7/((-14)/k)). Which is smaller: -19/6 or n?
-19/6
Suppose r + k = -4, -r - 82 + 75 = 2*k. Which is smaller: -144/311 or r?
r
Let o = 79051.7 + -79052. Let x = 13.9 + -0.9. Is x > o?
True
Let o be ((-26)/(-3))/(297/81) + 12/(-4). Is 15/4 less than or equal to o?
False
Suppose 2304 = 18*r + 6*r. Suppose 0 = 25*o - 31*o - r. Are -12 and o non-equal?
True
Let f = -81425/10962 - 1/1566. Suppose 2*r - 21 - 8 = 5*b, 22 = -4*b + 2*r. Which is greater: f or b?
b
Let b be 1/4 + (-23 - (-744)/32). Which is smaller: 238 or b?
b
Let v be 1/(-3)*2691/(-69). Suppose -4*k + v = b, -k = -2*k + 3. Which is bigger: b or 3?
3
Let i(y) = -61*y**2 + 52*y - 177. Let h be i(5). Is -1441 bigger than h?
True
Let p be 654/(-18)*15 - -3*2. Which is greater: p or -538?
-538
Suppose 758 = -5*l + 3*w, 636 = -4*l - 2*w - 3*w. Let s be 326/140 + 66/l - 4. Is s not equal to -1?
True
Let s(x) = 210*x**2 - 42*x + 937. Let a be s(8). Which is smaller: 14039 or a?
14039
Let p be (-6 - (-12)/(7262892/3890961)) + (-3)/7. Which is smaller: p or 0?
0
Let j be ((-4)/(-28))/(18/(-231)). Let p(o) = -o**2 + 15*o - 30. Let f be p(13). Let b be 84/(-60)*f/(-14). Is b at least as big as j?
True
Suppose -1086 - 987 = -17*v - 237. Which is bigger: 122 or v?
122
Let t = -2138 + 2165. Suppose -4*p + 24 = -p. Suppose p*b - 140 = 3*b. Is t >= b?
False
Let j be (14*(-4)/168)/(-11*(-4373)/6). Is -0.1 <= j?
True
Suppose 5*t = -4*i + 147, 5*t - 228 = -5*i - 48. Suppose -5*n + 10 = 0, -223 + 121 = -4*q - 5*n. Is q > i?
False
Let k = 796 - 7154/9. Let u = 4/9 - k. Let c be (-8)/16*-6*4/(-54). Is u < c?
True
Let j = -44901 + 44672.077. Let k = j - -229. Which is bigger: 0.2 or k?
0.2
Let r(l) = -l - 16. Let i(y) be the first derivative of y**3/3 + 3*y**2 - y - 19. Let c be i(-3). Let a be r(c). Is a bigger than -6?
False
Let z be 6/(-9) - (-428)/12. Let r = -158 + z. Suppose 16*f = -f - 20*f - 4588. Which is smaller: f or r?
f
Let r(y) = 30*y - 92 - 71*y + 32*y. Let k be r(-11). Is k greater than 4?
True
Suppose -169*z - 633216 = 93822. Is z greater than or equal to -4303?
True
Let a(i) be the second derivative of 7/6*i**3 - 22*i + 0 - 3/2*i**2 + 2/3*i**4 - 1/20*i**5. Let s be a(9). Which is bigger: -22 or s?
s
Let b be ((-12)/(-14))/3 - 17338672/126. Let u = 137779 + b. Let q = 171 - u. Which is bigger: 1 or q?
1
Let g = -34.5 - 1