ch is smaller: p or u?
p
Let j be 140/(-90)*(-12)/(-14). Let m(r) = -r - 8. Let g be m(-7). Let y = g - j. Is 0 greater than or equal to y?
False
Let q be (-1)/3*-1*3. Let c be (2/(-6))/(144/(-280)*2). Let x = c - 2/27. Which is bigger: q or x?
q
Let o(s) = 2*s**2 - 21*s - 15. Let k be o(12). Which is smaller: k or 67/3?
k
Let i be 15/(-120)*-8*(-2)/13. Which is smaller: -0.79 or i?
-0.79
Let a = 24.1 - 26.1. Let m = -6 + 4. Let y = -2 - m. Is y less than or equal to a?
False
Suppose 9*k - 20 = 4*k. Let i be k + -5 + -1 + -9. Let w = -2 - i. Is 9 at least as big as w?
True
Let t = -463 - -464. Let i = 112 - 1227/11. Is i at most t?
True
Let d be (8/(-10))/(1 - -1). Suppose -8 = 2*n - 4*u, 11 = -5*n + 4*u - 3. Let w be (3/9)/(n/(-6)). Which is smaller: d or w?
d
Let i(x) = 7 - 15 - 19 + 6*x - 15. Let g be i(7). Is g <= 27?
True
Let p = -30967/28 + 1105. Let j be (-1)/4 - (-45)/30. Let v = j + p. Do v and 2 have the same value?
False
Let m be (-5 - -3)/2 - -1. Suppose -z = -3*l - 1, m = -3*l - l + z. Let v be l*3 - (5 + -4). Which is smaller: v or 0?
0
Suppose y - 53 = -3*t, -4*y + 7*t = 2*t - 127. Suppose 5*q + 2*n - y = 0, q = -q - 4*n + 12. Let w = q + -8. Does w = -2?
False
Let z = -64 - -446/7. Let d = 1.7143 + -3.7143. Is d greater than z?
False
Let g = -8 + 8.8. Let r = 3 + -3.9. Let w = g + r. Which is smaller: -1 or w?
-1
Let k = -10029 - -2537340/253. Let z = 2319/3542 - k. Is z greater than 0?
True
Let u(k) = 7*k + 13. Let b be u(-11). Let s = 20.3 + -21.3. Which is bigger: b or s?
s
Let s be ((0/13)/(-7))/(-5). Let b = 9.6 + -1.6. Let x = -2 + b. Is s < x?
True
Let d = 1.79 - 1.59. Which is smaller: 1/74 or d?
1/74
Let k be (-3)/2*364/(-4641). Which is smaller: -16 or k?
-16
Let i = 6933/19 - 365. Which is bigger: 0.15 or i?
0.15
Let j = 78 + -71. Suppose -q - 2*u = -0*u + j, 5*u - 2 = 4*q. Let n = 40/33 + -596/165. Which is bigger: q or n?
n
Let l = 2816 - 475902/169. Let d be ((-5)/10)/(-1*(-2)/4). Which is smaller: l or d?
d
Let o be (-178)/(-14) + -4*1/(-14). Let t(v) = -v + 1. Let y be t(1). Suppose -8*d + o*d + 5 = y. Is -3/11 equal to d?
False
Let c(u) = 4*u - 5. Let g be c(-7). Let i be ((-2)/(-11) - ((-504)/132 + 4))*-1. Which is bigger: g or i?
i
Let r = -2023 - -2103. Is 81 <= r?
False
Let s = -114 + 169. Let m be s/(-15) + 4/(-3). Which is bigger: m or -6?
m
Let z = 400/21 - 40358/2121. Let j be 1/(-3) + (-25)/15. Let o be 2*-1 - -1 - j. Is z at most o?
True
Let b = -667 + 874. Are b and 209 unequal?
True
Suppose 5 = -5*i - 5. Let b = -93 + 90. Let l be -4 + b*200/(-195). Which is smaller: l or i?
i
Suppose 0 = 42*n + 8*n + 1750. Do n and -32 have the same value?
False
Let w(b) = -2*b**3 - 1. Let s be w(1). Let z be 21/14 - s/(-10). Let g(a) = -a**2 + a. Let n be g(1). Is z >= n?
True
Let g be 2/(-1) - (2 + 10/(-2)). Let c be ((-64)/88)/(g/2). Is c less than -2?
False
Let i = 135.9 - 136. Which is greater: i or -226?
i
Suppose 0 = 32*s + 9438 + 3586. Is -407 bigger than s?
False
Let v = 6 - 3. Suppose 5 + 7 = v*t. Let q = 0.1 + -0.1. Which is smaller: t or q?
q
Let s = 2.95 + 0.05. Let c be 29/116*(34/(-18) - -1). Is c at most s?
True
Let o be 1/(0 - 1) + 45 + -41. Suppose 6 = a + 5*m, -2*a - o*m + 7*m = 2. Is 1 < a?
False
Let o = -2 + 5. Suppose -o*q + 45 = 5*g, -q - 2*g + 11 = -5. Let h = q - 9. Which is bigger: h or 4?
4
Let f be ((-3)/(-72))/(((-2583)/(-28))/9). Is f != -1?
True
Let r = -1433/9 + 461/3. Is r at least as big as -6?
True
Let y be (-2)/9 - 60/(-27). Let w(v) = v + 19. Let f be w(-14). Suppose -5*b + 20 = 5*h, -2*b + 3*b + 2*h - f = 0. Which is smaller: y or b?
y
Let j = 0.066 - 2.766. Let n = j + 3.2. Let x = -0.1 - -0.4. Is x <= n?
True
Suppose -3*x + 2*m = -0*x + 169, 0 = 5*x + 3*m + 288. Which is smaller: -60 or x?
-60
Let z be (2 - 0)*((-428)/8 + -2). Is -111 >= z?
True
Let r be ((-4)/5)/((-10)/25). Let p = 18 - 13. Suppose -r*s = -p*w + 1, 3*w - 7 - 24 = 5*s. Is s bigger than -1?
False
Let f be ((-2)/125)/((-6)/(-30)). Which is smaller: f or -1?
-1
Let q be (-2)/5*(-1020)/(-12). Let z be 0/8 - (-1 + q). Is z at least as big as 35?
True
Let c = -2 + 3. Suppose 0 = -4*b - 2*z + 16, 3*b = -z + 19 - 6. Let v be (b/2)/(3/48*8). Which is smaller: v or c?
c
Let w be ((-104)/78)/(-3 - 39/(-9)). Which is smaller: -4/69 or w?
w
Suppose 0 = l - 3, -51 = 4*f + l - 6*l. Suppose 620*o = 628*o + 56. Which is smaller: f or o?
f
Let h be (-3)/75*(-5)/(-2). Let i(q) = q**3 - 12*q**2 - 13*q + 1. Suppose 5*r + 4*y - 1 = 44, -21 = -2*r - y. Let u be i(r). Is h smaller than u?
True
Let r be ((-3933)/10 + -1)*80/(-50). Let u = -631 + r. Which is smaller: 1 or u?
u
Let u(s) = 12*s - 64. Let x be u(6). Suppose 0 = -x*c - 125 + 29. Is -13 smaller than c?
True
Let g be (0 - -2) + (-1 - 72088/44). Let a = 1639 + g. Is a smaller than 3?
True
Suppose a - 42 = 20*a + 23*a. Suppose w + 0*w - 1 = 0. Which is greater: w or a?
w
Suppose p + 2*h = 18, 0 = p + 4*h - h - 18. Suppose -4*k - p = -2. Is 0.3 less than k?
False
Let k be (1 + -2)/1*(1 + -2). Let a be -1 + (-1 - (-144)/86). Let v = a + 524/817. Which is greater: k or v?
k
Suppose -15 = -11*g + 8*g. Suppose 0*w - 10 = g*p - 2*w, 5*w - 25 = -3*p. Is p greater than 3/31?
False
Let x(g) = -g**3 + 29*g**2 - 182*g - 2. Let k be x(10). Is 68 less than k?
True
Suppose 0*p + 760 = 2*p. Let u be -4 + 1 - (-1132)/p. Which is smaller: u or 0?
u
Suppose 0 = 2*a - 4 + 98. Is -44 equal to a?
False
Let c be (6/24)/((-6)/(-24)). Do -8/353 and c have the same value?
False
Let y be (13/5)/(1 + 22/(-10)). Let u = y + 5/3. Is -2/51 at least u?
True
Let i = -123 + 122. Is 6/199 equal to i?
False
Let d = 29 - 11. Is d bigger than 33/2?
True
Suppose 4*q = -3*v - 41, -4*q + v - 23 = -2*q. Is q >= 2?
False
Let h(k) = -k**3 + 40*k**2 + 131*k - 85. Let v be h(43). Let y be 46/14 - (2 + 0). Which is bigger: v or y?
y
Let z be (-23001)/85 - (-2)/(-5). Let t be z/(-5) - (-72)/(-60). Is t at least as big as 53?
True
Let b = -99/10297 + -465219/1184155. Let i = b - 3/115. Is i < 0?
True
Let x be (35/14)/((-30)/(-12)). Is x at least 3/64?
True
Let c = -32 - -11. Let i = c + 21. Which is bigger: -9/10 or i?
i
Let s = 0.0589 - 7.0589. Do -0.32 and s have different values?
True
Let b = -891/10 + 89. Suppose -16*z - 42 = 26*z. Which is smaller: z or b?
z
Let a be -10*((-3)/(-5) + 33/(-30)). Let m(n) = n**2 - 10*n + 27. Let c be m(a). Is 17/6 greater than c?
True
Let d(f) = f**2 + 6*f + 25. Let t be d(-7). Let h be 1857/792 - 2 - 12/t. Is h at most 0?
True
Suppose 3*y + 0 - 14 = -4*s, 4*s - 20 = 0. Let k be (-7)/y - -1 - (-25)/50. Are 21/4 and k equal?
False
Suppose -3*j = -5*j + 8. Suppose -8 = -j*w, 4*w - 6 - 2 = 4*c. Is c <= -2/19?
False
Let p = 89/5 - 21. Suppose -4*r - 4*a + 8 = 0, 5*r = -0*r + a - 20. Which is greater: p or r?
r
Let b(k) = -71*k + 851. Let y be b(12). Which is smaller: 3/578 or y?
y
Let m(a) = 2*a**2 - 1. Let b be m(-1). Let i = -24 - -21. Let d be i - (-17)/(-14) - -4. Which is greater: d or b?
b
Let b = -1.759 - -1.559. Is b at least as big as 24.5?
False
Let p(k) = 3*k - 7. Let r = -67 - -69. Let s be p(r). Is s greater than -2?
True
Let w = 703 - 703.07. Do -35 and w have different values?
True
Let v be ((-355)/(-213))/(5/(-378)). Which is smaller: v or -135?
-135
Let k be (3 + 25/(-20))/((-17)/(-340)). Is k less than or equal to 141/4?
True
Let g = -0.48 - 0.02. Let y = -0.8 - g. Let i = y + -0.1. Which is smaller: 0.1 or i?
i
Let l be 3/(-2) - (-1)/2. Let a(r) = 35*r**2 - 7*r - 9. Let w(h) = 18*h**2 - 4*h - 5. Let k(q) = -6*a(q) + 11*w(q). Let d be k(l). Is -12 at least as big as d?
False
Suppose 0 = z + 2*r + 6, 4*z + 9*r = 5*r - 12. Which is greater: 3/307 or z?
3/307
Suppose j = -4*s - 0*s - 117, -5*j = 3*s + 75. Let a be 20/70 - s/189. Let h be (1 - 1) + 2/2. Which is smaller: a or h?
a
Let b be (-1134)/4 + 1*5/10. Do -282 and b have different values?
True
Suppose -3*m + 3*k - 63 = -27, 2*k - 48 = 5*m. Let b be m/(-6)*(-4 + 1). Let d(c) = c + 4. Let y be d(-6). Is b bigger than y?
False
Let b be 3/7 + (-8596)/49. Let k = -195 - b. Let s = -27 - -6. Is s at most as big as k?
True
Let l = -11344 + 862697/76. Let n = l + -29/4. Is n at least as big as -1?
True
Let c(q) = -q**2 - 2*q - 1. Suppose j = -0 + 2, 3*j = 5*b + 26. Let l be c(b). Which is smaller: -10 or l?
-10
Suppose 0 =