22 + 13, 3*p = 4*x + 77. Let m = -29 + p. Which is bigger: m or b?
b
Let h be 4 - 0/(-5 + 4). Suppose 2 = h*k + 10, 3*v - 4*k - 8 = 0. Which is smaller: v or 13/62?
v
Let g be 2/(-5) - (141/(-15) + 4). Suppose 20*h + g*o - 26 = 17*h, -3*o = -12. Suppose -8 = -8*v + 4*v. Are v and h equal?
True
Suppose 3*p + 630 = -3*l, -2*l + 6*p - 429 = 5*p. Let f = -213 - l. Which is smaller: f or 24/31?
f
Let q be 12/(-8) - (15/20)/(10/4). Let i = 2 + -2. Is q less than or equal to i?
True
Suppose 5 = 5*r, 2*f - r - 31 - 38 = 0. Suppose 79 = 3*s + b, 4*s - 63 = -5*b + f. Let n = s - 5. Is 21 equal to n?
False
Suppose 67*d + 57*d + 543 = -57*d. Is d at most -577?
False
Let y be 272/(-170) + (-1)/(-2)*(1 - -3). Is -2543 at most as big as y?
True
Suppose 0*g = -2*g + g. Let o be (6/33)/(9/(-27) - -1). Is g at most o?
True
Suppose 414*c - 382*c = 28896. Which is smaller: 905 or c?
c
Let h = 30280 - 30270. Suppose -o + 40 = 4*o. Suppose -v - 5*s - o = 0, -6 = -3*v + 3*s + 42. Which is bigger: h or v?
v
Let l be 0 - 4 - (-23 - -18). Let v be -1*(l*4 + (-13250)/3310). Is v != -1?
True
Let x(q) = 56*q - 83. Let u be x(8). Suppose 4*w = -11 - u. Which is greater: 0 or w?
0
Suppose -17*a + 96 = -20*a. Let h = 958 - 2969/3. Is h at most a?
False
Let p = -104257/195510 - 1/13034. Let c = 0.7 - -0.2. Let j = 0.1 + c. Is j equal to p?
False
Let v = -9098 - -16519. Which is bigger: 7420 or v?
v
Let o = 6671/1986 + -17/662. Suppose 5*k + 20 = -0*k. Let q = k - -6. Which is smaller: o or q?
q
Let o = 96755 - 1839481/19. Is -2/9 > o?
True
Let n = -0.617 + 3.535. Let v = n + -2.9. Let r = -18.018 + v. Which is smaller: -0.1 or r?
r
Let o be (1 + -1)/(-4)*(0 - 1). Suppose -3*k + 15 = 4*u, 2*k + 3*u + 0 - 11 = o. Let n be (-69)/12 - -3 - 6/(-2). Which is smaller: k or n?
n
Suppose 0 = 17*n + 7*n + 192. Let i be (6/4)/(n + (-47)/(-6)). Which is bigger: i or 2?
2
Let m be ((-260)/(-48))/(3510/23760). Suppose -4*z + j = 215, -5*z - 5*j - 197 = -z. Let c = z + 89. Is m != c?
True
Let j(y) = -y**2 + 40*y + 1269. Let r be j(-49). Is -3092 at most r?
True
Suppose -400 = -7*b + 62. Let r be b/(-10) - 36/(-60). Let z be (r/(-35))/(4/(-20)). Is 0 at most z?
False
Let n = 56/61 + -4770/5063. Let y = 7/69 - 10/23. Is y smaller than n?
True
Let k(s) = 2*s + 20. Let l be k(0). Let m be -15*(64/l - 4). Let x = m + -13. Which is smaller: x or -2?
-2
Let u = -96 - -164. Let x = -9773 + 9768. Which is greater: x or u?
u
Let w(p) = -2*p**3 + 3*p**2 - 7*p - 7. Let r be w(4). Let s = -118 - r. Does s = -27/7?
False
Let l(o) = o**3 + 2*o**2 - 1. Let g be (-27)/18 + (-81)/(-2). Let y = g - 40. Let z be l(y). Do 4/7 and z have the same value?
False
Suppose -5*z - 5*c - 35 = 0, z - c = -0*c - 11. Let u = 11141 - 11151. Which is smaller: z or u?
u
Let q = -177 + 135. Let y be 5 - (-198)/q - 9/7. Is y != 3/64?
True
Suppose -5*r = 3*g - 212, 0 = -g - g - 3*r + 142. Let l = g + -98. Is l <= -24?
True
Let x be (1646844/(-120))/31 - (-6)/(-20). Is -445 greater than or equal to x?
False
Let h(q) = -q - 4. Let v be h(-5). Let a = -3/2141 + -3079/858541. Which is smaller: a or v?
a
Suppose 5*a - 2*j = 3 + 13, 4*j - 20 = -3*a. Let r(d) = -3*d + 17. Let b be r(a). Let c be (1/6)/(4 - (-85)/(-20)). Are c and b equal?
False
Let k = 19018 - 19185. Which is smaller: k or -164?
k
Let n = 2/331 - 1996/1655. Let f = 48 - 50. Are n and f non-equal?
True
Let c = 47 - 50. Let p be c/(-222)*(-28)/35. Is p smaller than 1?
True
Let m = -13661/30 + 911/2. Which is bigger: m or -602?
m
Suppose 5*i - 8*s - 11007 = -9*s, 0 = 4*s - 28. Are i and 2202 equal?
False
Let j = 7253/3 - 616493/255. Let y be (-3)/2*(-2)/(-3). Is j at least y?
True
Let g = -0.1144 - 0.3456. Let w = 102 - 105. Which is greater: g or w?
g
Let a = 17 - 15. Suppose -6*j = -a*j - 4. Let h be 3/((-30)/28) - -4. Is j smaller than h?
True
Suppose 15*c = 39 - 204. Let d be 3 + -1 + 6/c*3. Suppose 0 = -u - u - 2. Is d smaller than u?
False
Let t be (4/2)/(-6 - 2712/(-453)). Let p = t - -152. Do p and -4/87 have different values?
True
Let g be (-56)/(-10) - 6/10. Suppose -65 = g*d + s, -s - 2*s = -2*d - 26. Let j be (725/(-50) - (-7)/2) + 0. Which is greater: d or j?
j
Let r be (-6)/117*45/100*(-8)/798. Which is bigger: 1 or r?
1
Suppose -3*x = 3*p + 27, 8*x = 4*p + 4*x + 12. Let g be p/(8 - (6 + 0)). Is -0.3 not equal to g?
True
Suppose 0 = -5*u + 9 + 16. Suppose j = 4*z - 20, 4*j - u*z + 20 = -4*z. Which is smaller: -45/13 or j?
j
Let i = -3801 - -163457/43. Suppose -5*t = 4*n + 15, 38 = 5*n - 5*t + 23. Which is greater: n or i?
i
Let f be 3 + (-272)/46 + 5. Let s = f + -1273/621. Is s <= 0.02?
False
Suppose 2*w - 1 - 8 = 5*u, 4*u - 4*w + 12 = 0. Let x be (81916/(-84))/((-1)/u). Let h = x + 975. Is -1 at least as big as h?
False
Let r(l) = l**3 + 13*l**2 + 14*l + 28. Let s be r(-12). Let w be -2*60/16 - s. Let v = w + 13. Which is smaller: 3 or v?
v
Let r = 13 + -28. Let z = -16.55 - r. Let n = -0.15 + z. Is 0 > n?
True
Let a(q) = q**2 - 4*q - 31. Let f be (-7 - (-76)/12) + (-26)/(-3). Let h be a(f). Which is smaller: -3/332 or h?
-3/332
Suppose 0 = -122*l + 118*l + 724. Suppose 719 = -6*f - l. Is -452/3 > f?
False
Suppose 0 = -g + 3*t - 9 + 5, 5*t = 15. Suppose -3*a = g*i + 22, 9*i - 12*i - 16 = -a. Which is greater: a or 1/219?
a
Let r = 206.6 + -22.6. Let a = r + -186. Which is greater: a or -0.06?
-0.06
Suppose 0 = -65*g + 60*g + 20. Suppose -g*m - 8 = 0, z + m - 4*m - 5 = 0. Let s be 12/(-2)*(-2)/(-124). Which is smaller: z or s?
z
Let k = 8268 + -8268. Is k at most -47/137?
False
Let o be (7/(-3))/((-7)/126). Suppose -4*n + 2*n = -o. Suppose 11*h - 56 = n. Is h >= 7?
True
Suppose -407 = -4*t - 207. Let r be t/12 + (-31 - -27). Which is smaller: r or 1?
r
Suppose 0 = -2*v + v + 3. Suppose -4*a + 22 - 121 = -v*q, 0 = -a + 2*q - 21. Let b be (-53 + 54)*(-28 + 1 + 0). Do a and b have different values?
False
Let t = 3022 + -3008.27. Let a = t - 11. Which is smaller: -2/5 or a?
-2/5
Let d be 693744/(-49567) - (-15 + 1). Is 0.1 greater than d?
True
Let g be 251/(-166) + 48/32. Let p = 12 - 34. Let f be (-13)/(143/(-2)) + (-18)/p. Is g at least as big as f?
False
Let n be 0*((-14)/77 - 100/660). Which is bigger: 2/11557 or n?
2/11557
Let n be (-2)/(-11) + 35192/44. Suppose 0*u - n = 4*u. Let z be 0 + (34/u - 1/(-4)). Is -1 greater than z?
False
Let f = 4333 - 4332. Is -2/47 >= f?
False
Suppose 3*b = 2*t + 42, -t + 4*b = -5*t - 64. Let h be t*(1 - 3)/((-32)/(-8)). Is h at most as big as 11?
True
Let r = -6870 - -9518. Which is greater: 2647 or r?
r
Let k be (-36)/(-8)*12/27. Suppose 0 = s + k*r + 11, 0*r + 16 = -4*r. Is 4 < s?
False
Suppose -21*p - 1872 = 38*p - 7*p. Which is smaller: p or -103?
-103
Suppose 56*i - 13*d - 2885 = 61*i, 0 = -5*i - 5*d - 2845. Which is smaller: i or -1?
i
Let w be 108/(-72)*8/(-30). Is w at least as big as -13545?
True
Let l(n) = 9*n - 3*n**2 + 15*n + 18*n - 24*n**3 - 41*n. Let x be l(-1). Is x at most 22?
True
Suppose -3*p - 918 = -93. Suppose 9*u + 317 = -2158. Is p less than or equal to u?
True
Suppose -14*g + 2*g = -5136. Suppose 96 = 436*h - g*h. Let j = 5623/532 + 24/133. Which is smaller: h or j?
j
Suppose 48839 = -7*c + 175903. Is 18151 less than c?
True
Let p = -932/97 + 2523118/262579. Which is bigger: 1 or p?
1
Suppose 4*d - 3*c = -455, 1221 = -4*d + 2*c + 775. Let i = 48 - 153. Which is smaller: d or i?
d
Suppose 3*w + k = -4*k + 32, 4*k = -2*w + 24. Suppose -3*y = w*x - 34, x = 3*y - x - 28. Let v = -18 + 27. Which is bigger: v or y?
y
Let y = -1.0821 + 1.0821. Are y and 80/21 non-equal?
True
Let w(r) = r**3 - 4*r**2 + 2*r + 12. Let p be w(5). Let l = -43 + p. Let b be ((-8)/(-3))/(l/(-36)). Do b and -25 have the same value?
False
Let u = 0.61 - 58.31. Let n = u + 5.7. Let d = -2 + n. Which is smaller: 1 or d?
d
Suppose 2*q + 10 = 2*c, 0 = -3*q - 6. Let z(u) = -c*u + 5*u - u - 2*u. Let w be z(0). Is w at most as big as 5/4?
True
Let s(a) = 4*a. Let n be s(-1). Let m(f) = -f**3 + 24*f**2 + 26*f + 22. Let t be m(25). Suppose 42*p - t*p = 45. Which is bigger: n or p?
n
Let i = 266 - -5. Let a be 10/(-3) - ((4 - -4) + 66300/(-234)). Which is bigger: i or a?
a
Let a = -20.393 + 20.5. Let p = a - 0.007. Is p bigger than 325?
False
Suppose -8*j - 18*j - 32616 = -34*j. Is j at least 4078?
False
Let j = 2.1 - 0.1. Let n = 1.97 -