 j = -68.1277 + -0.0723. Let q = j + u. Which is smaller: q or -1?
-1
Let k = 75 - 452. Let y = k + 377.57. Suppose 0 = 4*v + 5*d + 15 + 1, 0 = 4*v - 5*d - 24. Which is smaller: y or v?
y
Suppose 4*w + 2 = -2*r, 0 = w + 1406*r - 1403*r + 8. Is 1/24591 less than w?
True
Let c = 90 + -80. Let f be (-5 + (-425)/c)*(-4)/(-5). Is f less than -40?
False
Let o = 2 - 7. Let r be (6/o)/(9/(-30)). Let j = 4 - r. Is j at least as big as 4?
False
Let y = 11.82 + -5.87. Let a = y - 6.01. Are 26 and a nonequal?
True
Let w = -6 - -5.9952. Let y = -17330.9 - -17331.9. Is w equal to y?
False
Let a = 520 - 526. Let b(w) = -w**2 - 2*w + 1. Let o be b(-4). Does a = o?
False
Suppose -5*i - 454 + 134 = 0. Let w = i + 77. Suppose a + 57 = 4*q, -2*q + 0*a + 2*a = -36. Is q bigger than w?
False
Suppose -k - 2489 = -3*p + 6119, 0 = -k + 8. Which is smaller: -0.01 or p?
-0.01
Suppose -303*y = -246957 - 3018. Which is smaller: y or 4132/5?
y
Let r be (-1)/(1/2) - (-17 - 110). Let o = r - 65. Which is smaller: 61 or o?
o
Suppose 127 = 6*p - 89. Suppose 3*v = -5*y - 59, -6*v + 4*y - p = -2*v. Which is smaller: -14 or v?
-14
Let v = 41234 - 206171/5. Is -13 != v?
True
Let j(o) = -3*o**3 + 6*o**2 - 2*o - 20. Let u = -245 - -249. Let b be j(u). Is -127 at least as big as b?
False
Let q(r) = -r**2 - 29*r + 2869. Let t be q(42). Is -57 >= t?
True
Let r = -143 + 142.985. Suppose -12*k + 134 = 110. Do r and k have the same value?
False
Suppose 3445 = -16*d + 17605. Let i = d + -3539/4. Is i bigger than 258?
False
Let v = 1.6068 + 313.6732. Let j = v + -315. Is j at least as big as 0.06?
True
Let o be ((-12)/3)/(8/(-6)). Suppose -f + 4 = o*f. Let d be (-7)/(-14) + (3/6 - f). Which is greater: -1 or d?
d
Let v = -32079 + 31663. Which is smaller: -438 or v?
-438
Let v = -25727 - -25739. Suppose 3*n - 24 = n. Does v = n?
True
Let l(k) = 24*k**2 - 2*k. Let t be l(1). Suppose -t*m = -36 + 36. Which is greater: 3/14 or m?
3/14
Let q(t) = -t - 6. Let n = 48 - 46. Suppose -n*k = -8 + 28. Let s be q(k). Which is smaller: 11/3 or s?
11/3
Let k(g) = 584*g**2 + 186*g - 562. Let s be k(3). Is s equal to 21009/4?
False
Let h be (8/(-44) - 14111/11) + (-109 - -102). Are -1286 and h non-equal?
True
Let a be 10/(-45) - 362/(-9). Suppose 0 = a*b - 46*b + 12. Which is bigger: b or 21/17?
b
Suppose -7*v + s = -11*v - 27328, -s = -4*v - 27344. Which is smaller: v or -6835?
-6835
Let n(q) = 177*q + 2124. Let u be n(-12). Which is greater: -2/8277 or u?
u
Let o be -14 + 10 + 12 - (0 + -5). Let p be ((-72)/10)/((-10)/75). Suppose -5*l + 2*b = -p, -5*l + 0*b + 63 = b. Which is bigger: o or l?
o
Let j(i) = -1005*i - 10040. Let n be j(-10). Let l be 44/6*(-6)/2. Which is smaller: n or l?
l
Let x = -83 - -84.94. Let l = -0.06 - x. Let u be (1910/4775)/((-42)/(-10)). Is l at most as big as u?
True
Let z be (17/(-68))/((-7)/(-16)). Let n = 8535 + -8535. Which is greater: z or n?
n
Let s = -1433 - -1018. Let h = -7053/17 - s. Is 5 less than or equal to h?
False
Let f(n) = -2*n**2 - 20*n + 8. Let b be f(-15). Let o be -140 - (-7 + 6 + 5). Let r = b - o. Which is smaller: r or -1?
-1
Let b(l) = -l**3 + 4*l**2 + 2*l - 4. Let k be b(1). Suppose 5 = -6*s - k. Is s equal to 1/69?
False
Let g = 1 + -9. Suppose -24*t + 30 = -18*t. Let b be (t + 865/(-170))/((-6)/g). Does -0.1 = b?
False
Let z(w) = -w**2 + 6*w + 5. Let c be z(5). Let d = c - 28/3. Let h = 3.7657 + 0.1343. Is d >= h?
False
Let a(w) = 29*w**2 - 5*w - 4. Let o be a(-1). Let m be 14/o + 84/(-126). Which is greater: 0.66 or m?
0.66
Suppose -165 = -5*h - 5*o, -26 = -2*h - 5*o + 34. Suppose 8 = -10*l + 14*l, 2*l = -3*t - h. Which is smaller: -112/9 or t?
t
Let b be 162/189 + (-225)/(-7). Let m(g) = g**2 - 35*g + 66. Let i be m(b). Is i not equal to 3/28?
True
Suppose 11551*u - 2724 = 11539*u. Which is greater: 210 or u?
u
Suppose -6*b = 3*b + 576. Let x be (-8)/4 + 138/(-4428)*b. Is x not equal to 0?
True
Suppose 0 = 4*y - 13 + 41. Let k(t) = -495*t + 249*t - 9 + 247*t. Let x be k(y). Which is smaller: x or -18?
-18
Suppose 57*d + 13936 = 61*d. Is 3484 equal to d?
True
Suppose 0*i + 30 = -3*i. Suppose 0 = -f - 2*x - 2*x - 875, x - 2651 = 3*f. Let p = 872 + f. Is i bigger than p?
True
Let o = -0.07 + -1.93. Suppose -5*k = -2*k - 102. Let m = -34 + k. Which is smaller: o or m?
o
Suppose 36*c - 85*c = 7 - 7. Let w = -31/8 - -91/24. Is c greater than or equal to w?
True
Let c(q) = -2*q**3 + 21*q**2 - 11*q. Let l be c(1). Do l and 541 have the same value?
False
Let t = 4.95 + 0.05. Let v = t + -3. Let l = -12.88 - -11.08. Which is greater: l or v?
v
Let m be 15*(2 - (-65)/(-15)). Let z = 30 + m. Let x be z/(-39) - 6/(-18). Which is greater: x or 0?
x
Let v = -33135 - -66271/2. Is -0.12685 greater than or equal to v?
False
Suppose 131*x - 1993 = 30495. Which is bigger: x or 253?
253
Let c(j) = -17*j**2 - 2*j - 1. Let f be c(-2). Let w = -15924 - -15860. Is f greater than w?
False
Suppose -2*x = -85 + 77. Suppose -2*g - 3 = 5*f, 4*g + 3 = x*f - 17. Is 2/69 at most f?
True
Suppose 3*m = -p, m + p = -p. Let f be ((-330)/(-20))/(3/8). Let q be (-10)/f*(-72)/135. Is q greater than m?
True
Let d be (-10946)/(-39)*9/8 - -2. Let y = -319 + d. Which is greater: -1 or y?
-1
Let i be (1930/(-8))/1*12*(-2)/3. Is 1930 < i?
False
Let u = -2099 + 2133. Suppose 3 + 102 = 3*f. Which is smaller: f or u?
u
Let q = 143 - -563. Are q and 706 equal?
True
Suppose 43*f - 53 = -10. Is f smaller than -4/7393?
False
Let y be -2*((-5)/(-15))/(2/(-15)). Suppose 3*n - y*n + 576 = -5*i, -5*i + n - 578 = 0. Is -116 > i?
False
Let l = -85 - -89.2. Let c = l + -4.2. Is -3 < c?
True
Let a be (-35900)/(-200)*(1 - 11). Is a < -1796?
False
Let r = 17.65 - -0.35. Let i be ((-74)/111)/((-1)/2154). Let c = i + -1436. Which is bigger: c or r?
r
Let l = 79 + -53. Let c(q) = -8*q + 15. Let y be c(5). Let t = y + l. Which is greater: t or -1/17?
t
Suppose -5*h = 5*x - 10, 12*x - 16*x + 5*h = 28. Let m(i) = i**3 + 3*i**2 + i + 1. Let d be m(x). Which is bigger: d or -43?
d
Let l be ((-90)/(-75))/((-4)/10). Let d(t) = -31*t + 29. Let s be d(l). Is 368/3 > s?
True
Suppose -2*l + 25 = -5*l - 5*y, y = -2*l - 19. Let b(r) = 63. Let a(t) = t + 127. Let d(h) = -4*a(h) + 9*b(h). Let o be d(17). Does l = o?
False
Let p = -5401 - -5276. Which is smaller: p or -122?
p
Let p = 23 + -31. Let x(o) = -3*o - 18. Let d be x(p). Suppose 1 + d = -7*r. Is 3/11 < r?
False
Let q = -3.889 + 3.789. Which is bigger: q or 0.632?
0.632
Let c(y) = y**2 + 3*y + 7. Let z be c(-4). Let l be (z - 11)/(0 - -2). Suppose -5*x - 45 = -5*m, -4*x + l*m - m = 26. Which is smaller: -3 or x?
x
Let f = -37395667/547 - -68365. Which is smaller: f or 1?
f
Suppose 72 = -n + 5*y - 40, -260 = 3*n + 4*y. Is -1/30 at most n?
False
Let m = -52.07 + 51.07. Which is smaller: m or -122?
-122
Let d(y) = 2*y**3 + 13*y**2 + 24*y - 21. Let j be d(-8). Does -406 = j?
False
Let v be 6/5108*8/(-3060)*-30. Is v at most 1?
True
Let k be -145*(-13)/(780/9). Which is bigger: k or 0?
k
Let v = -77/4 + 18. Let m be 1*(-30)/(5*3/10). Are m and v equal?
False
Let z(r) be the third derivative of r**6/120 + r**5/15 - r**4/8 - 4*r**3/3 - r**2 - 70*r. Let w be z(-4). Which is smaller: w or -0.1?
-0.1
Let p(m) = -85*m + 254. Let w be p(3). Is w greater than or equal to 3/1037?
False
Suppose -t + 2*b = -2*b - 192, 3*t + 3*b = 561. Suppose 3*w = -2*g + 112, -g - t = -5*w - 5*g. Do 36 and w have different values?
False
Let d(c) = -c - 17. Let n(b) = -4. Let v(z) = 6*d(z) - 26*n(z). Let q be v(8). Let g = q + 33. Is g >= -14?
True
Let h(k) = 2 + 25 - 5*k - k**3 - 20*k**2 - 6. Let r be h(-18). Let l = -14497/27 - r. Is -1 greater than or equal to l?
False
Let c(g) = -2*g - 57. Let b(q) = -8*q - 171. Let l(a) = -3*b(a) + 8*c(a). Let j be l(-5). Let h be (-34)/((-4)/2 + 0). Is j not equal to h?
False
Let o = -7539.61 - -7535. Which is smaller: o or 0.5?
o
Let k = -42049 + 42053. Let p = 1759/24 - 212/3. Are k and p unequal?
True
Let i = 215/394 - 2535137/4647230. Which is bigger: -1 or i?
i
Let c = -788 - -719. Let n be (2/(-28))/(c/21 - -3). Is -64/7 at least as big as n?
False
Let d = -3173 - -2062. Which is smaller: d or -1?
d
Let j(u) = u - 11. Let a be j(-4). Let k be a/(-60) - (-437)/(-4). Which is bigger: -108 or k?
-108
Let c be 1805/8244 + (-20 - (-3560)/180). Which is greate