- 4 - 5*r + 0*r. Let f be d(11). Let w be 9*(-3 + f)/(-4). Which is bigger: -3 or w?
w
Let z = 6.0994 - 0.0994. Which is greater: z or -0.1557?
z
Let p be 4/(((-1)/6)/(2/6)). Let f be (-196)/p*(-3 + (-29)/(-11)). Is f at least -9?
True
Let o be 3/30*-104 + 10/25. Is o not equal to -120/13?
True
Let w be 4*6/16*7*2. Let b be 2/w - 2 - (-18)/9. Which is bigger: b or -2/7?
b
Let w(s) = -98*s**3 + 4*s**2 + 38*s + 34. Let c be w(-1). Do c and 99 have different values?
True
Let s = -139 - -69. Let a be 1/5 + 154/s. Let i be 8/14*(45/(-10) - 1). Is a > i?
True
Let p = -13 + 40. Let j = 14 - p. Let m = 13 + j. Is -31 less than or equal to m?
True
Let z = 11578 + -11578. Which is greater: 3340 or z?
3340
Let r(f) = 10*f**3 + 4*f**2 + 3*f. Let h be r(5). Suppose -4*x = -2*l - 14, -5*l = -2*x - 2*x - 1. Let b be (4 + 1)*x/h. Is b >= 1?
False
Let l(z) = -z - 3. Let b be l(6). Suppose 5977 = -14*n + 5893. Which is greater: n or b?
n
Let s = -59 + 58.67. Let k = s + 1.63. Let g = 1.2 - k. Which is smaller: -8 or g?
-8
Let b = 4862 + -4861.959. Are 0.023 and b unequal?
True
Suppose -910*h + 7644 = -949*h. Is -0.6 > h?
True
Suppose 5*s = -x - 110, 13 + 9 = -s + x. Let g(l) = 3*l + 64. Let k be g(s). Let n be ((-4)/(-10))/(4/20 - k). Which is greater: -4 or n?
n
Suppose -3*b + 5*b - 19 = -n, b - 32 = -5*n. Suppose -12 + 5 = 2*z - 3*k, 0 = z + 2*k - b. Which is smaller: 0 or z?
0
Let a(j) = -58*j**2 + j + 1. Let p be a(-1). Let f be 58377/(-915) - (-1 - 4). Which is smaller: f or p?
f
Let x = -0.01 - 6.99. Let f = -0.1302 + 4.2302. Let z = f + x. Which is bigger: z or 0?
0
Let x be -2*11/(-8) - 1/(-4). Suppose 6*n + 27 = x*n. Let r = -16 - n. Is -2 bigger than r?
True
Let m(a) = a**3 + 6*a**2 - 6*a + 17. Let r be m(-7). Suppose -37*j + 27 + r = 0. Which is smaller: j or -1/101?
-1/101
Let w = 69.0153 - 1.0153. Is 0.021 equal to w?
False
Let o be 8 + 88/(-16) - 10899/18. Is -601 at least o?
True
Suppose 4*w = 32*f - 27*f + 14, 1 = 3*w + f. Let r be (-4)/18 + (-755)/(-3600). Is w bigger than r?
True
Let s(k) = -3*k**2 - 17*k - 3. Let l be s(-5). Suppose 10*d = -l - 3. Which is bigger: -2/49 or d?
-2/49
Let r(g) = g**2 + 19*g - 48. Let c be r(-20). Let l = c - -6. Which is smaller: l or 2/11?
l
Suppose 38*n + 12 - 228 - 12 = 0. Which is greater: n or 121/24?
n
Suppose 15*s = 930 + 4380. Suppose -4*o + s - 1434 = 0. Do -269 and o have the same value?
False
Let y be -2 + 156/16 - (-15)/(-20). Suppose -y*l + 5 = f - 9*l, -5 = 3*f + 4*l. Is -1/58 greater than or equal to f?
False
Let v be (0/(-262))/(0 - -1). Are -2/2033 and v unequal?
True
Let x(a) = a**2 - 14. Let p(g) = 3*g**2 + 34*g + 4. Let t be p(-11). Let h be x(t). Is 36 >= h?
True
Suppose 3*y = -2*s - 8761, 5*y = -34*s + 37*s - 14589. Is -2919 equal to y?
True
Let b be (-18)/(-10) - -2 - (-5)/25. Suppose -4*l - 18 + 145 = 3*p, -b*l - 169 = -5*p. Let i = p - 193/5. Is -2 smaller than i?
True
Let l be (0 - -1346 - -1)*(440/(-66))/20. Does -453 = l?
False
Suppose 2*k - 3*i - 15 = -3*k, 0 = 4*k + i - 12. Suppose 0 = -5*r + 3*t + 55, k*r = -2*t - 3 + 17. Let m be 20/r + 0 - 4. Is -5 greater than or equal to m?
False
Let g = 1041 + -1761. Let w = g + 724. Is -0.94 at most w?
True
Let x = 106752 - 219161852/2053. Is x at least as big as -1?
True
Let k = -4.888 - -718.888. Which is greater: k or 0.2?
k
Let b = -39 + -16. Suppose -814 = 33*a + 1067. Is b at most a?
False
Let r = -9/1429 + -105629/18577. Is -6 bigger than r?
False
Suppose 5*l - 7 - 3 = 0. Let s(k) = -k**3 - 34*k**2 - 65*k - 27. Let c be s(-32). Suppose -3*w - 5*f = l*w + 45, c*f = w + 39. Which is greater: -13 or w?
-13
Let y = 20875.1 + -20875. Is -1/1315 greater than y?
False
Suppose -2*q = 55*o - 50*o + 3162, 16 = 4*q. Do -637 and o have the same value?
False
Let f = -189 - -192. Suppose 3*y = 4*b + 7*y, f*b = -5*y. Which is greater: -10/9 or b?
b
Let p(i) = -76*i**2 + 62*i - 195. Let x be p(3). Which is smaller: 3 or x?
x
Let j be (-12)/(-30) + 24/15 - -3. Suppose -j*h + 0 - 5 = 0. Let u = -5/44 - -177/2332. Is u not equal to h?
True
Let t = -1/614448 - 1179109/30591522576. Is 0 <= t?
False
Suppose -2871*j - 4185 = -2880*j. Which is smaller: j or 11?
11
Let p(h) = -5*h**2 - 169*h - 133. Let f be p(-33). Let l = -50/7 - -243/35. Is l at most as big as f?
False
Let w = -492 - -6392/13. Let v = 797/28 + 723/28. Let f = v + -54. Which is smaller: f or w?
w
Suppose -i - u - 4423 = 3*i, -i - 1110 = -4*u. Is i smaller than -1?
True
Let a be (-10)/((-10140)/(-7101)) + 7. Let b = 679/1014 + a. Is -0.39 greater than or equal to b?
False
Let k = 49.5 - 50. Let j = 0.9 - -15.1. Let x = -14 + j. Is k < x?
True
Let f = 383/2 - 185. Let c(d) = -10*d + 357. Let i(b) = b - 1. Let z(y) = -2*c(y) + 6*i(y). Let w be z(28). Is w less than or equal to f?
False
Suppose 5*t + 168 = -42. Let i = t + 49. Let r(p) = -p**3 + 5*p**2 + 15*p - 10. Let j be r(i). Do j and -4 have the same value?
False
Let h = -146515/148 + 990. Which is smaller: h or -1?
-1
Suppose -517 = -19*i + 8*i. Let u = -60 + i. Is u >= -15?
True
Let o be 4*70/(-40) - -383. Let k = 378 - o. Does 38/25 = k?
False
Let c be -4*(13286/(-1666) + 8). Is c not equal to -1?
True
Let k be 228 - (-4 - (-2)/(-2)). Suppose -2*s + 2*l + k = s, -4*l = -2*s + 166. Is s less than 74?
False
Let g = -19 + 46. Let b = 37 - g. Is b at least -3?
True
Let m be 91/2*180/21. Suppose 95 = 5*h + m. Is -60 greater than h?
False
Suppose 4*v = 5*f + 5889, 429*v = 425*v + 3*f + 5895. Is 13286/9 less than v?
False
Let s = -22395 - -22130. Which is greater: -269 or s?
s
Suppose -4*a = 2*k - 4, -5*k - 2 + 12 = 2*a. Suppose -6 + 14 = k*m. Suppose -5*q - 5*z + m = -2*z, -16 = -5*q + 3*z. Which is greater: -3 or q?
q
Suppose -109*u - 214*u + 4173 = 24199. Let d be -6*(-13 + (3 - 4)). Let o = -146 + d. Is o > u?
False
Suppose -24462 = -121*v + 52981 + 45009. Is v != -0.2?
True
Let r = -7639 + 7640. Which is smaller: r or -2767?
-2767
Let w(x) = -110*x - 212. Let h be w(-2). Which is smaller: h or 98/15?
98/15
Let l = -1/357 - -83/1309. Let g be 3 + 76 + 66/11. Let b = -86 + g. Is l > b?
True
Let u = -0.7 - 33.3. Let a = 4 + u. Let m = a - -45. Which is bigger: 2/5 or m?
m
Suppose -5*v - 67305 = -5*n, 2*v + 5*n + 11866 = -15077. Which is bigger: v or -13463?
-13463
Let w(i) = -3*i + 68. Let x be w(24). Let k be x/((-354)/(-66) - 6). Is k at least as big as 5?
True
Let i = -92/411 - 15/137. Are 7200 and i unequal?
True
Let t(k) = -3*k**3 - 10*k**2 + 5*k + 1. Let b(i) = 3*i**3 + 11*i**2 - 5*i - 1. Let s(h) = -4*b(h) - 3*t(h). Let v be s(-5). Is 8/7 != v?
True
Let b = -10401 - -10401.04. Which is smaller: -809 or b?
-809
Let n = 11843 + -46957/4. Which is greater: 104 or n?
104
Let b be (-30)/(-45) - (-183)/9. Suppose 20*h + 61 - b = 0. Is -2 >= h?
True
Let c = 0.7 + 5.1. Let k = -2.8 + -44.2. Let l = k - -46. Is c greater than or equal to l?
True
Let x = -5.758 - -5.538. Do x and 5/2 have the same value?
False
Let a = 724562/7 - 103696. Let c = a - -187. Is -2 < c?
True
Let n be 1*(-3 + 164 + -2). Let v = n - 2547/16. Let i be (-27)/(-9) - (2 - -1). Which is bigger: v or i?
i
Let o = -1 + 1. Let c = 168332 - 101672527/604. Which is greater: c or o?
c
Suppose 4*g = -p + 1343 - 1305, 0 = -5*g + p + 34. Suppose -11 - 1 = -r. Is r at least g?
True
Let h = 24.8 + -242.8. Let d = -219 - h. Are 0.36 and d non-equal?
True
Let p = -113.09 + 112.29. Suppose -c = -4 + 2. Which is bigger: c or p?
c
Suppose 0 = 7*s - 9*s - 2. Let v be (-2 - 5/s - 7) + 1. Let j be 1 + (2/29)/(v/43). Do j and -1 have the same value?
False
Let c = 386 + -384.17. Let t = -46.83 + c. Is t <= -1/2?
True
Let w = -78 + 264. Let g = 182 - w. Which is smaller: 5 or g?
g
Let s be (-27)/2*(-8)/6. Let g(t) = -96*t**2 + 4*t. Let w be g(-2). Let h = -373 - w. Which is greater: s or h?
h
Let a(d) = -d + 21. Let g be a(16). Suppose -5*l + 252 + 13 = 5*b, 3*b + g*l = 149. Suppose 4*c - b = 3*f, 32 = -0*c + 2*c - 3*f. Is 27/2 at least as big as c?
True
Let t be (1023/(-55))/(63/(-585)). Is t bigger than 173?
False
Let w(x) = x**2 - 88*x + 1935. Let y be w(44). Does y = -70?
False
Suppose 133 = -6*i + 25*i. Let o be 2/i - (-142)/(-7). Which is greater: o or -25?
o
Let n = -3473/3237 - -14/13. Is n less than or equal to 1?
True
Let d be ((-5454)/1821 - -3)*176/1232. Which is greater: d or 1?