478 + -479. Is q greater than or equal to -0.377?
False
Let v(j) = j - 19. Let z be v(7). Let q = 11 + z. Let l be ((-12)/18)/(q/3). Which is smaller: l or -2?
-2
Let i be (-1 - 0)/(4*(-6)/5400). Is i > 225?
False
Let g be (-9)/((-504)/16) + (-1198)/(-70). Is g < 16?
False
Let g be 79/(-18) - (-12)/8. Suppose 14*d + 9 + 33 = 0. Are d and g equal?
False
Suppose -13*q + 12*q - 3*t + 31 = 0, q - 2*t = 31. Is -8 at least q?
False
Let x = -67/24 - 11/24. Which is bigger: -3 or x?
-3
Let o = -11954 + 1040033/87. Let y = o + -2/29. Which is smaller: 2/17 or y?
2/17
Let j = -77 + 79. Let c be (-1)/(((-7)/j + 3)*-2). Which is smaller: c or 1/74?
c
Let u = -35 + 33.1. Let m = u - -0.6. Is m smaller than -0.1?
True
Let z = 0.05 - -0.75. Let w = z - 0.7. Let l = 3 - 2. Are w and l non-equal?
True
Suppose -5*f = -5*a + 5, 0*f - f + 4*a - 13 = 0. Suppose 4*q + 82 + 110 = -f*m, 2*q = -2*m - 94. Is -50 equal to q?
False
Let m(o) = o + 11. Suppose 4*s + 4 + 16 = 0. Let q be m(s). Let h = -16 + q. Is -1/2 bigger than h?
True
Suppose 5*v - 168 - 947 = 5*i, -4*v + 891 = -5*i. Which is smaller: -0.1 or v?
-0.1
Let d(a) = a**3 - 36*a**2 + 72*a - 101. Let x be d(34). Is x bigger than 35?
False
Suppose 6 + 30 = 3*p. Let w be 48/5 - (-32)/80. Is w != p?
True
Suppose 0 = -0*h + h. Suppose -5*x + 5*w + 65 = 0, -x - 4 = 4*w - 2. Let g be (-18)/(-105) - (-4)/x. Is h equal to g?
False
Let o be (-1)/((-82501)/123855 + 2/3). Are -1794 and o unequal?
True
Suppose -2*r + 2*d + 3*d = 12, 5*r = 4*d - 64. Is -20 <= r?
True
Let a(h) = -h**2 - 13*h - 8. Let f be a(-12). Suppose -f*m = -m - 81. Let g = -80/3 + m. Do g and -1 have the same value?
False
Suppose 4*n = 4*y + 68, 2*y + 23 = 3*n - 7. Let w be (-6)/y - (-435)/21. Let t(f) = 2*f**2 - 5*f - 4. Let p be t(5). Is p less than w?
False
Suppose l = 18 + 19. Suppose 4*v - 181 = 5*m, -3*v + 506*m = 510*m - 97. Which is smaller: l or v?
l
Let g = -26.892 - -1.892. Let p = -1.1 - -0.1. Which is bigger: g or p?
p
Suppose -h = 2*h + 5*p - 16, -2*h = -3*p + 21. Let j be ((-28)/(-8) + h)*0. Which is smaller: j or 1/45?
j
Let t = 12 + -35. Let l = t - -23.1. Are 28 and l unequal?
True
Let h(g) = g**2 + g - 2. Let y be h(-2). Let w = 0.22 + -2.12. Let s = -1.81 - w. Which is smaller: y or s?
y
Let r be 3195/(-161) - (-16)/56. Let n = -136/7 - r. Is -1 less than n?
True
Let k = -1487 - -1030. Which is smaller: k or -1/4?
k
Let b = 1024895/5133 - 2/1711. Are 199 and b equal?
False
Let h be 4/(-14) + 4/7. Let m = 84 - 48. Let z be (-45)/m + (-6)/(-4). Which is bigger: z or h?
h
Let i = 2/7011 + 1058657/14022. Is i less than or equal to -1?
False
Let o = -15 - -7. Let j = o + 6.98. Let m = j - -0.02. Are m and -3/5 nonequal?
True
Let h = -591 - -1799. Is 1207 smaller than h?
True
Let a = -6 - 46. Let n = -47 - a. Is n greater than 1/9?
True
Let f = -997 + 1151.8. Let z = f - 155. Suppose 4*r + 5*b = 30, -2*r + 0*b + 2 = -4*b. Which is smaller: z or r?
z
Let p(w) = w**2 + 11*w + 4. Suppose d = 3*t + 35, 5*t - 2*d + 61 = d. Let h be p(t). Let l be h + (-2 - (-58)/(-28)). Is l at most as big as -1?
False
Suppose 138 - 2223 = 5*w. Which is bigger: 0 or w?
0
Let i = -3.03 + 0.03. Let x be 4/1*(165/(-10))/(-11). Which is bigger: i or x?
x
Let q = -49/10 - -17/5. Let i(y) = 2*y**3 - 8*y**2 + 7*y + 13. Let l(v) = -v**3 + v - 1. Let n(a) = i(a) + 3*l(a). Let k be n(-9). Which is smaller: q or k?
q
Let o = 1456/6471 + -2/719. Is -0.1 less than o?
True
Let d = -64 + 67. Suppose -5*f + 30 = -d*n + 11, -4*n = 4*f - 28. Which is smaller: f or 17/4?
17/4
Suppose 0*w = -w + 4. Suppose 2 - w = n. Which is greater: n or 0?
0
Let j = 142 - 87. Suppose 3*t + 47 = -3*m - 4, -m + j = -5*t. Is t less than or equal to -10?
True
Let w = -6 + 18. Suppose -4*k - 5 = -49. Let j = k - 0. Is j at least as big as w?
False
Let h be (-1 - 0 - 0)*-4. Suppose -9*x - 8 + 26 = 0. Suppose -21 = -4*y - 5*j, -x*j = -h*y + 3*j + 11. Does y = 5?
False
Let r(k) = 3*k + 17. Let i be r(-4). Suppose -4*t = -9*t + i. Is 2/27 greater than or equal to t?
False
Let g(z) = -z**3 + 4*z**2 - 5*z + 12. Let n be g(3). Suppose 10 = 4*w + n. Is w greater than or equal to 27?
False
Suppose 4*w - 4*v - 16 = 0, -5*w + 4*w - 16 = -5*v. Let n(g) = -10 + 2 - 10 + 9 - w*g - g**2. Let x be n(-6). Which is bigger: 4 or x?
x
Let y = -1.34 + 0.34. Is 347 > y?
True
Let l = -1.2 + 16.2. Let m = l - 14.7. Which is greater: -2/11 or m?
m
Let p(w) = w**3 + 33*w**2 - 68*w + 64. Let i be p(-35). Which is smaller: -18 or i?
-18
Let i(w) = w**2 - w. Let x be i(4). Let t be (81/126)/(x/(-14)). Let k(g) = g**2. Let r be k(0). Is t equal to r?
False
Let t = -738 + 995. Is t at least 257?
True
Let v(y) = y**2 - 2*y + 4. Let k be v(0). Let q be k/12*(-1 - 1). Suppose -6*b + 3*b = 4*z - 9, 3*z = 2*b - 6. Is z at least q?
True
Let z = 1137.1 - 1137. Is z at most 7/8?
True
Suppose 2*w = -2*q + 2, -5*w + q = -3*w - 2. Let m be w/(-5)*80/(-5). Are 2 and m non-equal?
True
Let s(d) = 2*d**2 + 4*d + 4. Let z be s(-2). Let p be ((-80)/64)/((-10)/z). Let b = -0.1 + 0.02. Is b at most p?
True
Suppose -18 = -0*r - 2*r. Suppose 0 = o + r + 9. Which is bigger: -19 or o?
o
Let g = 2315 + -2314.8. Is g less than or equal to 569?
True
Let n be (-3011)/1003 - (-11 - (-13 - -5)). Which is greater: 1 or n?
1
Let k(h) = 16*h - 3. Let f be k(-3). Let z be (1 - -1)*f/(-6). Let i(y) = -50*y - 332. Let p be i(-7). Is z at least as big as p?
False
Let s = 10 + -73/7. Let u = s + 2/21. Which is greater: 3/8 or u?
3/8
Let g(a) = a**3 + 2*a**2 - 10*a - 6. Let c be g(-4). Suppose -2*w + c = -6. Let q be (-15)/w + (-12)/(-3). Is q less than 1?
True
Let h = -4622/3 + 1560. Let f = h + -571/30. Which is bigger: f or -1?
f
Let g = -0.0185 + 359.0185. Is g bigger than -3?
True
Let t = -110.7747 - 0.1253. Let z = -111 - t. Which is bigger: 1/49 or z?
1/49
Suppose -61*d - 102 + 1505 = 0. Do d and 171/7 have the same value?
False
Suppose 7 = 4*g - 2*a + 27, -5*a = 20. Let z = -5 - g. Let d be z/10 + (-235)/50. Which is smaller: -5 or d?
-5
Suppose 23*n + 11 = 12*n. Let u = 199/1464 + -2/183. Which is bigger: u or n?
u
Let b be 36 + 0*(3/(-2))/(-3). Let k = b - 26. Let u = 18 - 9. Which is smaller: k or u?
u
Suppose -5*t + 13232 = -3*t. Let c = t - 2203126/333. Is c at most as big as 1?
True
Suppose 4*j - 3*z = -171, -j + 2*z - 17 - 22 = 0. Let p = 40 + j. Let h(c) = c + 2. Let o be h(-6). Which is smaller: p or o?
p
Let h(d) = -d**3 + 6*d**2 - 15*d + 49. Let j be h(5). Is j less than 3/104?
True
Suppose -2*l + 10 = -2*p, -5*l + 13 = -4*p - 9. Suppose l*r - 8 = 0, 2*i + r + 13 = 87. Is i less than or equal to 35?
True
Let h(q) = -q. Let j be h(6). Let f be 5/((-285)/38) - 10/3. Which is smaller: j or f?
j
Let n be ((-9)/3)/(-3)*0. Let w be (0 + 0 + 1)*n. Let z be (-1 - -17)/(-2)*25/(-350). Is w bigger than z?
False
Suppose 2847 = 3*h + 6*d, -1934 = -2*h + d + 4*d. Is 956 at least h?
False
Suppose -5*d + 4*x = -4014, 19*d - 20*d + 5*x = -807. Are 801 and d equal?
False
Suppose -2*b = -3*p + p + 2, -3 = 3*b - 4*p. Let s(t) = -t**2 - 21*t - 50. Let m be s(-20). Let y be (-58)/(-70) + ((-12)/m)/(-1). Which is smaller: b or y?
b
Let o = 14 - 7. Let u = 1 - o. Let j be 1*-3 + (-2 - (-1 + 3)). Which is bigger: j or u?
u
Suppose 2*p + 31 = 53. Let r be (p + (-2 - -3))*3/(-4). Is r greater than -9?
False
Suppose i + 3*x = -46, -92 = -13*i + 15*i + 5*x. Is i less than -47?
False
Let j = -3598/115 + 156/5. Suppose 2*x - 124 = -5*l - x, 2*l - 52 = -2*x. Let s = -23 + l. Are j and s unequal?
True
Let n be 2/(-2) + 2 + -2. Let q be -4 - (-6)/((-450)/(-295)). Is n smaller than q?
True
Let j be (-3)/2 - (-228)/80. Let p = j - 5/4. Suppose 29*k - 6 = 35*k. Which is smaller: k or p?
k
Let m = 42 + -128/3. Do m and -4.9 have the same value?
False
Suppose -5*f + 148 = -2*r, f + 5*r - 4*r = 24. Let n be (2*58/(-16))/((-7)/f). Is 28 greater than n?
False
Suppose 4*f + 0*l + 3*l + 14 = 0, l = -2*f - 6. Is f smaller than 61?
True
Let p = 32.24 + -32. Let a = 23.24 - p. Let x = 24.1 - a. Is 0 >= x?
False
Let h = -43 + 9. Let s be -2*1/5 - 356/10. Which is smaller: h or s?
s
Let g(c) = c**3 + 7*c**2 - 3*c + 10. Let u be g(-8). Which is smaller: -32 or u?
-32
Let z(u) = 2*u**3 + 18*u**2 - 13*u - 95. Let i be z(-11). Are -436 and i unequal?
False
Let r = -87 + 106. Suppose 11 = -3*g -