 v(d) = 2*n(d) - u(d). Let h be v(6). Are h and o equal?
True
Let t = 0 + -16. Let n be 2/2*t/1456. Which is bigger: -1 or n?
n
Let k = 293347/6490 + 1/6490. Which is smaller: 45 or k?
45
Suppose 2*r = 2*g + 24 - 20, -3*g - 5*r + 18 = 0. Let q be -10*7/(-70)*-185*g. Which is smaller: -184 or q?
q
Let q = 2/129359 - -268419917/517436. Which is bigger: 519 or q?
519
Let c = 10928 - 11839. Which is smaller: -909 or c?
c
Let a = -185 + 71. Let x = -56 - a. Let p = 57.8 - x. Which is smaller: p or 4/17?
p
Suppose 4*z - 171*o + 169*o - 46456 = 0, -5*o = 5*z - 58025. Is z less than or equal to 0?
False
Let q be -2 + 5 - 997660/(-86). Let o = -11603 + q. Does 2 = o?
False
Suppose -41*k = -57*k + 254 + 386. Suppose 5*x = -0*a + 3*a - 205, 0 = -2*x + 4*a - 68. Let u be ((-16)/k)/(x/15). Which is bigger: 2/5 or u?
2/5
Let i(s) = -15*s + 92. Let d be i(18). Let f be 2 - (-8)/(-16)*d. Do f and 92 have different values?
True
Suppose 0 = 5*p - 4*r + 107, 22*p + 4*r = 28*p + 126. Do -48 and p have different values?
True
Suppose 5*z = 30, 31744 = -18*u - 2*z - 22892. Is u < -3036?
False
Suppose -243 + 91 = -4*h. Let n = -6 + 10. Suppose -h = 2*d - 4*d - 5*r, 76 = n*d - 3*r. Is 20 > d?
True
Suppose -4*i + 9*i + 160 = 0. Let t = -5100 + 25338/5. Which is greater: i or t?
i
Let s = -9.11721 + 0.11721. Is s at least as big as 29?
False
Suppose -2*w + 7*w = 3*p + 611, 5*w + 4*p - 632 = 0. Suppose w*d + 18 = 126*d. Are d and 9 non-equal?
False
Let f(c) = 24*c**2 - 2*c - 3. Let y be f(-2). Let k = y + -58. Is k > 33?
True
Let s = -744 + 744.308. Let t = s - 0.257. Is -1/6 < t?
True
Let f = -47 + 47.45. Let o = -0.55 + f. Let t = 58.8 + -59. Which is smaller: t or o?
t
Let q be (-158)/(58/12 - 5). Let v = q + -936. Which is greater: 7 or v?
v
Let g = 17.12 - -229.88. Which is bigger: -0.2 or g?
g
Let b = 2.6 - 2.58. Let l = 679 - 680. Which is smaller: b or l?
l
Let b = -5 + 4. Let u be 4*(-6)/(120/(-25)). Let r be (-532)/276 + u/3. Is r equal to b?
False
Let l be ((-68)/85)/(4/(-10)). Let h(m) = 1 - 79*m + m**l - 76*m + 156*m. Let x be h(-1). Which is smaller: x or -2/111?
-2/111
Suppose -2*i + 7 = 7. Suppose i*j - 3*j = 18. Let x be j/(-27) + (-208)/450. Do x and -1 have different values?
True
Let t = -3/6044 - 6035/18132. Which is smaller: 1.4887 or t?
t
Let m = -458.7 + 457.7. Is -30/17 at least as big as m?
False
Let l = 13 - 10. Suppose 0*w = l*w + 12, i - 3*w + 71 = 0. Let o = -100 - i. Is -15 >= o?
True
Let a = -93 - -93. Suppose -3*f - 12 = a, -3*s + 537 = 2*s - 3*f. Let j = s + -98. Is j less than 1?
False
Suppose -10*y + 2*y - 7*y = -2*y. Let g = 536 + -12325/23. Which is smaller: g or y?
y
Let t = -0.1 - -19.1. Let m = t + -18.65. Suppose 0 = 5*a - 2*i - 4, 0*a - 4*i - 8 = -3*a. Which is greater: a or m?
m
Let n = 633 + -245. Let b be (n/(-285))/(572/(-2178)). Let d = b + 4/247. Which is bigger: 5 or d?
d
Let m = -1.336 - -1.236. Let o be 978/(-45)*-7 - 8/60. Which is smaller: m or o?
m
Let l(i) be the second derivative of -i**4/12 + 35*i**3/6 - 2*i**2 - 20*i. Let b(o) be the first derivative of l(o). Let s be b(-23). Which is smaller: 80 or s?
80
Suppose k - 7 = -3*k - c, 30 = 5*k - 3*c. Let l = 11/204 + 845/408. Is k bigger than l?
True
Let b = -378/703 - -16/37. Let x = 7.927 + -7.827. Is x less than b?
False
Let n = -7877/35 + 1111/5. Let u = -66 + 64. Is n bigger than u?
False
Let q(y) = -y**2 - y - 1. Let a be q(-6). Suppose 0 = 2*w - 16*n - 180, 2*w = n - 68 + 83. Is a bigger than w?
False
Let x = -0.05 + 0.08. Let i = -0.23 + x. Let s = 0.75 + -5.75. Is i at least as big as s?
True
Let d be 3 - (-2 + 115/50 + 2174/20). Let k(o) = -19*o + 12. Let i be k(6). Is i <= d?
False
Let j be (-13 + (-406)/(-28))*286/(-3). Which is bigger: j or -1006/7?
j
Let k = 2162.83 - 2172. Let z = -6.17 - k. Which is bigger: z or 55?
55
Let g(b) = 7*b**2 + 317 - 157 - 158 + 10*b. Let p be g(-1). Is p at least as big as 5/61?
False
Let q(z) be the second derivative of 7*z**3/3 - 34*z**2 - 11*z - 2. Let w be q(5). Suppose 0 = y - 5*y + 2*x - 2, 4*y = -2*x + 2. Is y > w?
False
Let b be (-6)/14 + -4 + 118/14. Suppose 4 + 8 = 3*k, 5*p - 191 = -b*k. Which is bigger: 101/3 or p?
p
Suppose 312*v - 295*v = 9435. Is 557 bigger than v?
True
Let t = -13 + 13. Suppose -j - 2 = -2*j. Let i be j/(-3)*-5*(-4)/48. Is t != i?
True
Let v be 3 - (4 + 1/((-3)/(-9))). Let f be (-651)/77 + (54/6 - 5). Is f > v?
False
Let p = -7075 + 7075. Let y = -3615/11 - -328. Is y at most as big as p?
True
Suppose -3*r = 2*f + 3*f - 5, 5*f - 10 = -2*r. Suppose f*z - 2*q = q - 13, 7 = -z + 2*q. Is 1/87 > z?
True
Let l = 552.9 - 553. Which is smaller: l or -1/2?
-1/2
Suppose 207*s + 1221 = 82*s + 92*s. Which is greater: s or -680/19?
-680/19
Let l(z) = 17*z + 751. Let k be l(-44). Which is smaller: 2/69 or k?
2/69
Let h(t) = 6*t - 16. Suppose 5*a - 18 = -b - 3*b, -a - 37 = -5*b. Let w be h(b). Is 24 >= w?
False
Suppose 95841*k = 95826*k + 45. Which is greater: 58/7 or k?
58/7
Let h(u) = -u**3 + 7*u**2 - 13*u + 34. Let r be (-1)/(-5) - (0 - (-266)/(-70)). Let f be h(r). Which is bigger: 25 or f?
f
Let x = 788 - 25999/33. Let i = 8753 + -8752. Which is smaller: x or i?
x
Let c be 101/(-858) - 8*(-9)/396. Suppose 6*v + 5 = -1. Which is bigger: v or c?
c
Let z = -5392 + 5385. Which is smaller: z or 238?
z
Let u = 1291268609308/799 + -1616105157. Let c = 737 - u. Let j = -8801/4794 - c. Is -1 at least as big as j?
True
Let y(c) = -125*c**3 - 4*c**2 - 11*c + 28. Let f be y(2). Which is greater: f or -1011?
f
Let k be ((-182)/273)/((-430)/108 - -4). Is -18 < k?
False
Suppose -4805 = -5*s - 3*g, -59*s + 62*s + g - 2887 = 0. Which is smaller: 962 or s?
962
Suppose 4*p - 7182 = 2*f, 2729*f - 9009 = -5*p + 2727*f. Which is bigger: 1797 or p?
p
Let b = 735 - 703. Let v be 4*((-4920)/b)/(-15). Is v > 43?
False
Let r(m) = 30*m - 8. Let g be r(6). Let k = 6547 - 6376. Which is greater: g or k?
g
Let i(r) = -r**3 + 28*r**2 - 80*r + 1234. Let b be i(27). Is b bigger than 21?
False
Suppose -35*y = 260*y - 8555. Which is greater: 263/9 or y?
263/9
Let h be 6/99*-3 + (-11645881)/(-64121860). Is -1 greater than or equal to h?
False
Suppose -223 = -4*m - v, 2*m + 4*v = 11 + 83. Suppose 0 = 6*w + 93 - m. Which is smaller: 3 or w?
w
Let u = -307485 + 8450610253/27483. Let q = u + 2143732/797007. Let g = q + -782/377. Which is smaller: g or 0?
0
Let c = -3715 + 3727. Which is greater: -12 or c?
c
Let t be (-916)/(-36) + (-44)/99. Does 37 = t?
False
Let g(x) = -x**2 - 16*x - 6. Let c be g(-12). Let u(r) = 2*r + 6. Let f be u(-3). Suppose f = 3*k + 9, -2*k - k = -3*o + 135. Is c > o?
False
Let r = 873.76 + -873.9. Is 49.1 greater than r?
True
Let h = 11.916 + -12.1. Let b = -0.584 - h. Does -6/11 = b?
False
Let m(o) = -2*o**2 - 145*o - 1452. Let p be m(-12). Which is greater: -1/7324 or p?
p
Let f(k) = 92*k - 779. Let p be f(-54). Is p at least as big as -5746?
False
Let i(t) = 4*t**2 - 15*t - 2. Let m be i(4). Suppose 5*o + m*f = 4*f - 299, o + 3*f = -70. Which is greater: -60 or o?
-60
Let a = 12 - 13. Let p be a/(-2) + 341/62. Let z be (-4)/(-6)*(-14)/(-2). Which is greater: z or p?
p
Suppose -330 - 2470 = -20*f. Suppose -f = -5*t + 39*n - 37*n, -2*t = -3*n - 45. Is 30 not equal to t?
False
Suppose -2*q - n + 312 = 0, -40*n + 37*n - 450 = -3*q. Which is smaller: 164 or q?
q
Suppose -100 = -11*k - 67. Suppose 6*p - 25 = f + p, -k*f = 3*p - 15. Which is smaller: f or -5?
-5
Let z = -47/20 + -307/4. Which is smaller: z or -80?
-80
Let w(x) = -x**2 + 39*x - 202. Let l be w(27). Suppose -3*s - 5*g - l = 0, -4*g = -4 - 4. Which is smaller: -40 or s?
s
Let a = -3085 + 3815. Do 1 and a have different values?
True
Let k be ((-183)/9)/(((-8)/(-3))/4). Let a(u) = 5*u - 145. Let j be a(23). Is j greater than k?
True
Suppose 0 = 10*k - 11*k - 5*h + 29, 0 = 2*k - 3*h - 19. Suppose 0 = 5*x - k + 4. Let m be (3*(-5)/3 + 4)/x. Is m greater than -5/3?
True
Suppose 5*v + 5985 = 5*r, -11*v = -5*r - 16*v + 5895. Is r smaller than 1187?
False
Let c = 22 - -18. Suppose 7*v - 2*v - c = 0. Let j = -1.56483 + 2.16483. Is j bigger than v?
False
Let l be -2 - 110*(3 - 4). Suppose 0 = 2*v - 5 - 5. Let j be v/(-3) + (-9)/(l/(-8)). Do j and -2/181 have different values?
True
Let t be 62132/20*10/(-88). Let g = t + 353. Suppose 0 = 4*v + 5*f - 49, v - 14 = 