 same value?
False
Let u = 217.823 + -218. Let a = 14.823 - u. Is a at most as big as -4?
False
Let p = 47 + -46.8. Let u = -137 - -141. Suppose -3*n = 4*w + 8 + 70, 0 = u*w + n + 82. Do p and w have different values?
True
Let f(h) = 10*h**2 + 10*h. Let d be f(1). Let b be (-45)/d*(-8)/(-21)*-7. Suppose -2*n - n + 18 = 0. Is b not equal to n?
False
Let l = -6 - -7.95. Let o = l + -13.95. Is -3 greater than or equal to o?
True
Suppose -2*u - u = 6, 5*y - u - 15427 = 0. Let b be (-1)/2 - y/(-10). Which is smaller: -2/5 or b?
-2/5
Suppose 0 = 2*d - 4*l - 34, -2*d - 24 = -3*d - 5*l. Let h be -23 + 20 + (-140)/(-6). Which is smaller: h or d?
d
Suppose 2*f - 10 = -k, -5*f + 7 = 4*k - 15. Suppose -f*s + 4*s = -4. Let p = 27.2 + -23. Which is greater: p or s?
p
Let f = 1776 - 1784. Which is smaller: 3/4 or f?
f
Let l = 3864 - 3865. Let f(t) = -t**3 + 4*t**2 + 4. Let s be f(4). Let k be s/18 - (-1038)/189. Which is bigger: k or l?
k
Let k = 1961575/46 + -42643. Suppose -4*i + 5 = 1. Is i < k?
False
Let u = 186.907 + -187. Let h = 47.17 - 43.4. Let s = -3.77 + h. Is s > u?
True
Let g(n) = 7 - 5*n + 3 - 1 + 10. Let z be g(8). Let s = z + -2. Which is bigger: -2/3 or s?
-2/3
Let i be (-3)/(-8) + 626/64*20. Let v be (-6)/76*i/441. Which is smaller: -1 or v?
-1
Suppose -3*p = 5*k - 502 - 98, 0 = -5*p - k + 1000. Let f = 198 - p. Suppose 15 = 3*h - 0, -v - 2*h + 8 = 0. Is v greater than or equal to f?
True
Let m(v) = -136*v**2 + 15*v + 6. Let l be m(7). Let x = l + 38791/6. Let w = -88 - x. Which is smaller: w or 1?
w
Let t = -19 + 38. Let j = -334807/7 - -47849. Which is smaller: j or t?
t
Suppose 5*x - 3*a + 3672 = 0, -739 = x + 5*a - a. Let o be (x/(-90) + -5)/(1/(-8)). Do -25 and o have the same value?
False
Suppose 4*x + 3*z + 33 = 0, 5*z = -3*x + 7*x + 9. Let k = -80 - -89. Let j be 5 - (k - (-2)/2). Do x and j have the same value?
False
Let q = -1366 - -1365. Does q = -4/263?
False
Let p = 71.3 + -537.3. Let a = 431 + p. Which is smaller: 3 or a?
a
Suppose 4*j - 405 = -433, -4*h + 4*j + 28 = 0. Let m be 2/(-2) - (-1 + 1). Let b be 6/16*m/(-2). Are h and b nonequal?
True
Let r = 6060 + -6059. Is 2/2185 less than or equal to r?
True
Suppose 3*b - 10189 = 4*j, 0 = -0*j - 5*j + 2*b - 12738. Is -2548 >= j?
True
Let x be (-2)/6 + (-28)/60. Let b = 406 + -1074. Let i = b + 668.1. Is i >= x?
True
Let v(h) = -h**3 + 10*h**2 - 4*h - 3. Let i be v(10). Let s = -3/14 + 23/42. Is i greater than or equal to s?
False
Let r = 31.6 - -169.4. Is 1 greater than r?
False
Let o = -539/1186056 + 1/3672. Which is smaller: 0 or o?
o
Suppose 4*y + 2*b = 3*y - 7, -3*y - 18 = 5*b. Suppose 2*o - 49 = p - 3*o, -173 = 4*p + 3*o. Let v be (-2*(-3)/(-12))/p. Which is bigger: v or y?
v
Suppose 17*y + 3458 = -y + 4*y. Which is bigger: -1.5 or y?
-1.5
Let z(m) = m**2 - 7*m - 1. Let k be z(7). Let i be -6 + (0 - -4) + 6316/(-1302). Let r = i - -152/21. Which is bigger: r or k?
r
Let n = -1859832 + 1053604. Let t = n - -12905181/16. Let f = t - 346. Is f >= -1?
True
Let z = 15.65 - 21.8. Let g = z - -2.15. Are g and -0.28 equal?
False
Let h = -0.0648 - 0.0172. Let j = -0.118 + h. Is j at least as big as -292?
True
Let g = -16 - 326. Let u = -230 + g. Is -573 > u?
False
Let w = 523489/23312 - 1054/47. Is w > 1?
False
Suppose -u + 2*u = 5. Suppose 0 = 4*x - u*m + 158, 2*x - 3*m + 6*m + 90 = 0. Suppose -5*q = 5, 7*c - 2*c + 216 = -q. Is x less than c?
False
Let s = 2.93 - -0.07. Suppose 16309*x - 40 = 16329*x. Which is bigger: s or x?
s
Let n(v) = 20*v**3 - 3*v**2 + 2*v + 23. Let a be n(-6). Which is bigger: -4418 or a?
a
Suppose -29*q - 29*q = -19*q - 39. Is q <= 45/176?
False
Let p = 88 - 90. Let g(m) = -3*m**3 - 8*m**2 - 6*m. Let v be g(p). Is v at least 3?
True
Suppose 3*l = 81 + 33. Let k = -193/5 + l. Suppose 0 = -4*z - 3*o - 12, 5*z + 5*o + 0 = -20. Which is bigger: z or k?
z
Let p(u) = 447*u + 1342. Let w be p(-3). Which is greater: w or 1/25543?
w
Let j(f) = f**2 + 14*f + 2. Let x be j(-12). Let c = x + 22. Let a be (2/70)/(1/3). Which is bigger: c or a?
a
Let r be 12/(-40) + 1614/2580. Let h be ((-6)/(-15))/(24/(-30))*2. Do h and r have the same value?
False
Let a = -1771 - -1766. Is a smaller than 356?
True
Let d(l) = l**3 - 7*l**2 - l + 6. Let j be d(7). Let p = 115/4 + -8177/284. Is p < j?
False
Let b = 614 + -320. Let q = b - 303. Is q less than 0.1?
True
Suppose 0 = 6*v + 2*v - 192. Let w be (-1)/(0 - (-2 - (-21)/9)). Suppose o + l - v = 0, 74 = w*o + 8*l - 3*l. Is o greater than or equal to 23?
True
Suppose -4*d = d - 10. Suppose 14465 - 815 = 30*a. Let y be 5/65 - (-1135)/a. Is d at least y?
False
Let c(y) be the second derivative of y**4/6 + 5*y**3/6 - 57*y**2/2 - 74*y. Let v be c(0). Which is smaller: v or -56?
v
Suppose 808*q = 806*q - 2. Let d be ((-3)/(-126) + 0)/(-1). Is q equal to d?
False
Let a = 563 + -563. Let t be 3*(-121 - (4 - a)). Are -374 and t nonequal?
True
Let y be (-2 - (1 - 5))/(1/5). Suppose y*j - 476 = -486. Is j at least -2/183?
False
Let w = 279.8 - 332.8. Suppose -c + 16 = 2*c + 4*d, 4*c + 3*d - 12 = 0. Which is smaller: c or w?
w
Let c = 25430 - 14423. Is c not equal to 11007?
False
Let s be 3/4 + (-98)/24. Suppose 3*l - 56 - 52 = -120. Is l greater than s?
False
Let w = -98 - -134. Let v = -35 + w. Let q = -2.1 - -31.1. Is v smaller than q?
True
Suppose 36*y + 5232 = -73*y. Is y less than or equal to -7?
True
Suppose -598 = -k - 2*o, -5*k + 4*o - 7*o = -2969. Which is smaller: 2 or k?
2
Suppose -55*w + 9*w = -16*w. Is -4/39 < w?
True
Let u(s) = 10*s + 81. Let w(l) = -5*l - 98. Let h be w(-18). Let k be u(h). Does 5 = k?
False
Let s(a) = -a**2 - 18*a - 73. Let c be s(-6). Let p = -519373 - -39990859/77. Let q = p - -120/11. Is c not equal to q?
True
Let j be ((-299)/92)/(2/(-32)). Let b(y) = -4*y + 11. Let k be b(-10). Are k and j unequal?
True
Let y = 28124 - 28123.8. Which is smaller: y or -0.0224?
-0.0224
Let w be 9591/(-273) + 15 + (-788)/52. Which is bigger: 2/7 or w?
2/7
Let t = -32 + 88.05. Let b = -55 + t. Let a = b - 0.05. Is -20 at most as big as a?
True
Let b be 5 - (63 - 8/(-2)). Let y = b - -59. Is y > -2?
False
Let s(q) = -2*q**3 - 13*q**2 + 10*q - 21. Let g be s(-12). Let a = g + -4180/3. Which is bigger: 50 or a?
50
Let f = -56594 - -622009/11. Is f equal to -48?
False
Let x be 44304/216864 + (-10)/45. Which is greater: x or 1?
1
Let a = 20 - 33. Let r = 4.915 + 6.085. Is a < r?
True
Let w = -523 - -487. Let u = -160 - w. Which is smaller: -123 or u?
u
Let q be 0 + 20/(-25)*-5. Let m be q - (3/(-6))/((-3)/18). Let i be 1*(m - 10)/((-12)/(-8)). Is -9 greater than i?
False
Let u be 16*(-10)/(-16) - 17. Which is bigger: u or -32?
u
Let d = 10.598 - 10.598. Which is bigger: d or 4422?
4422
Let o = -6855/7 - -979. Are 0.162 and o non-equal?
True
Let c be 76/(-84) - (-2)/(-21). Let u be (8/6 + c)*0. Suppose 2*t + 10 - 37 = -5*s, 0 = -3*t + 5*s + 53. Which is smaller: u or t?
u
Let z = -0.0403 - -0.2633. Let k = 0.143 - z. Which is smaller: k or -15?
-15
Let a be 1*141*((-16)/12 - -1). Let w = a - -58. Let m(j) = -j**3 + 13*j**2 - 22*j + 22. Let x be m(w). Is x greater than or equal to -0.1?
True
Let k = 614 + -613.85. Let f = k - -2.05. Which is bigger: f or 1/3?
f
Let j(w) be the second derivative of w**4/12 + w**3/6 - 2*w**2 + 45*w. Let g = 5 - 2. Let l be j(g). Is 6 equal to l?
False
Let c be ((-11)/12 - -1)/(3/9). Let n = c + 5/12. Let y = 3.9 - -2.1. Which is smaller: n or y?
n
Let j = 1544593347/71 + -21758718. Let l = j + 3882. Is 0 not equal to l?
True
Suppose 5*u + 208 = 2*d - 0*d, -4*u = -2*d + 168. Let c be 32/u - 1*1124/70. Let t = 50 - 66. Which is smaller: c or t?
c
Let s = 3675 - 3683. Let p = -11/10 - -3/2. Is s smaller than p?
True
Let s(f) = -28*f - 24. Let q be s(-1). Let r be (91 + -95)/((-106)/(2 - q)). Which is smaller: r or 0?
r
Let y(w) = w**2 + w - 14. Suppose 2*s + 15 + 16 = -5*q, -3*q + 2*s - 9 = 0. Let b be y(q). Which is smaller: b or -11?
-11
Let n = -11454 + 11460. Is -73 not equal to n?
True
Suppose -4*q - 20 = -0. Let c = q + 4. Let t = 25526/7 + -3647. Is t smaller than c?
False
Let w = 0.02 - -33.28. Let c = -6.3 + w. Let g = 26 - c. Which is smaller: g or -23/5?
-23/5
Let u(b) be the third derivative of 19/6*b**3 - 17/24*b**4 - 1/120*b**6 + 0*b + 24*b**2 + 7/30*b**5 + 0. Let y be u(13). Is -34 equa