ose -3*u = -2*r - 585, -r + 3*r = 6. Suppose u = -5*i - 48. Suppose 2*h = 4*d - 90, 8*h + d + 198 = 4*h. Does h = i?
True
Let x be 2531/26 + 7/(91/2). Let p = x + -98. Let f = -12 + 8. Is p greater than or equal to f?
True
Let h = -0.11149 - -492.11149. Which is smaller: -1 or h?
-1
Let o be ((-12)/9)/(3084/(-18)). Which is bigger: o or -18?
o
Let r = -0.344 - 21.656. Let d(c) = -c**3 - 4 + 3*c + 0*c**3 + 0*c**3 - 3*c**2. Let n be d(-4). Which is smaller: r or n?
r
Suppose 4*v - 6*v = -16. Suppose -9*j = -v*j - 171. Is 172 not equal to j?
True
Suppose -2*j - 58 = -4*r - 0, -23 = -4*r - 5*j. Suppose 0 = 6*o - 12 - r. Suppose -o*w = -14*w. Is 3/40 greater than w?
True
Let o = -31024/3 - -10492. Is 22 not equal to o?
True
Let o = 48 - 42.9. Let a = -0.018 - -4.918. Let n = a - o. Which is smaller: 1 or n?
n
Let a(q) = -4 + 55*q - q**2 + 7 - 45*q. Suppose -w + 3*m - 7 = -1, -5*w - 5*m = -70. Let k be a(w). Is 12 > k?
False
Let q = 147 - 144. Suppose 3*p + q = 3*k, -5*p + 0*k - 5 = 5*k. Which is smaller: p or -1/645?
p
Let h = 34.79 + -34.86. Which is bigger: h or 58?
58
Let u = -0.206 + 31.006. Let i = u + -32. Is i < 0.5?
True
Let v(h) = 2*h**2 - 5*h - 23. Let m be v(5). Let d be (-114)/(-120) - (m + 5/(-4)). Let g = -1808/745 - -4/149. Is d at least g?
True
Let x = 0.028 + 57.972. Let u = x - 6. Let o = -52.043 + u. Which is smaller: -2/3 or o?
-2/3
Suppose -2*x - 3 = 5*p, 5*x + p + 105 = 109. Let j = 803/4 - 103603/516. Which is smaller: j or x?
j
Let d = -1177 - -1151.36. Which is smaller: d or -0.1?
d
Let m be 1/((-2)/3) - 182/4. Let b = m - -48. Let w = 20/11 - 122/55. Is b < w?
False
Suppose -11*x + 4*x + 40*x - 198 = 0. Do 171/23 and x have different values?
True
Suppose -72 = -7*i + 2553. Suppose 0 = -4*a - y - 401, -3*a - i = 5*y - 53. Let q be 0/6 + 1/(15/a). Which is smaller: -7 or q?
-7
Let a = -248.75 - -248.45. Is -9.01 equal to a?
False
Let u = -6/36910386223 + 923451324120377/21814038257793. Let l = u + 2/4531. Which is smaller: 41 or l?
41
Let t(b) = -b - 2. Let d be t(-5). Let y(x) = x + 23. Let f be y(-10). Let w(v) = v**2 - 11*v - 26. Let o be w(f). Is d equal to o?
False
Let u = 769.9 - 769.8864. Which is bigger: u or 8?
8
Let u = -742.12 - -742. Let t(m) = -m**2 + 5*m + 14. Let y be t(7). Suppose -3*o + 4*o + 2 = y. Is o < u?
True
Suppose -138 + 58 = -4*k. Let q be (22/33)/((-8)/(-36)). Suppose -2*v + 25 = -4*m - 15, q*m = -3. Which is bigger: v or k?
k
Suppose -4*d + m = -8, -d - 2 + 4 = 3*m. Suppose 4*b - 6 = -d. Let f be (-8)/52 - 53*(-10)/910. Is b < f?
False
Let l = 4/9 + 1/18. Suppose 0 = 68*o - 70*o - 612. Let g = o - -307. Is l at most g?
True
Let s = 160.6 - 159.6. Let l = 1 - -112. Do l and s have different values?
True
Let d be (64/(-12))/((-30)/6210). Is d greater than or equal to 2/9?
True
Let w(z) = -z**2 - 87*z + 1649. Let q be w(-103). Which is bigger: q or -39/233?
q
Let x be (714/(-35))/(3/(-10)). Suppose -335 = -5*g - 3*k, -4*g + 2*k + 0*k = -290. Which is smaller: g or x?
x
Let w = -528 + 488. Is w >= -5?
False
Let w = 15 - 13. Let p(q) = -6*q - 36. Let c be p(-8). Let r be (c/8 - (-2)/(-6)) + 0. Is w at least as big as r?
True
Let a be 21287/(-4158) - 24/(-44) - -6. Is 2 >= a?
True
Let o = 50 - 48. Suppose -o*w - x + 197 = -0*x, 5*x + 215 = 2*w. Suppose 3*z + r - 70 = -4*r, 5*z - w = -5*r. Which is greater: 12 or z?
z
Let q = -9392 + 9391. Which is smaller: q or -336/197?
-336/197
Let o be 5/(5*4/20). Suppose 4*x = -2*l - 1 + 3, 5*l = -o*x - 5. Let m(d) = -5*d**2. Let k be m(x). Is k bigger than -19?
False
Suppose -3*p - 96*p + 34*p - 159965 = 0. Which is smaller: p or -2459?
p
Let j = -2.1671 - -2.1671. Which is greater: 2158 or j?
2158
Let p = 26.42 + -0.42. Let b = -25.155 + 0.955. Let z = b + p. Which is bigger: z or -1?
z
Let t(k) = 2*k - 10. Let u be t(6). Let n be (4 - (84 + -4))*(1 - u). Suppose -52*w + n = -54*w. Which is smaller: 0.1 or w?
w
Suppose 4*c + 230 = 2*u - c, 0 = u + 5*c - 130. Let a = u + -119. Let w be (-8 - 2)/(a/(-3)*-3). Is w < -10?
False
Let z = 0.888 - 0.178. Let b = -0.56 - z. Which is smaller: -0.3 or b?
b
Let g(y) = y**2 + 15*y + 56. Let z be g(-8). Suppose -3*x = -u - 4*x + 261, z = 3*x. Is 261 smaller than u?
False
Let p = -3363 + 4281. Is 921 at most as big as p?
False
Suppose 27*z + 11 = 16*z. Suppose -v - v = 0. Let p be 2 - (6 - -2) - v. Which is smaller: p or z?
p
Let a = 475 - 460. Suppose 404 = 11*s - a*s + 3*n, 0 = -5*s - 4*n - 474. Which is smaller: -97 or s?
s
Suppose 0 = -v + f + 3*f + 30, -5*v + 3*f = -65. Let s(u) = u**3 - 9*u**2 - 9*u - 11. Let p be s(v). Let b be 0/(-4 - -2) - (2 + p). Is b at most 2/9?
True
Let z = 426 + -488. Is -67 greater than or equal to z?
False
Let l = 12309093/544 - 22627. Is l >= 1?
False
Let r = -346.3 - -413. Let l = r + -62. Let t = 0.3 + l. Which is smaller: -1/4 or t?
-1/4
Suppose 3 = u, -3*g + 218*u - 9 = 215*u. Suppose 5*j + 90 = 95. Is g at least j?
False
Let b(h) = -h**2 + 10*h - 17. Suppose 0 = 5*f - 4*f + 2*x - 11, -2*x - 24 = -4*f. Let z be b(f). Let p be z - 17/(-2)*2. Which is smaller: p or 20?
20
Let h be (-30)/(-135) - 109/450. Let l = -4305 - -4306. Which is smaller: h or l?
h
Let t = 32 - 28. Let i = 141 - 137. Suppose -4 = i*z + 4. Which is greater: z or t?
t
Let q = -1047 - -1630. Suppose 3*p + 6*l + q = 7*l, 1 = l. Which is greater: p or -192?
-192
Let h be 1/3 - (-55)/(-102). Let r = 13477 - 13476. Which is bigger: r or h?
r
Let v be -3*220 + 3 + (1 - -1). Does v = -655?
True
Let i = -1250.17284 - -0.17284. Do i and 2 have the same value?
False
Let o = -59.7 + 60.558. Let c = 0.958 - o. Let h = -0.13 - 0.02. Is c >= h?
True
Let g be 3*(3 + 15/(-9)). Suppose 3*f = 12, g*c - 5*f - 56 = -0. Suppose 538*h = 527*h + 198. Are h and c equal?
False
Let y = -374.2 + 349. Is y greater than 8?
False
Let k be ((-5)/(-5))/2*((-19495)/(-126))/5. Is 14 at most k?
True
Suppose 555 = -5*f - g, -14 + 4 = -2*g. Which is bigger: -1 or f?
-1
Let m = 193207 + -7921879/41. Is m != -9?
True
Let u be -4 - -8 - -1*9. Let z = -20 - u. Let v = z - -37. Which is bigger: v or 0.4?
v
Suppose 6492 - 7517 = 5*o. Is -205 bigger than o?
False
Let f be (292/10)/((-96)/(-720)). Is 219 < f?
False
Let g be -2*18 + (-19872)/(-552). Let s = -2/37 - -207/3145. Which is bigger: g or s?
s
Let n be 279/45 + -7 - (-7)/(-35). Is 750.4 not equal to n?
True
Let k = 42 - 47. Let z be (12 - 3)*k/(-15). Let d be (-2)/(-7 + z)*18. Is 65/7 less than or equal to d?
False
Let g = 0.3241 - 0.4241. Which is greater: g or -14.7?
g
Let p be 208/2 - 13/((-91)/(-14)). Suppose -21*y = -4*y - p. Which is smaller: y or 37/8?
37/8
Let k(u) = 4*u**2 + 2*u. Let y = -12 + 9. Let j be k(y). Let n(d) = 85*d - 565. Let c be n(7). Is c at most j?
True
Let p(o) = 4*o + 91. Let q be (13800/32)/(-15) - (-1)/(-4). Let h be p(q). Which is smaller: h or -26?
-26
Let y(d) = 3*d**2 - 49*d - 108. Let n be y(-2). Is n less than or equal to -28/13?
False
Let o(k) = -31*k - 9. Let x be o(-5). Suppose 13*b + x = -75. Let w be (-4)/(-6) - (-20)/6. Which is smaller: w or b?
b
Let p = -125/17 + 1858/255. Let u(x) = 3*x**2 - 3*x - 1. Let q(i) = 2*i**2 - i. Let h(n) = -5*q(n) + 3*u(n). Let l be h(-2). Which is greater: p or l?
l
Let o = 0.68 + -0.36. Let f = o + -0.348. Let i = -0.172 + f. Which is bigger: i or -0.03?
-0.03
Let c be ((-40)/6)/(-5)*(-336)/392. Suppose -w - 8 - 2 = 3*m, 0 = -2*w - 2. Let a = 4 + m. Which is smaller: c or a?
c
Let b(k) = 19*k**2 + 12. Let l be b(4). Let a be 1 - l*(-5)/(-180). Is a != -7?
True
Let t = -57 + -84. Let n = 140 + t. Does n = 2/285?
False
Let x be (-2 - -2) + 2/107. Suppose 7 + 3 = -w - 5*p, 5*w = -3*p - 116. Let o be ((-35)/w)/(-7) + 4/(-5). Which is smaller: x or o?
o
Let h(m) = -156*m - 48. Let n be h(10). Let k be 2 - -1076*3/n. Which is bigger: 0 or k?
0
Let i = -138294/77 + 1796. Let z = i - -83/231. Let s be ((-96)/(-64))/(-1 + (-5 - 0)). Which is bigger: z or s?
z
Suppose 7*t + t = 352. Let i be (-1)/4 + 3311/t. Suppose -p = 2*p + 3*d + i, p - 2*d = -25. Which is bigger: -26 or p?
p
Suppose 25*p - 24*p - 36 = 0. Let q be ((-180)/(-25))/((-3)/(-10)). Suppose q*r + 111 = 27*r. Which is smaller: p or r?
p
Suppose 1861 = -s + 8*b, 5*s - 9*b = -13*b - 9349. Which is bigger: s or 2/7?
2/7
Let x = 13 + -9. Let a = 2.267 - -0.173. Let y = a + -4.44. Do