 -v*n - 3 + 3. Let c be (8/6)/(44/10). Which is smaller: n or c?
n
Let d be (-2)/7 + ((-165)/35 - 2). Let l be (-4392)/(-1071) - (-4)/d. Which is greater: l or 3?
l
Suppose 16*z = -5*x + 20*z - 6, 0 = -4*x + z - 7. Is -120/73 bigger than x?
True
Let j = 81.1 - -9. Let w = 91.149 + -0.149. Let a = j - w. Which is greater: -3/4 or a?
-3/4
Let h = 192 - 157. Suppose -5600 = h*n - 1190. Is n greater than -126?
False
Let j = 128925/2 + -7746200771/120166. Which is greater: -1 or j?
j
Let a be 1 - (34 - (0 - 2)). Let b be (-10)/a*(-21)/(-6). Let v = -126/6407 - 4/149. Which is smaller: b or v?
v
Let n be (-20)/30 - (75297/(-153) + -3). Let a = 496 - n. Is a at most 1?
False
Let a be (-12)/(-45)*(-9)/(-6). Let w(u) = 8*u - 137. Let o(s) = 2*s - 34. Let m(g) = -9*o(g) + 2*w(g). Let x be m(6). Is x at least as big as a?
True
Let h be 2 - (-3 + (-3)/1). Suppose h = -w - 8. Suppose -7*o + 55 = -11*o + 5*x, 0 = -2*o + 5*x - 25. Is w less than o?
True
Suppose 121*i + 14703 = 55340 + 51686. Which is smaller: 764 or i?
i
Suppose -5*v + 24685 = -167*q + 172*q, q - 4925 = -5*v. Is q equal to 4940?
True
Suppose -2*b - l + 184 = b, 280 = 5*b - 5*l. Suppose -2537 = 29*w - 6713. Let n be 366/(-10)*(-240)/w. Is n less than or equal to b?
False
Let s = 166 - -1977. Which is smaller: s or 2141?
2141
Let s be (-5)/10*(-709)/(-26). Let v = 55/4 + s. Suppose -11*n + 12*n = 1. Is v at most n?
True
Let q be (142520/(-47496) - 8) + 11. Does 1 = q?
False
Let u = -2026.441 + 2028. Let n = 1.8 - u. Is -1 equal to n?
False
Let m = 30 - 26. Suppose 89 = 3*y + m*o, -4*y = -5*o - 71 + 4. Is 23 equal to y?
True
Let q = 19926/233 + 1962357/4427. Suppose 1058 = -26*p + 28*p. Let f = q - p. Is f greater than 0?
False
Let y = -4.6488 - -4.1488. Is y != -1583?
True
Suppose -23*d = -37*d + 11200. Suppose -4*p - 5*n + d = 0, -n + 600 = 3*p + 4*n. Is p equal to 201?
False
Suppose 5 = -7*n + 131. Let u be (n*(-2)/16)/((-9)/24). Is 6 at least u?
True
Let o(m) = 77*m**2 + 258*m. Let n be o(-5). Is 633 smaller than n?
True
Let l(p) = 8*p**3 + 87*p**2 - 12*p + 22. Let r be l(-11). Is r at most 30?
False
Let c be (-46)/11*1628/(-3848). Suppose -x - 11 = -4*r, -4*x = 2*r - 2*x - 8. Which is bigger: c or r?
r
Let c = 7454 + -7452. Is 59/54 < c?
True
Suppose 0 = 4*c + 3*s - 24, 3*c - 6*c - 11 = -5*s. Let k = -31 + 31. Suppose -c*l - u + 2 = k, l + 6 = 4*u - 2. Are l and 21/17 nonequal?
True
Let t = 248947 - 1497289/6. Let p = t - -1233/2. Which is smaller: 16 or p?
p
Suppose -2*f + v = -84 - 165, -5*v + 615 = 5*f. Suppose f = 3*s - 179. Which is bigger: 99 or s?
s
Let h be -885 + (-3)/(-12)*12. Let k be h/9*(-1)/(-2). Is k equal to -50?
False
Let x = -79 + 46. Let g = x - -35. Suppose 2*b + 9 = -t, 4*t = g*b + 1 + 13. Are b and -5 nonequal?
False
Let u = -1.6 - -2.7. Let q = 0.067 - 3.067. Which is smaller: q or u?
q
Let i be 20594*15/37430 + 2/1. Let j = -195/19 + i. Which is greater: j or 1?
1
Suppose 2*o = -16, -4*a + 8293 = 5*o - 25251. Is 8398 at most as big as a?
False
Let c be (-1)/((-4)/6)*(-28 - -20). Let j be 3/2*c/(-1413). Do 0 and j have the same value?
False
Let b(f) = -16 + 19 + 23 - f. Let h be b(24). Suppose -h*n + 68 = -6*n. Is -17 at least n?
True
Let d = -2083 - -669. Which is smaller: -1415 or d?
-1415
Suppose -617*j = -623*j - 6. Let k be 11/(-22) + (-461)/(-930). Which is smaller: k or j?
j
Let x be 135/55*363/(-22). Let k = -63 + 22. Is x at most k?
False
Suppose 6*u = -3*o + 2*u + 133, 0 = -o - u + 44. Suppose 6*x + o = 1. Which is smaller: x or 7?
x
Let w(d) = -4*d - 170. Let m be w(21). Is -2281/9 greater than m?
True
Suppose -86*a = 282 - 540. Which is bigger: a or 136/55?
a
Let z(l) = l**3 - 58*l**2 + 55*l + 115. Let i be z(57). Let d = 55 + -30. Let h be ((0 - i) + 1)*(d + -24). Is 3/14 >= h?
True
Let l be -1 - (3/2 - (-10 - -14)). Let n(u) = -327*u - 24 + 331*u + 5. Let m be n(5). Which is greater: m or l?
l
Let f be (1/(-1))/(12/(8 + 4)). Let r be (-482)/(-10) + (-7)/f + -2. Which is bigger: r or 52?
r
Let s be (4 - -1)*-1*(-18)/15. Suppose -m + s*m + 30 = 5*f, -5*f - 4*m = 15. Let o = -79/168 - -3/8. Which is greater: o or f?
f
Let o = 524/74841 - 609355066/87053329857. Let a = o + 6431205611/12794947. Let v = a - 503. Is v less than or equal to -0.1?
True
Let s be (18/12)/(1 + (-2)/4). Suppose 0 = -s*v, 22 = -u + 4*v - 8. Which is bigger: -33 or u?
u
Let b = 14269 - 14268. Is b > 1/5792?
True
Let w be -8 + (-2*3 - (-7887)/561). Which is smaller: w or 16?
w
Suppose 11*r + 100 = -5*m + 6*r, 2*m = 4*r - 46. Are m and -15 unequal?
True
Let l = -0.1 - -0.2. Suppose -1910 - 2614 = 58*w. Is l bigger than w?
True
Let q be ((-126)/28)/3 - (-1 + (-158)/228). Are 0 and q equal?
False
Suppose 1 = -m + o, -2*o - 172 = 4*m - 168. Let n = -87 - -48. Let x be (-45)/n + -4 + 3. Which is smaller: m or x?
m
Let y = -110 - -119.4. Let c = 9.5 - y. Is c less than 9/10?
True
Let a be 6 + (-45465)/(-85) + 4/34. Is 541 equal to a?
True
Suppose o = -o + 16. Suppose 0 = -2*x + 5*u + 53, -2*u = -3*x + 3*u + 67. Suppose -4*z + 5*j = 9, -5*j + 33 = -12*z + x*z. Is o greater than z?
True
Let t = -144 - -2015/14. Let l = 60 - 30. Let m = l + -31. Is t bigger than m?
True
Let r be 0 + -8 + (33 - 28) - -2. Let h be 9/(-882)*-14*(-18)/2. Are r and h nonequal?
True
Let k(u) = 3*u + 34. Suppose 5*y + 3*q = -2*q, 3*y - 6 = -5*q. Let h be k(y). Is h less than 23?
False
Let o be 5*(-1)/7*(-4 - 3). Suppose -o = -9*f - 14. Is f equal to 1.5?
False
Let u = 21 - 7. Let h be 274/u - 3/(-7). Suppose l = 4*x - 12 - 8, -h = -4*x. Is 2/111 less than or equal to l?
False
Let a be (6/(-6) + -2)*(-20)/12. Let l be (28/(-24) - -2)/((-5)/(-30)). Is l equal to a?
True
Let w = -4654 - -4278. Which is smaller: w or -1127/3?
w
Let g = -2760 + 6643. Is g not equal to 3884?
True
Let z = -106.5 - 5.5. Let a = -116 - z. Let p = -4 - -3. Which is greater: p or a?
p
Suppose -2168 - 352 = 2*x. Let v = 46628/37 + x. Which is greater: -1 or v?
v
Let y = 2809 + -497162/177. Which is smaller: y or 0?
0
Let f = 10 + 25. Let s(r) = r**3 + 32*r + 70. Let c be s(-2). Which is bigger: c or f?
f
Suppose 0 = 4*o + 429 + 1787. Let c = o + 809. Let q = 6372/25 - c. Which is smaller: -1 or q?
-1
Let h(o) = -o**2 + 2*o + 24. Let a be h(6). Suppose 0 = -4*n - a*n + 5*p + 30, -4*n + 4*p = -28. Suppose 4*d + d - 19 = -3*z, n*z = 15. Is d < 7/6?
False
Let a be (2*-4)/(14/(-49)). Let i = a - 28. Suppose -2*y + 2 - 1 = v, i = -2*v + 4*y + 26. Are v and 8 non-equal?
True
Let u be -2 - (-48)/21 - 45/35. Let k be (-36)/48*(u + 2 + -5). Let t be k*(3/1 + 23/(-3)). Which is bigger: t or -15?
t
Let t be 2 - 7 - (-17358)/3344. Which is bigger: t or -1?
t
Let h = 20424 + -19670. Is 754 >= h?
True
Let l = -318 - -312. Let j be (-1*l/18*-3)/1. Which is greater: j or -103?
j
Suppose 28 = -4*k + 11*k. Let f be (k/6)/((-32)/102). Is 0.3 less than f?
False
Let p be (20/8 + 0)/(-1) + 3/2. Is p at least as big as -12/1783?
False
Let z be (1 - 2)/((-2)/(-2)). Let v be (4 - z - 21)/2. Let t = -13 - -5. Do v and t have the same value?
True
Let u be -2*(18/9 + -4). Let i(n) = -41*n + 175. Let r be i(u). Is r equal to -1/4?
False
Let h = 1897.033 - 1897. Let q = -25 - -25.3. Which is greater: h or q?
q
Suppose 5*v - 2*p + 88 = 0, -5*v - 41 = 5*p + 19. Let j be -24 + -2 + 4 + v + 10. Do j and -32 have the same value?
False
Let i be (3 + -16)*(-1 - -2). Let w(l) = -l**3 - 14*l**2 - 7*l + 42. Let s be w(i). Let g be 0 + 2 - (-2)/(-1). Which is smaller: s or g?
s
Suppose -b + 3*x - 8 = -0*x, b + 5*x - 24 = 0. Let j be 5*((-70)/(-15) - 5)*204. Let w be j/30*3/(-8). Which is greater: b or w?
w
Let y(u) = -11*u**2 + 8*u - 9. Let o(f) = 10*f**2 - 8*f + 8. Let x(i) = 5*o(i) + 4*y(i). Let h be x(5). Let k = -83 + h. Is k not equal to 31?
False
Suppose 0 = -5*k - 61*f + 63*f + 2857, -1715 = -3*k + f. Let h = 573 - k. Is h less than or equal to 202?
True
Let a = -517/10 + 2011/5. Which is greater: -1 or a?
a
Let w be (-177)/2*(-40)/114 + -41 + 36. Is 27 smaller than w?
False
Let f = -2668/5 - -603. Let o(t) = -2*t**2 + 2*t - 9. Let i be o(6). Let y = i + f. Which is bigger: y or -1/6?
y
Let i = 3.017 - 3.217. Which is bigger: -1209 or i?
i
Let p = 56471/7 + -8067. Do p and -121/18 have the same value?
False
Let j be ((-77346)/(-22))/3 - (3 + -2). Suppose -4*y - 1943 - 2737 = 