r -40/9?
u
Let m be (-20 - -65 - 8*1) + 5. Let q = -49 + 88. Which is bigger: q or m?
m
Let o = 451.9 - 451.812. Let v = -64.298 - -64. Let d = o + v. Which is smaller: -1 or d?
-1
Let q be 3/30 + -6*(-63)/1620. Is q not equal to 1/5018?
True
Let z = 2/7481 + -15344/1428871. Let b(j) = 3*j**2 - 7*j - j**2 + 2*j**2 - 2*j**2 - 5. Let i be b(4). Which is smaller: i or z?
i
Let z be -12 + -11 + 28 + (-64786)/12958. Which is smaller: z or 1?
z
Let s be (0 + (-6)/4)/(40/(-400)). Let q be (s/20)/(330/(-32)). Let x(a) = a**2 - 39*a + 171. Let c be x(34). Which is smaller: c or q?
q
Let q = -934 + 345. Let u = 594 + q. Is u at most as big as -1?
False
Suppose -19*a + 17*a + 1462 = -5*d, 572 = -2*d + 4*a. Which is smaller: d or -295?
-295
Let v be (228/(-1))/(1 + 1/(16/8)). Which is smaller: -149 or v?
v
Let x = -126 + 129. Suppose -2*w + 3*r = 59, -5*w - x*r = -w + 163. Which is greater: w or -36?
-36
Let d(z) = -5*z - 72. Suppose r + 25 = -3*j, -2*r - 3*j - 54 = -19. Let q be d(r). Is q greater than -18?
False
Let h be ((-2408)/(-1062))/14 - (-3)/(-27). Is h >= -9?
True
Let n(u) = -u**3 - 61*u**2 + 176*u + 285. Let g be n(-64). Which is bigger: g or 1311?
1311
Let y(p) = -121*p + 2369. Let o be y(19). Is o < -8?
False
Suppose -x = 2*p - 9, 4*p - 25 = 7*x - 2*x. Let n be -2 + 5 - 59*(-1)/x. Let s = n + 53. Which is greater: -6 or s?
s
Let n(h) = 130*h - 3148. Let p be n(24). Let y(w) = -w**3 + w - 25. Let i be y(0). Which is bigger: i or p?
i
Let k(m) = -m**3 + 11*m**2 + 26*m + 12. Let l be k(13). Let g = 85 + l. Let a = 141 - g. Which is smaller: 46 or a?
a
Suppose 144214 + 847335 = -857*d. Which is greater: -1155 or d?
-1155
Let r = -3753 - -3718. Is 2/9 less than or equal to r?
False
Let y(d) = d**3 + 6*d**2 - 4. Let k be y(-6). Let b(r) = 23*r**2 - 11*r**2 - 23242*r + 23240*r - 8 + 3*r**3. Let t be b(k). Which is bigger: t or 2/217?
2/217
Suppose -5*k + 1179 = v, -51 + 288 = k - v. Suppose o - 159 = 2*f, -3*f - k = 6*o - 10*o. Let z = f + 58. Is z greater than or equal to -24?
True
Suppose -4*s - 17*h = -14*h - 199, 5*s = 4*h + 272. Suppose s*j = 53*j - 2, 4*j = -5*m + 13. Let i(q) = -q**3 - 2*q**2 - 1. Let k be i(-2). Is m at most k?
False
Let q = 38005/7 + -5515. Let o(c) = -10*c - 6. Let s be o(8). Do s and q have the same value?
False
Suppose -2*u + x + 1 = 4, -5*x = 3*u - 28. Suppose 3*y + u = -8, y = 2*w - 3. Suppose w = -2*a + 31 - 27. Is a >= 6/7?
True
Let f = 198 - 207. Let j be 17/9129*-2*f/(-6). Which is greater: j or 0.1?
0.1
Let v = -44 - 53. Let r = -142 - v. Let x = r - -54. Which is smaller: -3 or x?
-3
Let f = 10647.96366 + -10648. Which is smaller: f or 0.1?
f
Let r = -1.2 + 1. Let g = -2/247015 + -551090403/7657465. Let d = g - -72. Which is greater: r or d?
d
Let n(m) = -2*m**3 - 30*m**2 + 53*m + 15. Let a be n(-10). Is -1515 smaller than a?
False
Let q = -24/151 + -2207/2265. Let a = 394/255 + q. Which is greater: -1 or a?
a
Let z be (4/(-5))/((-19)/(-33 + 20458)). Which is bigger: z or 859?
z
Let v = 5/981 + -1001/3924. Which is smaller: -86/11 or v?
-86/11
Suppose -6*z + 2*n - 1152 = -2*z, -3*n = -2*z - 584. Which is smaller: -2572/9 or z?
z
Let c = 4714 + -4713.9165. Which is greater: c or 0?
c
Let j be 6/(-11) + 148/(-11). Let p be (-700)/735*j/(-12). Which is smaller: 0.07 or p?
p
Let w = 701 - 64493/92. Let r = -6/23 - w. Let q = 1.41 - 1.16. Is q smaller than r?
False
Let h(b) = -b**2 + 7*b - 6. Let w be h(4). Suppose -11 = -5*o - w. Let j be (-3 - o)/(364/78). Is -1 less than or equal to j?
True
Let i = 323.9 + -326. Let p = 2 - 4. Let b = i - p. Is 58 > b?
True
Suppose -9 = 4*n - 21. Let k be n - ((-39)/40 - -4). Is k less than 0?
True
Let l = -6.0663 - 0.0337. Let o = 12 - 6. Let p = o + l. Which is bigger: p or -2/27?
-2/27
Let r(l) = 80 - 138 + 9*l + 7*l. Let s(k) = 8*k - 29. Let w(d) = -4*r(d) + 7*s(d). Let a be w(6). Is -1/5 <= a?
False
Let w = 20001199/633 - 94789/3. Is 1 at least w?
False
Let h = 7870 + -7875.059. Let b = -66 - -71. Let x = h + b. Which is greater: x or 1?
1
Suppose 4*n = 5*y + 1225, -6 = -2*y - 0. Let p = n - 204. Is 107 bigger than p?
True
Suppose -181*i - 7 = -188. Is i at most as big as -20/199?
False
Let o be 3/(-4)*(1 - 21). Let y be (28/o)/(12/10). Let q(v) = -45*v - 178. Let m be q(-4). Which is greater: y or m?
m
Let x(i) = i**3 + 6*i**2 + 6*i - 1. Let p be x(-2). Suppose p*w = 8*w - 30. Suppose -4*g + f = w, 2*g + 0*g - 3*f = -8. Which is smaller: -4/3 or g?
-4/3
Let h be -2 + (-36)/(-14) + 647310/(-961170). Let v = 3/199 + h. Suppose -p + 7 = -4*l - 4*p, 2*p + 12 = l. Are l and v nonequal?
True
Let d be (-40)/(-8) - 50*188/(-8). Suppose -15*b + d = -380. Is 102 not equal to b?
True
Let p = 103 - 92. Suppose 17*b = p*b. Suppose 2*d + k = -60, 5*d + b*k + 163 = 4*k. Is -32 > d?
False
Let d = -977/9 + 108. Let u(p) = p**3 + 14*p**2 + 13*p. Let r = -92 - -79. Let n be u(r). Which is greater: n or d?
n
Let w = 1.6192 - 0.6192. Are 875 and w non-equal?
True
Suppose 4*h + 1190 = 14*h. Suppose h = 7*x + 469. Which is greater: x or -49?
-49
Suppose -13*d + 3*d + 40 = 0. Suppose 0 = 3*m + d*q - 29, 2*q - 5 - 5 = 0. Let j be 5/(-1)*(0 + m + -4). Which is bigger: j or 7?
7
Suppose -3*x + 17 = -0*o + o, -9 = x + 4*o. Suppose -1224 = -13*q + q. Let p = -96 + q. Which is greater: x or p?
x
Let j be (5*-1 - (181 - 184)) + 3*-1. Let w be (2/5)/((-3)/(-15)). Let g = w - j. Which is bigger: 12 or g?
12
Let b = 541/7 + -9120/119. Let w = 216532/1309 - 1165/7. Let y = w + b. Is -0.1 bigger than y?
True
Let s = 8.07 + -311.07. Let p = 301 + s. Is p greater than -6?
True
Suppose 2*j + 21 = -s, -4*s - 54 = 5*j - s. Let h(f) = f**2 + 9*f + 3. Let a be h(j). Suppose 5*c + 2*y + a = 0, 4*c + 12 = -3*y - y. Which is bigger: 2/9 or c?
c
Suppose 200*s - 195*s + i - 12453 = 0, -s - 5*i = -2505. Is s greater than or equal to 7471/3?
False
Let k be ((-3)/(-24))/(18/(-8)). Suppose 0 = 2*a + 5*w + 32, -88*w + 11 = -5*a - 89*w. Do k and a have the same value?
False
Let c = 6760 - 11700. Let h be (-60)/45 + c/(-15). Is h at least 330?
False
Let v(f) = -20*f**2 - 118*f - 638. Let s be v(-6). Is 4 smaller than s?
False
Let g = 193 + -193.937. Let x = 0.063 - g. Is 4 at least as big as x?
True
Let i = -131 + 134. Suppose -3*q + 3*r - i = 0, -2*q - 20 + 4 = 5*r. Is q less than -2?
True
Suppose -3 = f - 8. Let p = -429 + 445. Let l be (-9)/(-30) + 24/p + -2. Which is greater: l or f?
f
Let y = -0.094 + 1.624. Let h = -4.53 + y. Is -0.04 less than or equal to h?
False
Let h be (-2 + 3 - 2)*7. Let j be ((-116)/(-10))/(1 + -3) - 514/1285. Which is smaller: j or h?
h
Let p be -7 + (-72)/(-11 - -2). Let d be (-38)/22 + 3/(-3). Let b = -32/11 - d. Is p bigger than b?
True
Let f(p) = p**2 - 38*p + 176. Let r be f(34). Suppose 32 = -m - 2*c - 3*c, -5*m - c - r = 0. Which is smaller: m or 0.3?
m
Let r = -146677/1002 + -75/167. Let j = r + 118939/810. Let h = -5 - -5. Which is smaller: j or h?
h
Let p be ((-2006)/(-177))/(3/(-54)). Is p greater than -1?
False
Let t = 7660 - 4745. Is t at least 2914?
True
Let m be (192/(-224))/(2/(-763)). Are 331 and m equal?
False
Let f = -60 + 61. Let g be 2*(2453/110 + f/5). Let n be (76/(-32) - -2)*2/g. Which is smaller: 0 or n?
n
Let o be 8/4 + 1 - 0. Suppose o*v + 633 = 4*f, 9*v - 4*v - 297 = -2*f. Let s be -2 + 6 - f/42. Which is smaller: s or 1/4?
1/4
Let a = 1.194 - 1.194. Which is greater: 731 or a?
731
Let d = 6069 + -5590. Which is smaller: d or 473?
473
Let g be (-648)/1512 - 3083/14126*-2. Is 1 less than g?
False
Let h be (7350/105)/(-1 + 2/(-2)). Which is smaller: h or -243/7?
h
Let t be (-79260)/(-238320) + (2/(-3))/(0 + 2). Which is greater: 0.1 or t?
0.1
Let s = -8744 + 7465. Which is smaller: -1276 or s?
s
Let s(p) = -25*p**2 + 112*p + 34. Let l be s(5). Is -8 not equal to l?
True
Suppose 21759*o = 21760*o. Which is smaller: 1/2558 or o?
o
Let f = -606745/9 + 67355. Suppose 4*w - h + 305 = -w, -2*h - 122 = 2*w. Is w equal to f?
False
Let f be (1036/5)/(10/25). Let o = 472 - f. Let j = 0 + -46. Is o bigger than j?
False
Let v = 95 - 95. Let n be (5/370)/((-1)/(-6)). Is n at most as big as v?
False
Let a be ((-160)/(-17750))/(-8)*-5. Which is smaller: a or -1?
-1
Let v = -17719 + 17721. Which is bigger: v or -852/5?
v
Let w(a) = 17*a + 120. Let r be w(-7). Let l be ((-88)/72 - (r -