. Let u be 0/1*15/p. Which is smaller: u or -3/145?
-3/145
Suppose 611*d = 617*d + 12. Are -13 and d unequal?
True
Let r(y) = -y**2 + 81. Let c be r(9). Let k be (2/(-68))/((-16)/(-64)) - c. Which is smaller: 0 or k?
k
Let t(h) = -376*h + 24. Let x be t(-1). Suppose -7*d + 477 - x = 0. Are 2 and d nonequal?
True
Let h(b) = -129*b - 1934. Let i be h(-15). Which is smaller: 13903 or i?
i
Suppose 14*z - 10*z = 2048. Let u be 6 + z/(-1 - 3). Suppose -2*n - 4 = 240. Is u smaller than n?
False
Let l be (1593/638)/((-19)/38) - -5. Which is bigger: -1 or l?
l
Let w = 1/64 + 93/2240. Let l = 589 + -589.1. Which is bigger: l or w?
w
Let r = 34.58 - 0.58. Let p = -53673/2 - -26837. Which is greater: p or r?
r
Let c(s) = s**3 + 15*s**2 - 17*s - 10. Let p be c(-16). Suppose -2*f + 5*f + p = 0, 2*f = -2*o + 86. Are o and 46 equal?
False
Suppose 4*c = -4*r + 24, 5*r - 24 = 3*c - 2. Suppose p = -4*g + 3962, -4*g = 8*p - 3*p - 3970. Let z be (-1)/(-10)*-2 - (-234)/g. Which is greater: c or z?
c
Let w = -26 - -40. Suppose b = w*b + 1196. Let t = b + 100. Which is bigger: 7 or t?
t
Let u be ((-284292)/90)/(18/45). Which is smaller: -7896 or u?
u
Let m be -6 + -4 - -8 - -10. Let q be 2/15 + 5671/(-795). Are m and q non-equal?
True
Let d(c) = -68*c**2 - 82*c + 281. Let p be d(4). Which is bigger: -1138 or p?
p
Suppose 2*l + 3 = 3*l, 0 = 3*w + 4*l - 114. Suppose 26*q = w - 8. Is -1/524 smaller than q?
True
Let f = 1326 - 1326. Which is greater: 2/5209 or f?
2/5209
Let h(f) = -f**2 + 22*f - 112. Let u be h(12). Let x(p) = -p**2 - 11*p + 63. Let b be x(u). Is -87 greater than b?
True
Let t(o) = -o + 76. Let g be t(0). Let f = -86 + g. Suppose 0*w = -2*w - u - 27, -4*w + 4*u - 48 = 0. Is w < f?
True
Suppose 0 = -3*o + 99 + 126. Suppose 4*r = -r + o. Suppose -3*y + r = -8*y, 3*w - 2*y + 51 = 0. Is -21 greater than or equal to w?
False
Let x = 0.16966 + -0.20057. Which is smaller: x or 2/7?
x
Let k be (1 + -1)/(-7 + 5). Let h(z) = -z**2 + z - 2. Let a be h(k). Let l be (a + 4)*(-2)/4 - -36. Do 35 and l have the same value?
True
Suppose 0 = -257*k + 254*k - 1206. Let w = k + 1607/4. Is w <= -373?
False
Let a = 18652 + -16899. Is a bigger than 1753?
False
Suppose -8*f - 2*f - 11268 = -458. Are -9736/9 and f equal?
False
Let f(h) = -h**3 - 11*h**2 - 17*h + 11. Let c be f(-9). Suppose -132 = -2*s + 3*b, -c*s - 3*b + 372 = 3*s. Let v = 70 - s. Is 1 less than v?
False
Let a be (15/(-30))/(1/(-46)). Let r = 53 - a. Let v = -44 + r. Is -13 smaller than v?
False
Let x = -466 - -462. Suppose 0 = -9*o - 34 + 7. Which is greater: x or o?
o
Let f be (-2566)/(((-112)/24)/(-7)*-3). Does 1280 = f?
False
Let n = -31 - -34. Suppose -10*y + n*y - 616 = 0. Let i = -89 - y. Are i and -1/4 non-equal?
True
Suppose -3*v + 4*v = 15. Let x(c) = 8*c - 2. Let p be x(v). Let o = -62 + p. Is 55 at most o?
True
Let j(v) = v**2 + 15*v + 38. Let t be j(-11). Let s be (2 - 1)/((-3)/t). Let c be ((-23)/10 + s)/((-238)/(-35)). Which is smaller: -1 or c?
-1
Let z = 0 - -2. Let o = -226892/21 + 10805. Is o at most z?
True
Let p(u) = 58*u - 2673. Let h be p(46). Is h > -76/15?
True
Let t = -7600.8 + 7601. Which is bigger: 342 or t?
342
Suppose 129*y + 832 = 77*y. Let m(j) = 2*j + 8. Let s be m(-9). Which is smaller: y or s?
y
Let t = -7.5 - -11.4. Let y = t + -3.9. Which is bigger: -23 or y?
y
Let x = 710.4829 + 0.5171. Which is smaller: x or 2?
2
Let a = 3087253/112 + -193708/7. Do a and -109 have the same value?
False
Let h = -4520094/277 + 16318. Is 1 bigger than h?
True
Let t = -715 - -339. Let i = t + 16172/43. Is i at most as big as -1?
False
Suppose -11*f + 61 = -27. Suppose f*j - 1166 = -430. Is -3/7 bigger than j?
False
Let l be 232/48 + 1/6. Suppose -4*m + l*m = -128. Is -128 < m?
False
Let s be (7 - 76)*5/(-75) + 10/25. Let a be (2/1)/((-6)/(-21)). Suppose a*o - 2*o = s. Which is smaller: o or -1.3?
-1.3
Let r be -49 - (-136826)/2849 - ((-9)/(-7))/(-3). Is r equal to 33/25?
False
Let b = -220 - -199. Let k be b/11 + (-52)/572. Which is greater: -5/8 or k?
-5/8
Let s(v) = 159*v - 278. Let b be s(2). Which is smaller: 36 or b?
36
Let a be 2319/(-21) + 4 + (-6)/(-14). Let n = a + 437/4. Which is smaller: 2 or n?
2
Let a = -1/27 - 22/135. Let o = 16238 + -96917/6. Let v = 86 - o. Is v < a?
False
Let x = 8476 + -8475. Which is smaller: x or 233?
x
Let j = -0.213 - -2.593. Let p = j - 2.58. Which is smaller: 0.106 or p?
p
Let d be (-403)/(-680) + (-21)/35. Let q(c) = 992*c + 18849. Let k be q(-19). Is d less than or equal to k?
True
Let p = -3129 - -3129. Which is bigger: 251 or p?
251
Let j = -0.2402 - -0.2002. Which is smaller: -20/3 or j?
-20/3
Suppose w - 3*w = 3*s + 26, -5*w + 10 = 0. Let y be (200/15)/(0 - s/(-45)). Is y != -60?
False
Let x = 117082 + -117082. Suppose 0 = -3*v - 4*m - 17, -m = 3*v - 3*m - 13. Let j be (v/(-7))/((-1)/2). Which is bigger: j or x?
j
Let u be 5/(-7 + 8)*-2. Suppose -5*a - 109 = 3*w, -94 = 4*w - 2*a + 8. Let b = w + 17. Is b greater than u?
False
Suppose -2*i - 10 = -v, 30 = -0*v + 3*v - 3*i. Let s be (-2)/4*-4*v/4. Suppose 5*d = -3*f + 10*d - 46, -d - 86 = s*f. Is -16 > f?
True
Let m be 2*3/(-6)*(-58)/7279. Suppose 3 = -4*v + 7. Are m and v nonequal?
True
Let u = -640.4 - -1381.4. Which is greater: u or -3?
u
Let r = -711 + 461. Let z = -316 - -66. Is r at most z?
True
Let o be 106/14 - 12/21 - (17 - 10). Is o <= 2/4085?
True
Let w = -9.148 + 9.248. Is w < 302?
True
Suppose 5*v = h - 26, -v = -4*h - 12 - 17. Which is smaller: v or 1.321?
v
Let x(j) = -j**2 + 12*j - 7. Let y be x(11). Suppose 3*h + 2*h - 545 = y*o, -3*o = 3*h - 300. Suppose 6*w - w = -h. Which is bigger: -20 or w?
-20
Suppose 0 = -2*h - 2*z - 12, 2*h - 3*h - 4*z - 21 = 0. Let y(v) = -57*v - 14. Let s be y(-2). Let f be (-4)/5*(s/(-45))/4. Is h less than f?
True
Let n = 4759 + -4774. Which is smaller: -310/19 or n?
-310/19
Let w = 101.65 + 5.35. Let d = -116 + w. Which is smaller: 32 or d?
d
Let a = -2625 - -2668. Is 0.37 > a?
False
Let f = -19 - -24. Suppose 5*a = -5*z - 35, 3*a = -f*z + 8*z + 9. Is -18/13 bigger than a?
True
Let a = 33 - 30. Suppose -60 = a*t + d + 5, -2*d - 10 = 0. Suppose -5*u + 12 = 107. Are t and u equal?
False
Let x be ((-3613)/2)/(1/2). Let f = x + 75889/21. Is f smaller than 0?
False
Let q = -126 + 189. Let l be (-3)/q*-3 + (-528)/21. Is l <= -49/2?
True
Suppose 2*a - 51 = -3*z + 5, 108 = 4*a + 5*z. Let s be (-87)/6*a/77 + 3. Suppose 2*o + o - 2*d = 10, 0 = -5*d - 25. Is s at most o?
True
Suppose 0*h + 65 = -h + 3*c, -2*h + 2*c - 134 = 0. Let o be ((-628)/8 - -14) + (-1)/(-2). Is h > o?
False
Let l(s) = -s**3 + 11*s**2 + 10*s + 28. Let k = -28 + 40. Let j be l(k). Suppose d = -j*d. Is d less than or equal to 1/4?
True
Suppose 7*h + 3*h = 30. Suppose 154 = -h*p - 47. Let w = -36 - p. Does 31 = w?
True
Suppose 3*d + 5*j - 109 = -381, 400 = -5*d + 5*j. Let p be (-8)/d + (-262)/546. Is p >= 0?
False
Let m = 138 - 184. Let c be 210/35*m/8. Which is greater: c or -35?
c
Let i(l) = 26*l**3 + 4*l**2 - 3*l + 72. Let w be i(5). Which is bigger: w or 3406?
w
Let b(w) = w**3 - 16*w**2 + 2*w - 22. Let m be b(16). Let p(n) = -4*n - 12. Suppose i - 6*i - 5 = -4*t, t = i. Let r be p(i). Which is smaller: m or r?
r
Suppose -4*o - 3*t = 29707 - 8021, 0 = 3*o + 2*t + 16264. Are -5420 and o equal?
True
Let u = 6697/279972 + -5/404. Is 0.1 bigger than u?
True
Suppose h - 2 = y, 3*h = 5*h + 2*y - 8. Let x be 1893/(-1*(-1 - (-12)/(-16))). Let w = 1084 - x. Is w >= h?
False
Let k = 81 + -73. Let o be (63*(-7)/(-84))/(1/k). Is 47 greater than o?
True
Let x(m) be the third derivative of -m**5/60 + m**4/8 + 11*m**3/6 + m**2. Suppose -60*t - 14 - 79 = -633. Let c be x(t). Which is smaller: -45 or c?
-45
Let v = 20.12 - -17.78. Let y = 37.8 - -0.2. Let j = y - v. Is j less than 2?
True
Suppose 0 = -5*x + 17 + 8, 0 = -5*g - 2*x - 60. Let o be g/(-20)*(-76)/133. Is o <= -1?
False
Let z(b) = 6*b**2 - 9*b - 5. Let k(x) = -11*x**2 + 19*x + 9. Let m(s) = 4*k(s) + 7*z(s). Let w be m(5). Which is smaller: -14 or w?
-14
Suppose -3*w + 2*u + 415 = -254, -w - u + 208 = 0. Which is greater: w or 224?
224
Let g = 1.3465 - 4.8865. Is g less than or equal to 2/11?
True
Let h be (-11 - 7)*(-6)/(-18) - -5. Let u be 4*5/80*h. Suppose 3*x = -7 + 1. Which is smaller: x or u?
x
Suppose -61*r - 317 - 478 = -8*r. Suppose 2*