 -17601 = -40*g + 20319. Which is greater: g or 949?
949
Let x = 61507 + -123015/2. Let p be 226/(-74) + 1 + 2. Do x and p have different values?
True
Let g(w) = 3*w - 4*w + 8 + w - 2*w. Let y be g(7). Let b be (-40)/12*(-12)/(-8). Is b bigger than y?
True
Let s = 39133 - 39126. Suppose u - 3*u = 1584. Let c = u - -2401/3. Which is bigger: c or s?
c
Suppose -55*n + 66*n - 297 = 0. Let d = 1948453/240 - 40481/5. Let j = 69/16 + d. Is j < n?
True
Let n be 4/(-5)*65/(-299). Suppose 2*o = 24*s - 22*s - 12, -3*s + 20 = -5*o. Which is smaller: o or n?
o
Suppose 0 = -4*u + k + 27 - 4, -13 = -5*u - 4*k. Suppose 0 = -4*l + 2*s - u*s + 265, 2*l - 139 = 5*s. Let z = l - 27. Is z greater than 39?
True
Let u = 117 - 113. Let w be (1 - (0 - -4)) + (u - 2). Is 1/16 >= w?
True
Let y = 225/58 - 11279/2900. Which is smaller: y or 3?
y
Suppose 3*p + 247*j + 47 = 242*j, -4*j = 4*p + 44. Which is bigger: p or -108/29?
-108/29
Let t(q) be the third derivative of -q**4/8 + 10*q**3/3 - 53*q**2. Let k be t(7). Which is smaller: k or -2/185?
k
Let w = 21 - 8. Suppose -5*h + 3*x = 113, -h - 32 = 5*x + w. Let d = h - -23. Is d at least as big as -6/7?
False
Suppose 31 = -3*u - 4*b, -9 - 11 = 2*u + 3*b. Which is smaller: -23 or u?
-23
Let f = -211.014 + 0.014. Let c = -211.02 - f. Do c and 4/3 have different values?
True
Let o = -9020 - -9020.1. Is 985.5 at most as big as o?
False
Let c = -32 + 34. Let o be ((-4296)/90)/c - 6/45. Is -22 bigger than o?
True
Let h = 25 + -55. Let n = -31 - h. Which is smaller: n or -4?
-4
Suppose 559 - 4851 = -4*w. Suppose -1 = -w*x + 1072*x. Let r = 7 + -11. Which is smaller: r or x?
r
Let x(a) = -17*a**2 - 14*a - 373. Let i be x(0). Which is greater: -372 or i?
-372
Let p be (2/6)/(2/3972). Suppose -5*c + 686 = 3*j + j, -2*j - p = -5*c. Suppose -2148 = -5*k - 1473. Is k equal to c?
False
Let q = -9762 - -9764. Let y be 1202/6120 + 8/(-32). Let o = 2/153 - y. Is o less than q?
True
Let w be (0 + (3 - 232))*(0 + -1). Suppose -2*u - 2*u = 3*l - w, -u = 3*l - 46. Let v = -115 + u. Is v less than -52?
True
Let v(n) = -16*n - 6. Let a be (-85)/5 - (-1 - -2). Let o be v(a). Suppose -448 - o = 10*r. Is -72 equal to r?
False
Let x = -4007 - -11057. Is 7050 >= x?
True
Let m = -155 + -232. Let k = -319 - m. Which is smaller: 70 or k?
k
Let j(b) = -9*b + 392. Let k be j(43). Suppose k*p = -4*p. Which is bigger: 6 or p?
6
Let b be -12 - -14 - (-13370706)/(-32). Let a = -417609 - b. Let l = -224 + a. Are l and 1 equal?
False
Let v be 3/(11/(-33) + 2625/7794). Let q be -4*(-2)/v*4/8. Is 0 <= q?
True
Let v be ((-124)/(-1))/(-38 + 39). Suppose -v*x + 116*x = 96. Let n = 1651/10 - 353/2. Which is bigger: n or x?
n
Let k = -29.8 - -30.19. Let y = 29.39 - k. Which is greater: -4 or y?
y
Let g = -215 - -227. Suppose g = 7*y + 5. Are y and -7/44 unequal?
True
Suppose n + 4*z - 88 = 0, -188 = -2*n - 0*z - 4*z. Suppose -105*s = -n*s - 10. Let i be 4 - (1036/(-8))/7*s. Are 42 and i unequal?
True
Let y = -500079013/2450430 - -113/25794. Let x = 1018/5 + y. Which is smaller: x or 0?
x
Let w = -13731 + 9913779/722. Which is smaller: w or 5?
w
Let z be (-7)/(-189)*-6 + (-23078)/(-7623). Is 4 < z?
False
Let d be 40/15 - 2382/(-72). Let x(a) = -a**2 + 10*a + 46. Let f be x(11). Which is smaller: f or d?
f
Let c be (12/(-4))/(-3)*-73. Let m(f) = -6*f**2 - 2*f + 13. Let w be m(4). Let g = c - w. Which is smaller: 19 or g?
g
Let f be (63/(-7))/(12/(-108)). Let i = 118 - 39. Do f and i have different values?
True
Suppose -492 = 4*s - 472. Let n be 1*(26/(-6) - -4). Do s and n have different values?
True
Let y = 0.06982 - 0.06982. Is 0.0939 not equal to y?
True
Let z(v) = -2*v + 2. Let o be z(-2). Let i be (o*1/(-1))/(-2) + -5. Let y be 12/4 + (-2 - i) + -4. Is y at least -1/61?
False
Let s be (7 + 34/(-6))/(70/(-15)). Is s < -15.99?
False
Let g = -73.925 - 0.075. Let j = g - -51. Let s = j + 54. Which is bigger: -1 or s?
s
Let l = -583/144 - -46/9. Let q = l + -565/592. Let r be 1 + (0 - 1) - 0. Which is greater: q or r?
q
Suppose -z - 2*z + 30 = 0. Suppose z = -i + 3*i, 5*p + 3*i = 25. Let y be 48/(-32) - (-25)/(-2) - p. Is y greater than or equal to -15?
False
Let l = 23 + -20. Let o(u) = u**2 - u - 1. Let y be o(3). Suppose 3*z + y = 8. Is z > l?
False
Let d be ((-112)/(-35))/(6/75). Let w = d - 44. Let g be (6/30)/(w/10). Which is smaller: -1 or g?
-1
Let v be 40/(10/5)*(-55)/(-132). Are v and -0.4 equal?
False
Let u = -277 - -276.811. Let y = -0.811 + u. Which is greater: y or -6?
y
Let c = 13.39 + -0.39. Let a = -14.6 + 1.6. Let n = c + a. Which is smaller: n or -10?
-10
Suppose 0 = -2*q - 3*x + 17, -q - 3*x = -2*q + 13. Let s(m) = 3*m - 3. Let v be s(4). Suppose q*o + 3 = v*o. Which is smaller: -3/5 or o?
o
Let b(x) = 32*x - 2135. Let i be b(68). Are 707/17 and i nonequal?
True
Let s(o) = -o**2 + 33*o - 122. Let d be (3/4)/((-12)/(-464)). Let m be s(d). Which is greater: -5 or m?
-5
Let n be ((-3)/(-2))/((-285)/190). Is -22/505 at most as big as n?
False
Let s = 43 - 55. Let g be (-1)/(-6) + s/72. Is -2/129 greater than g?
False
Let u = -146 + 151. Suppose u*i + 38 = 48. Let l be (-2120)/70 + i/7. Which is smaller: -29 or l?
l
Let m(u) = 753*u**3 - u**2 + 7*u - 5. Let f be m(1). Suppose -224 + f = 53*y. Suppose -3*l - x + 32 = 0, -3*x = -3*l - 6*x + 24. Are l and y non-equal?
True
Let p = 30 + -32. Let u = -16/27 - -10/27. Which is bigger: p or u?
u
Let o = -240 + 238.05. Let t = o - -53.95. Which is smaller: t or -3?
-3
Let g = -1289/1008 + -1/144. Suppose 363 - 384 = 21*r. Is r != g?
True
Let o = -266/39 + 259343/38064. Let q = -111215/6832 + o. Which is greater: q or -16?
-16
Suppose 0 = -4*a - y - 780, a - 66*y = -64*y - 204. Is a at least -391/2?
False
Let d = -9.106 - -516.106. Is d smaller than -2/9?
False
Let z(f) = 7*f - 285. Let a be z(47). Suppose -28 - a = 24*m. Are -6 and m unequal?
True
Let z(m) = m**2 + 30*m + 51. Let y(l) = -l**2 - l + 1. Let o(i) = -2*y(i) + z(i). Let r be o(-7). Is r bigger than -20?
False
Let h = -1216 + 1244. Let s = -0.0392 - -27.9392. Let t = s - h. Is t at most 0.26?
True
Let u = -9988/33945 - -104/219. Which is greater: u or 0?
u
Let j(r) = 2*r**3 + 94*r**2 - 123*r - 26. Let v be j(-48). Which is smaller: v or 1271?
v
Suppose 0 = z + 19 - 22. Suppose -z*p + 2*p - 50 = 4*h, 3*p - 3*h + 150 = 0. Let v be (-8)/p*45/18. Is v bigger than 4/19?
True
Suppose -3*b = c + 2*c, 4*b = 0. Let n = 114 - 105. Let h be (-4)/(-6)*n/264*2. Which is greater: c or h?
h
Suppose -7*z = -4*z - 3. Let j be 5 - (-4 + z - 1). Let n = 13 - j. Is n at least as big as -2/9?
True
Let y(k) be the second derivative of 65*k**3/6 + 101*k**2 - 282*k. Let b be y(-3). Is 15 greater than b?
True
Let u = 6 - 4. Let b be 15*3/u*16/10. Let g = b + -37. Which is greater: g or 2/11?
2/11
Let m(k) be the second derivative of -k**5/20 + 13*k**4/12 + k**3/3 + 6*k**2 + k. Suppose 377 = 35*v - 6*v. Let a be m(v). Is 2 equal to a?
False
Let a be 119/1140 + (-7)/84. Suppose -10 - 5 = -3*r. Suppose -3*b - 13 = -2*f, f + 20 = r*f. Is b greater than a?
False
Let f = 17271 - 16978. Which is bigger: f or 294?
294
Let f(r) = -156*r - 655. Let u be f(-5). Is -16 smaller than u?
True
Let c(j) = 7*j**3 + 3*j**2 - 4*j + 2. Let n be c(1). Suppose -n*b = -0*b - 16. Suppose -b*y + 4*y = -2. Which is bigger: -6/25 or y?
-6/25
Let y be (16/15148)/((-354)/(-42) + -11). Is 0 greater than y?
True
Let v be (465/(-49))/((-258)/(-903)). Which is greater: v or -34?
v
Let b = -42 - -25. Let v = b - -17. Let u = 253/3 - 84. Which is greater: v or u?
u
Suppose 214 - 28 = 5*k - f, 0 = 3*f - 12. Suppose 43*x - k*x = -2*q + 4, 0 = q - x - 2. Which is bigger: 2/33 or q?
q
Suppose 20 - 8 = -2*c. Let r be (-858)/27 + c/27. Which is bigger: -29 or r?
-29
Let o(v) = -v**3 + 5*v**2 + 5. Let n be o(4). Let f = n + -30. Let d(j) = -2*j + 10. Let a be d(8). Is a greater than or equal to f?
True
Let v = -202 - -216. Let a be -1 + 18/v - 20/70. Which is smaller: a or 4/71?
a
Suppose 72*s - 75*s = 63. Let m(z) = -z**3 - 22*z**2 - 19*z + 45. Let j be m(s). Suppose -j*a + d + 38 = 0, 4 = -2*d + 3*d. Is a at most 15?
True
Suppose 5*a = -2*p + 2743, p = -3*p - 4*a + 5492. Which is smaller: p or 4123/3?
p
Let t = 261005811/106 + -2460832. Let g = 1487 - t. Which is smaller: -1 or g?
-1
Let v = -835 + 625.8. Let n 