et w(d) = -d**3 + 7*d**2 + d - 8. Let v be w(r). Is u less than v?
True
Let x(a) = 257*a + 1774. Let i be x(-7). Which is greater: -29 or i?
i
Let p = 18 + -19. Let d be 2/(-14)*6*(-112)/p. Is -95 < d?
False
Let t be 13*(88127/(-117) - 14/(-63)). Is t less than or equal to -9787?
True
Let f = -6 + 33. Let h = -97062 - -97089. Is h at most as big as f?
True
Let c be ((-7)/63)/(4/36). Is c at most 0.607?
True
Suppose -2*j = 1 - 5. Suppose 0 = 2*i + j*i - 8. Suppose -s = -3 + i. Which is smaller: 0 or s?
0
Let i be 258/1161 + 367/(-801). Which is bigger: -1 or i?
i
Let m = 1546 - 2729. Is -3548/3 bigger than m?
True
Let z = -1.1747 + 0.0397. Let u = z - -1.06. Let b = 15.075 + u. Is 2/7 >= b?
False
Suppose 699*d - 687*d + 108 = 0. Let u = 2 - 13. Is u not equal to d?
True
Let m = 390.4 + -390. Suppose -t - 28 = 2*d + 1, -4*t - 56 = 3*d. Which is smaller: m or d?
d
Suppose 5*i + 37*s + 21279 = 39*s, 15 = -5*s. Do 1/2 and i have the same value?
False
Let b be ((-684)/(-63) + -10)*3724. Is b less than 3190?
False
Suppose 4*j - 13 = -5*d, 0 = j - 2*d - 2*d - 19. Suppose -j*m + 1447 - 12 = 0. Is 206 equal to m?
False
Let c = -17594.5279 + 17595. Which is greater: -1/4 or c?
c
Let o(r) = r + 11. Let j be o(6). Suppose j*u = 12*u. Let b = u + -7. Which is bigger: b or -5?
-5
Let o be 3/12*(241 + -5). Let y = o - 47. Suppose 0 = -2*d + 4*c - y, 0 = -4*d - 3*c - c + 12. Do -1/8 and d have the same value?
False
Let k(f) = -31*f + 4. Let g be k(0). Suppose -n = 4*w + w + g, 0 = -4*w - 4. Let s = 1 - -8. Which is smaller: n or s?
n
Suppose 506*c = 24 + 988. Let j be 108/37 - (1 + 2). Is c less than j?
False
Let u = 325 - 353. Let j be ((-33)/(-22))/((-10)/u). Which is greater: j or 1?
j
Suppose -64060 = -56*m - 11644. Is 936 equal to m?
True
Let s be (-3142739)/(-52628) - 2/(-59). Is 59 less than s?
True
Suppose 230*k + 3420 = 185*k. Which is smaller: k or -2?
k
Let r = 77 - 72. Suppose -160 = 5*i - r*o + o, -128 = 4*i - 2*o. Let j = 31 + i. Is 4/13 not equal to j?
True
Let n = -9/2 - -419/94. Let k(v) = v**2 + v - 4. Let x be k(2). Suppose -3*l + 5 = x*l. Which is greater: l or n?
l
Let q = -6/5927 - -4409730/41489. Is q less than 106?
False
Let h = 1.2 + -1.11. Let x = 2/821 + -1652/4105. Which is smaller: x or h?
x
Let j be 2 + (-7)/((-1183)/52). Is j bigger than -2?
True
Let w = -3233 - -6749. Is w smaller than 3515?
False
Suppose 3*x = 2*f - 719, -164*x - 4*f - 1213 = -159*x. Is -483/2 != x?
True
Let z(k) = 31*k + 9 + 13*k**2 + 24*k - 72*k + k**3 + 40*k. Suppose 5*v + 25 = -30. Let j be z(v). Which is smaller: -28 or j?
-28
Let w be 3 + (-5)/(10/8). Let q be (6/w)/3 + -4. Let h be (-122)/(-8) + -3 + q/(-8). Is 13 equal to h?
True
Let p be -6*(-2)/(-30)*(11/2 - 3). Is p less than -2/647?
True
Suppose 0 = 3*x - 5 - 1. Suppose 0 = x*z - 2. Let c be (178/(-30) - -3) + 3. Which is smaller: c or z?
c
Suppose -3*y - 7 - 7 = -k, 4*k = 2*y + 16. Suppose -3*i + 6*i + 12 = 3*t, 8 = 5*t - i. Let b be ((-24)/16)/(t/(-4)). Which is smaller: k or b?
k
Suppose 31*b = 38*b + 126. Let m be 18/(-6)*43/(-3). Let h = 25 - m. Is h > b?
False
Let h be (3 + (-88)/35)/(15/75). Which is smaller: h or 0.035?
0.035
Let x = -394107 - -2754096/7. Which is bigger: 1 or x?
1
Suppose 3*d + 1396 = -0*d + 5*c, 2*d = 5*c - 934. Let p = 447 + d. Suppose 2*m + 45 = -m. Is m < p?
False
Let j be 7/5 - (323759/(-16515) + 21). Is 0 >= j?
False
Let w = -21 + 6. Suppose 2*n + 3*u = n + 2, -4*u = 5*n + 23. Let h(g) = -g**2 - 3*g + 13. Let z be h(n). Is z <= w?
True
Let d be 8416/(-282)*135/(-150). Let j = -110/47 - d. Are -30 and j non-equal?
True
Let x be (10753171/546)/(-29) - (-4)/3. Let h = x - -678. Is -1 < h?
True
Let r = 2357 + -2297. Suppose a = -l, -4*l = l - 2*a - 28. Let h be -1*(236/(-1))/l. Is r greater than or equal to h?
True
Let a = 788 + -663.6. Let k = a - 117. Is -2/5 <= k?
True
Suppose -3*m + 1 = -5. Suppose -3*r - 31 = -m*a, -2*a = 2*a - 5*r - 61. Let z be ((-22)/a + (0 - -1))*-2. Is 0 < z?
True
Suppose -22*y = -15*y - 1113. Let t = 163 - y. Which is smaller: 20/7 or t?
20/7
Suppose -3*o - 2008 = 4*p, -20*p + 23*p = 5*o - 1477. Is -498 != p?
True
Let u = 30.99 + -30.49. Which is bigger: u or -7?
u
Suppose -283*s - 26*s + 1056534 = -6844905. Is 25572 less than or equal to s?
False
Let b be (2 - (0 + 0)) + 0. Let r(s) = -4*s + 2. Let p be r(b). Let y = 0.486927 - 0.086927. Which is bigger: p or y?
y
Let t be (3 - 2)*(-37 - -63). Suppose -1 = -g - 5*i, 6*g - 4*i - 98 = 3*g. Let y = t - g. Which is smaller: y or 7/16?
y
Let n be 16/(-36) - (-4 + 9048/2484). Is -3/16 greater than or equal to n?
False
Let i = -0.27092 - -193.27092. Which is bigger: 0.03 or i?
i
Let s be 3/(-2)*(-33)/176*4*-11. Which is smaller: -11 or s?
s
Let k = -2.36 - -2.483. Let x = -0.877 - k. Which is smaller: -35 or x?
-35
Let v = 2244.3 + -2401. Let n = v + 215. Let w = n - 58. Which is smaller: -20 or w?
-20
Let x be 736/(-17) + 0*(-6)/36. Which is greater: -43 or x?
-43
Let c(a) = a**3 + 2*a**2 + a - 1. Let n(o) = 3*o**3 + 4*o + 1. Let q(m) = 2*c(m) - n(m). Let h be q(5). Which is smaller: -40 or h?
-40
Let z be 14/40 + (-2)/(-8). Let r be 8/12*(-1962)/(-4). Suppose -r = 4*j - 331. Which is smaller: j or z?
z
Let l = -2.43 - 133.57. Let k = l - -113. Is 0.7 < k?
False
Suppose 4*h + 3*x + 16 = 0, 2*x + 6 = -2*h + x. Suppose 0 = -32*z + 31*z + f - 7, -5*z = -f + 47. Let u be (-14 + 19)*((-14)/z + h). Which is bigger: 16/5 or u?
16/5
Suppose -29*f - 2252 + 1010 = 5892. Are f and -248 equal?
False
Let o = -4681 + 4677. Suppose v - 3*r - 18 = 0, v + 2 = -2*r - 0. Let d be 2/(-9) + 2/v. Which is greater: d or o?
d
Let i(n) = 81*n**2 + 402*n + 1. Let h be i(-5). Let s be (34/(-6))/((-1)/3). Is h at least s?
False
Suppose -4*l + 155 = l. Suppose l*d = -4*d - 1925. Is -2 bigger than d?
True
Suppose b - 13 = -2. Let l(x) = -x**2 + 14*x - 23. Let i be l(b). Suppose -p = 2*v - i, v - 2*v = -3*p - 5. Are 4/11 and p equal?
False
Let a = 1964305/283 + -6941. Suppose 14 = 48*l - 43*l - 3*t, 7 = -2*l - 3*t. Which is smaller: l or a?
a
Let k = 64 + -70. Let b be (-2 + 88/k)*60/50. Which is smaller: -19 or b?
b
Let w = -17 - -6. Let l = 139 - 84. Suppose -17*i + 22*i = -l. Is i less than w?
False
Let c = -1915 + 2211. Which is smaller: c or 298?
c
Let j = 230 - 226. Suppose -f + 3*m - 24 = 0, -2*m = -j*f + f - 44. Let h = -0.2 + -0.8. Which is greater: f or h?
h
Let s = -75.03 + 75. Let y(i) = 2*i**3 + i**2 + i - 2. Let r be y(1). Which is smaller: r or s?
s
Let w be (-6)/1 - (36 + -277). Let d = -234 + w. Is d bigger than -0.259?
True
Let t = 5 + -89. Let u = t - -85. Is 1.4 > u?
True
Suppose 16*p + 3*p = 32*p + 130. Do p and -37/4 have the same value?
False
Let i = 665 - 734. Let w = -216 - -147. Is i less than w?
False
Let r = -221239/46928 - -1/6704. Suppose -g + 6*g + 30 = 0. Which is greater: g or r?
r
Suppose -113 + 114 = -13*s - 181. Is 41 not equal to s?
True
Let i be 20368/6650 - (-22)/275. Is 2 bigger than i?
False
Let c = 66 - 52. Let p = -2 + c. Let i(u) = u**2 - 18*u - 7. Let f be i(19). Do f and p have different values?
False
Let f(m) = m**3 + 3*m + 4. Let k be f(0). Suppose k*l + t + 21 = 0, 0*l - 2*t = 3*l + 12. Which is greater: -2 or l?
-2
Let f(h) = 7147*h**3 - 27*h**2 + 24*h + 3. Let s be f(1). Is 7148 equal to s?
False
Let j = 259 - 252. Let p be (-10)/(-2)*(-416)/(-5). Let w be 1*-3 + p/39. Which is smaller: j or w?
j
Let k = -5328 + 5326.24. Does -3 = k?
False
Let d = -23407/2 - -163829/14. Let a be 3 - (-2 - (-6)/2). Is d greater than a?
False
Let k = 0.248 + 65.752. Let d = -76 + k. Do d and -2/7 have the same value?
False
Let o(w) = 2*w**2 + 5*w + 2. Let u be o(-3). Suppose u*s + 10 = -20. Let q = -510 + 504. Is s smaller than q?
False
Let b = 316 + -317. Let q be ((-8)/6)/((-2)/354*b). Which is smaller: -237 or q?
-237
Let q = -393.8 + -6.2. Let y = q - -408. Which is smaller: y or -0.04?
-0.04
Let d be 1 + (-7)/14 + (-417)/654. Let y = -3157/24525 - d. Let i = -6 + 7. Which is bigger: i or y?
i
Let i(n) = n - 6. Suppose -2*q + z = -2*z - 6, 0 = 2*q - 5*z - 6. Suppose 4*s - 2*k = 3*s, -3*k - q = -s. Let y be i(s). Is -51/4 at most y?
True
Let w be (6/(-4))/(29/8 + -4). Suppose -w*j + 8 + 15 = -c, -j + 1 = -5*c. Let f = 106.8 - 107. Which is bigger: f or j?
j
Let z be 125/2 + (-2)/4. Let x be