*r = -z + 1. Let f = 12 + -8. Let k be f/(-18) + (-348)/(-1323). Which is bigger: r or k?
k
Suppose 429*r = 456*r + 56322. Is r greater than or equal to -2087?
True
Let a = 75 + -40. Let j be (12/7 + 0)*a/10. Let p be (j/21)/(1 + (-30)/21). Which is smaller: p or -11/4?
-11/4
Let x = 4/15 - 976/3435. Let q be 3292/20575 + 42/50. Is x greater than q?
False
Let z be ((-1)/13)/(-3*1). Let x = -1751081/20553 - -2644/31. Let s = z + x. Do 0.1 and s have the same value?
False
Let g be 12/2 - (-4 - -7)*5/3. Which is smaller: -4/12949 or g?
-4/12949
Let s(v) = 6*v**3 + 3*v**2 + 26*v - 82. Let l be s(3). Which is smaller: l or 199?
l
Suppose -3*v + 858 = k - 5*k, 430 = -2*k + v. Are k and -213 nonequal?
True
Let u = -101780168853/38 - -17344940155769/6460. Let z = 6549767 - u. Let m = z + -6/85. Is m equal to 6?
False
Let x = 8099/168681 + 105/953. Which is bigger: 1 or x?
1
Let q = 58 - 59. Let y be (q + (-102)/(-24))*-2. Is -0.1 < y?
False
Suppose -21 - 3 = -2*s. Suppose -4 = -3*j - h, -j - 5*h + 2*h + s = 0. Let a = 9921/58 + -171. Is a at least as big as j?
True
Let f be -5*(12/14 + -1). Let j = -64.68 - -64.65. Is j < f?
True
Let q = 1553 - 1552. Is q smaller than -30/107?
False
Let r(x) = -x**3 + 63*x**2 + 72*x - 491. Let n be r(64). Which is bigger: n or 23?
23
Let g be 37556/(-13648) + 3 + 1/(-4). Let u = -2189/274666 - g. Which is smaller: u or 1?
u
Let x be -4*(-3 - -1) - (-8410)/(-1218)*21. Which is greater: 24 or x?
24
Let w = 1156.3 - 1047. Let c = -105 + w. Let r = c - 4.5. Which is bigger: r or 0.5?
0.5
Let m = 5588 + -363214/65. Which is smaller: m or -1?
-1
Suppose -5*q + 8 = a + 1, 4 = -2*q + 3*a. Let l = q + -69. Suppose b + 84 = t + 2*t, -3*b + t - 212 = 0. Is l <= b?
False
Suppose -5*w + 7*w - 12 = 0. Suppose 0 = -g - 16 + w. Let r be ((-6)/g)/(2/10). Is r less than -1?
False
Suppose 0 = -4*t - v - 3, -25 = 270*t - 267*t + 4*v. Which is smaller: t or -12/791?
-12/791
Let d be (-64)/126 - 10/(-45). Let h be 1/4*(-9 + 11)*10. Suppose -c = -4*b - b + 6, h*c + 58 = -3*b. Is d >= c?
True
Suppose 0 = -4*u - 3 - 9. Let k be (16/6)/(68/102). Suppose 3*z = 5*r + k*z + 31, -5*r - 39 = -z. Which is bigger: r or u?
u
Suppose -4*f + 3*y + 11 = 0, -9*f - 18 = -6*f + 3*y. Is f <= -16/143?
True
Suppose 3*x = 5*a + 591, -164*a + 159*a - 595 = -5*x. Which is smaller: a or -121?
-121
Suppose -2*s - c - 294 = 0, -3*s - 709 = 2*s - 4*c. Let o = -726/5 - s. Which is smaller: 20/7 or o?
o
Let o = -6433/75970 + 34/535. Let k = -8 + 7. Which is smaller: k or o?
k
Suppose -5*i - 5*h + 2690 = 0, -5*i + 3*h - 2676 = -10*i. Which is smaller: 536 or i?
i
Let q = 19410 + -19409. Are 2/4783 and q unequal?
True
Let r = -56.0052 + -1.9948. Which is smaller: -3/10 or r?
r
Let x = 81.7 + -36.1. Let j = -8.6 + x. Let m = 38 - j. Is m equal to -2/23?
False
Let y = 287 + -941/7. Is y equal to 152?
False
Let x(r) = -44*r**2 - 20*r + 60. Let l be x(5). Is -4565/4 smaller than l?
True
Let k(i) = -i**2 - 7*i + 13. Let p be k(-8). Suppose 5*b + 112 = 3*h, -5*h + p*b = -221 + 41. Suppose h = g + 41. Which is bigger: g or -45/7?
-45/7
Let m be 2/13 - (-17478)/(-39). Let v = -44587365/99028 + 2/24757. Let f = v - m. Which is greater: f or -3?
f
Let s = -3575 - -18079/5. Is -9/2 at least s?
False
Let s = -78 + 265. Let j = s + -186.8. Which is bigger: -39 or j?
j
Suppose 3*l = 4*f + 7931, -l + 3*f = -2291 - 351. Is l equal to 0?
False
Let x(g) be the second derivative of -g**5/10 - g**2/2 - 16*g. Let s be x(-1). Suppose -13*o = -12*o - s. Which is greater: -1/40 or o?
o
Let m = -2 - -2. Let j = 431251 + -508013679/1178. Which is greater: j or m?
m
Let v(w) be the third derivative of 7*w**6/120 - w**5/60 - 5*w**4/24 + 25*w**3/6 + 109*w**2. Let t be v(4). Which is smaller: 436 or t?
436
Let r be 111/185 + (-1082)/170 - -6. Suppose 0 = 5*q + 1 - 6. Let p be (2 + 6/(-3))/q. Is r less than p?
False
Let y(x) be the third derivative of -x**5/15 + 23*x**4/24 - 4*x**3/3 + 12*x**2. Let j be y(9). Let u be (((-72)/15)/(-4))/((-15)/j). Does 11 = u?
False
Let g(j) = j**2 + 12*j + 22. Let v be g(-9). Let n be (-5)/275*v - -1. Let u be (-4)/(-7) + (156/21 - 8). Is u at least n?
False
Let b be (1/2)/((-2)/(-24)). Let w = 4993/1080 + -5/216. Which is smaller: b or w?
w
Suppose 4*p + 5581 = -3*t, -19*t + 7000 = -5*p - 18*t. Is p <= -1402?
False
Let x(d) = 0*d**2 + 382*d + 5 - 381*d + d**3 + 2*d**2 + 4*d**2. Let i be x(-6). Is i less than or equal to 2/169?
True
Let x = 18 + -16. Let n = 1.8 - x. Let l be (2 - 0)/6*3. Which is smaller: n or l?
n
Let o(v) = -9*v - 59. Let l(h) = -h**2 - h + 6. Let k be l(-4). Let s be o(k). Let t = 1249/9 - 139. Which is smaller: t or s?
s
Let q = 742 - 754. Let u be ((-2)/q)/(37/(-148)). Is u at most -38?
False
Suppose 88*d - 118*d = -30. Is -7/16 less than d?
True
Let i(w) = -3*w**2 + 37*w - 6. Let l be i(12). Do l and -0.348 have different values?
True
Let z be 6*(876/(-72))/73. Which is smaller: z or -10/81?
z
Suppose -f - 4*p = -1 + 17, 5*p + 20 = 0. Which is smaller: 2/1475 or f?
f
Let p be (-124)/(-10) + (-48)/(-480). Let o = -6 + 18. Which is greater: o or p?
p
Let f = -3783 - -5129. Is f != 1345?
True
Suppose 9 = 3*z + 3*n, n - 9 = 4*z - 2*n. Suppose 4*q = -3*l + 380, 2*q + 120 = -z*l + l. Is l > 125?
False
Let m = 11 - 2. Suppose -m*c = 1120 - 373. Let o = c + 82. Which is bigger: -1/74 or o?
-1/74
Let n = 103.2 - 18. Let c = -80 + n. Let u = c + -4.9. Is u equal to -3/7?
False
Suppose 0 = -o + 3*p + 6, 2*p = 4*o - 3 - 11. Let r(n) = n - 6. Let k be r(6). Suppose -o*i - 15 + 12 = k. Which is greater: 1/8 or i?
1/8
Let l(g) = 4*g - 11. Let b be l(2). Let y be ((11 - 3) + b)/(-4). Is y at most as big as 6/5?
True
Let l = -1.714 - -5.498. Which is smaller: 1 or l?
1
Let k = 3313 - 3319.8. Which is smaller: -77 or k?
-77
Let g(f) = 11*f. Let c be g(6). Let y be (-2*(33/4 - 9))/(-3)*-126. Which is bigger: c or y?
c
Let u be (2/(-10))/(186/930). Which is greater: 9/332 or u?
9/332
Let v(c) = -11*c + 6*c + 0*c + 16. Let f be v(5). Let x(p) = -p**2 - 9*p + 10. Let n be x(f). Is 7 greater than or equal to n?
False
Suppose -5*x + 2*s + 16 - 62 = 0, -39 = 3*x - 5*s. Is 74 less than or equal to x?
False
Let j = 105 - 101. Suppose b = -0*d - d + 156, 3*b + j*d = 463. Which is greater: 162 or b?
162
Suppose -q = 17779 - 17680. Let h be -3*1*294/9. Which is smaller: h or q?
q
Let w = -86 - -86.672. Let o = w + -0.572. Which is bigger: o or 13.1?
13.1
Suppose 5*l + 3*y + 200 = 0, l + 2*y = -3*l - 160. Let j be 4/(-5) - (-11772)/90. Suppose -42 = -2*z - 2*k - j, -4*z + 5*k - 131 = 0. Which is smaller: z or l?
l
Suppose -3*p = -5*s + 120 + 107, 0 = -p - s - 65. Suppose -36*q - 4*r = -39*q + 127, 4*q - r = 165. Let t = p + q. Which is bigger: -27 or t?
-27
Let x be 8*30/84*7/2. Let t be -12*(-102)/594 - x/5. Let b be ((-2)/(-4))/((-2)/(-4)). Is b equal to t?
False
Let m be 27 + ((-2)/(-6))/((-2)/(-6)). Suppose 0*h = -7*h - m. Does h = -4?
True
Let w = -83.2 + 84. Let p = 0.7 - w. Is p at least -2?
True
Let s = -180/13 - -9353/637. Does s = 2?
False
Let m = 1017.1 + -1176. Let l = 156 + m. Is 1/7 equal to l?
False
Suppose 4*y + 368 + 756 = 4*s, 0 = -5*s + 4*y + 1406. Let c(o) = 6*o**2 + 8*o + 4. Let b be c(-5). Suppose b = 8*p + s. Do -20 and p have the same value?
False
Let j be 5/(25/(-2)) + (-1632)/(-30). Let n be 2 - j/10 - (-6)/15. Let a be -4*n/18*(-12)/28. Which is greater: a or 1?
1
Let r(i) = i**3 - 8*i**2 + 12*i + 5. Let a be r(6). Suppose 0 = -5*p - 3*f + 11, a - 1 = -2*p - 4*f. Suppose 0 = p*u + 2*u - 42. Which is greater: -1 or u?
u
Let g be (-790)/(-14) - (-9)/(-21). Let o = 61 - g. Suppose -5 = -o*x - 4*j, 2 = x - j + 1. Is 1 greater than x?
False
Let u be (58/(-435))/(1096/(-10)). Is -1 >= u?
False
Let n = -1912 + 1943. Which is smaller: n or 36?
n
Let o(t) = -2*t**2 + 2*t - 2. Let m be o(1). Let c(v) = -21*v - 7. Let p be c(m). Suppose -p*k - 4 = -31*k. Which is greater: 1/6 or k?
1/6
Let c = 12 - 8. Suppose 2*a + c = -4. Which is bigger: a or -1?
-1
Suppose -2*r - 273 = 4*s - 739, -377 = -3*s + 4*r. Let k = s + -119. Is -1 smaller than k?
True
Suppose 85*j + 79*j = 185*j + 21. Does -4/939 = j?
False
Let p be -26 + 29 + (6/(-15) - (-183254)/(-70490)). Which is bigger: -1 or p?
p
Let k be 2*(8 + (70/(-20) - 5)). Which is bigger: k or -1/13412?
-1/13412
S